Merge pull request #2161 from dotty-staging/si4400

Test that SI-4400 stays fixed.

Author: DarkDimius

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)
+  }
+
+}
+