Es sei begrenze ich habe: class Bounded[A] {
type apply[C <: A] = C
}
Dies kompiliert: implicitly[Bounded[Any]#apply[String] =:= String]
Dies schlägt fehl: type Str = Bounded[Any]#apply[Stri
Ich versuche, mehr über Phantomtypen zu erfahren. Ich versuche Fun with Phantom Types von Ralf Hinze zu lesen. Er benutzt ein Schlüsselwort with, das ich vorher nicht gesehen habe und das ich nicht ko