1 files changed, 33 insertions, 0 deletions
diff --git a/tests/run/t3714.scala b/tests/run/t3714.scala
new file mode 100644
index 000000000..23a1e2e49
--- /dev/null
+++ b/tests/run/t3714.scala
@@ -0,0 +1,33 @@
+trait Break {
+  protected val break: Int;
+}
+
+case class BreakImpl(protected val break: Int) extends Break { }
+
+object Test {
+  // def f1(x: Break) = x match {
+  //   case b: BreakImpl => b.break
+  //   case b            => -1
+  // }
+  def f2(x: Break) = x match {
+    case BreakImpl(x) => x
+    case _            => -1
+  }
+  // def f3(x: Any) = x match {
+  //   case b: BreakImpl => b.break
+  //   case b            => -1
+  // }
+  def f4(x: Any) = x match {
+    case BreakImpl(x) => x
+    case _            => -1
+  }
+
+  def main(args: Array[String]): Unit = {
+    val break = BreakImpl(22)
+    // assert(f1(break) == 22)
+    assert(f2(break) == 22)
+    // assert(f3(break) == 22)
+    assert(f4(break) == 22)
+  }
+}
+