Нечеткий синтаксис манифеста Scala

Question

Я увидел фрагмент кода Scala с синтаксисом манифеста следующим образом. Я не знаю, что здесь означает WireFormat. Какое ограничение оно добавляет к манифесту А? Означает ли это, что тип A должен расширять черту WireFormat?

Я не мог найти документа о таком синтаксисе.

trait WireFormat[A] { 
    def toWire(x: A, out: DataOutput) 
    def fromWire(in: DataInput): A 
} 

class DList[A : Manifest : WireFormat] 

Answer 1

Это context bound. Если два типа разделены двоеточиями, это означает, что есть два неявных параметра.

Другими словами, это то же самое, как:

class DList[A](implicit x: Manifest[A], y: WireFormat[A])