c60218303 ^
bec85a90d ^
c12f2ea48 ^
1 2 3 4 5 6
7
8
9
10 11 12 13
14
class B { class X } class A extends B object Test { def test1(): Unit = { implicitly[B#X <:< A#X] } def test2(): Unit = { val a : { type T; type U } = ??? implicitly[a.T <:< a.U] } }