tests/pos/i1795.scala


1
2
3
4
5
6
7
8
9
10
11
12
13

sealed trait T1 {type M1}

case object o1 extends T1

sealed trait T2 {type M2}

case object o2 extends T2

class TestX {
  type TestT1 <: T1 {type M1 = TestT2}
  type TestT2 <: T2 {type M2 = TestT1}
  //val x: TestT1 = o1
}