tests/neg/cycles.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

class Foo[T <: U, U <: T]

class Bar[T >: T]

class A {
  val x: T = ???
  type T <: x.type
}

class B {
  type T <: x.type
  val x: T = ???
}

class C {
  val x: D#T = ???
  class D {
    type T <: x.type
    val z: x.type = ???
  }
}

class E {
  class F {
    type T <: x.type
    val z: x.type = ???
  }
  val x: F#T = ???
}