def foo[T, Coll[T]] = ??? ^^^ the same T def foo[T, Coll[T] <: Seq[T]] = ??? ^^^ not all the same T
-
@propensive Isn't the signature of the first equivalent to def foo[T, Coll[_]] = ???
-
-
@propensive Actually, I think that the Ts in the second type parameter are meaningless in both cases. -
@nuttycom Just thought about this some more. They're indistinguishable using only inference, but a constraint if you specify the types. - 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.