diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/files/pos/cyclics.scala | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/test/files/pos/cyclics.scala b/test/files/pos/cyclics.scala new file mode 100644 index 0000000000..69092ce7ab --- /dev/null +++ b/test/files/pos/cyclics.scala @@ -0,0 +1,7 @@ +trait Param[T] +trait Abs { type T } +trait Cyclic1[A <: Param[A]] // works +trait Cyclic2[A <: Abs { type T <: A }] // fails +trait Cyclic3 { type A <: Abs { type T = A } } // fails +trait Cyclic4 { type A <: Param[A] } // works + |