@propensive wat????
def foo[T, Coll[T]] = ??? ^^^ the same T def foo[T, Coll[T] <: Seq[T]] = ??? ^^^ not all the same T
-
-
-
@pedrofurla In the second case, the presence of <: means T is only scoped to that parameter, not the whole type parameter block. - Show replies
New conversation -
-
-
@propensive Sure, Seq is covariant. The signature of the first is odd though... an applied type constructor? Can you do that? -
@propensive Isn't the signature of the first equivalent to def foo[T, Coll[_]] = ??? - Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.