diff options
| author | Martin Odersky <odersky@gmail.com> | 2009-02-15 16:43:36 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2009-02-15 16:43:36 +0000 |
| commit | 266df9f05ecd11e67166e57cc58236646f2f50bb (patch) | |
| tree | 6325a682f6b0d2101928a8eca047477f09e2db57 /test | |
| parent | f2032c958854476587f6e78668b16216a28dc9a8 (diff) | |
| download | scala-266df9f05ecd11e67166e57cc58236646f2f50bb.tar.gz scala-266df9f05ecd11e67166e57cc58236646f2f50bb.tar.bz2 scala-266df9f05ecd11e67166e57cc58236646f2f50bb.zip | |
Fixed an ambiguity problem with implcits, and a...
Fixed an ambiguity problem with implcits, and a spurious cyclic
reference error mentioned by Jorge. Tightened overriding checks (test
case is new collection libraries).
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 + |