more existentials

1 files changed, 23 insertions, 0 deletions

diff --git a/test/files/neg/sabin2.scala b/test/files/neg/sabin2.scala
new file mode 100644
index 0000000000..308632e990
--- /dev/null
+++ b/test/files/neg/sabin2.scala
@@ -0,0 +1,23 @@
+object Test extends Application
+ {
+   abstract class Base {
+     type T
+     var x: T = _
+     class Inner {
+       def set(y: T) = x = y
+       def get() = x
+       def print() = println("Hello world")
+     }
+   }
+
+   object IntBase extends Base { type T = Int }
+   object StringBase extends Base { type T = String }
+
+   val a : Base#Inner = new IntBase.Inner
+   val b : Base#Inner = new StringBase.Inner
+
+   a.print() // OK
+   b.print() // OK
+
+   a.set(b.get()) // Error
+ }