diff options
author | Paul Phillips <paulp@improving.org> | 2011-06-24 13:16:17 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2011-06-24 13:16:17 +0000 |
commit | cb9c2f8335c291206b31a990e5983438523eae09 (patch) | |
tree | 1ad7208c5a50cad2b6f36ae4a46bf5f346b34436 /test | |
parent | 438c7a4540fe2852f48a046a99b937187902afd7 (diff) | |
download | scala-cb9c2f8335c291206b31a990e5983438523eae09.tar.gz scala-cb9c2f8335c291206b31a990e5983438523eae09.tar.bz2 scala-cb9c2f8335c291206b31a990e5983438523eae09.zip |
Another one brought to compilation by r25149.
Diffstat (limited to 'test')
-rw-r--r-- | test/files/pos/bug1318.scala | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/test/files/pos/bug1318.scala b/test/files/pos/bug1318.scala new file mode 100644 index 0000000000..f3d2f7ab5a --- /dev/null +++ b/test/files/pos/bug1318.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) +}
\ No newline at end of file |