diff options
author | Martin Odersky <odersky@gmail.com> | 2014-05-03 13:31:27 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-05-12 12:50:38 +0200 |
commit | 1b32071acef5c7c2c08e21ee577c7cc709876ffa (patch) | |
tree | 6cf36469ca3a59b855a3c589b4542c19d3b30fb8 /tests/pos/t1318.scala | |
parent | 8a4186ff782efefb98686aa35bf7f5dd1418210d (diff) | |
download | dotty-1b32071acef5c7c2c08e21ee577c7cc709876ffa.tar.gz dotty-1b32071acef5c7c2c08e21ee577c7cc709876ffa.tar.bz2 dotty-1b32071acef5c7c2c08e21ee577c7cc709876ffa.zip |
More tests
Diffstat (limited to 'tests/pos/t1318.scala')
-rw-r--r-- | tests/pos/t1318.scala | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/tests/pos/t1318.scala b/tests/pos/t1318.scala new file mode 100644 index 000000000..34e2bc8dd --- /dev/null +++ b/tests/pos/t1318.scala @@ -0,0 +1,31 @@ +abstract class F { + type mType <: M +} + +abstract class M { self => + + type mType <: M + + type fType = F {type mType >: self.mType } + def fs: List[fType] +} + +abstract class A0 extends M { + type mType = A0 + def fs: List[fType] = Nil +} + +object A extends A0 {} + +abstract class B0 extends M { + type mType = B0 + def fs: List[fType] = Nil +} + +object B extends B0 {} + +object C { + def ab = List(A) ::: List(B) + // the following compiles successfully: + // def ab = List(A) ::: List[M](B) +} |