Open
Description
The following code compiles using Scala but crashes Dotty with a StackOverflowError:
trait Trait {
type A <: { type T = B }
type B <: A
}
trait SubTrait extends Trait {
val v: A
}{{ message }}
The following code compiles using Scala but crashes Dotty with a StackOverflowError:
trait Trait {
type A <: { type T = B }
type B <: A
}
trait SubTrait extends Trait {
val v: A
}