1 files changed, 19 insertions, 0 deletions
diff --git a/test/files/neg/t4440.scala b/test/files/neg/t4440.scala
new file mode 100644
index 0000000000..383b141edd
--- /dev/null
+++ b/test/files/neg/t4440.scala
@@ -0,0 +1,19 @@
+// constructors used to drop outer fields when they were not accessed
+// however, how can you know (respecting separate compilation) that they're not accessed!?
+class Outer { final class Inner }
+
+// the matches below require Inner's outer pointer
+// until SI-4440 is fixed properly, we can't make this a run test
+// in principle, the output should be "a\nb", but without outer checks it's "b\na"
+object Test extends App {
+  val a = new Outer
+  val b = new Outer
+  (new a.Inner: Any) match {
+    case _: b.Inner => println("b")
+    case _: a.Inner => println("a") // this is the case we want
+  }
+  (new b.Inner: Any) match {
+    case _: a.Inner => println("a")
+    case _: b.Inner => println("b") // this is the case we want
+  }
+}