From b5eaee949221f9edcab6e917a8cf3bf68d00f664 Mon Sep 17 00:00:00 2001
From: Dmitry Petrashko <dmitry.petrashko@gmail.com>
Date: Fri, 31 Mar 2017 14:45:15 +0200
Subject: Test that SI-4400 stays fixed.

---
 tests/run/t4400.scala | 35 +++++++++++++++++++++++++++++++++++
 1 file changed, 35 insertions(+)
 create mode 100644 tests/run/t4400.scala

(limited to 'tests/run')

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)
+  }
+
+}
+
-- 
cgit v1.2.3