test/files/neg/S6.scala


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;
}