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