blob: 5d4d0380c418483875289eb48bda698d60ccf15c (
plain) (
blame)
1
2
3
4
5
6
|
class A {
trait T[A]
def usetHk[T[_], A](ta: T[A]) = 0
usetHk(new T[Int]{}: T[Int])
usetHk(new T[Int]{}) // fails with: found: java.lang.Object with T[Int], required: ?T[ ?A ]
}
|