blob: 97732cf08129ae85e62092b23d64a5c2692df3a2 (
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 ]
}
|