tests/neg/subtyping.scala


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] // error: no implicit argument
  }
  def test2(): Unit = {
    val a : { type T; type U } = ??? // error // error
    implicitly[a.T <:< a.U] // error: no implicit argument
  }
}