Merge pull request #2161 from dotty-staging/si4400

Test that SI-4400 stays fixed.

1 files changed, 35 insertions, 0 deletions

diff --git a/tests/run/t4400.scala b/tests/run/t4400.scala
new file mode 100644
index 000000000..04ae6722e
--- /dev/null
+++ b/tests/run/t4400.scala
@@ -0,0 +1,35 @@
+final class Outer {
+
+ 
+
+  sealed trait Inner
+
+ 
+
+  final case class Inner1(foo: Int) extends Inner
+
+ 
+
+  val inner: Outer#Inner = Inner1(0)
+
+ 
+
+  def bar = inner match {
+
+    case Inner1(i) => i
+
+  }
+
+}
+
+ 
+
+object Test {
+
+  def main(args: Array[String]): Unit = {
+    val s = (new Outer).bar
+    assert(s == 0)
+  }
+
+}
+