1 files changed, 11 insertions, 0 deletions
diff --git a/test/files/neg/S4.scala b/test/files/neg/S4.scala
new file mode 100644
index 0000000000..4f7941082f
--- /dev/null
+++ b/test/files/neg/S4.scala
@@ -0,0 +1,11 @@
+/* This one compiles, but even if we would have dependent
+** constructor types, it would be not sound.
+*/
+class S4(a: Other) extends a.Inner() {
+    def foo(x: a.Inner) = x;
+    val b = new Other();
+    foo(new S4(b))
+}
+class Other() {
+    class Inner() {}
+}