Cannot write an F-bounded type parameter bound: Cyclic reference involving type T

[neko-kai]

Compiler version

3.1.0

Minimized code

def xa[T[x <: T[x]]] = ()

Output

Cyclic reference involving type T

Expectation

Expected to work, as in Scala 2

[odersky]

Note: F-bounds are not expected to work as in Scala 2. We accept that they will produce cyclic references more often. It's a price to pay going from with-types to true intersections.