blob: dfe53d22bd6928816d7f00390c1bc963282ac875 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
/* This program puts the compiler into an endless loop
*/
trait T1 {
type T;
}
trait T2 {
type S;
type T <: S;
}
abstract class S6() extends T1 with T2 {
type S <: T;
}
|