Case accessors are always public else the patte...

Case accessors are always public else the pattern matcher goes south. A
more discriminating fix may be possible at some point, but it looks to
be an involved endeavor. Closes #3714, review by odersky.

1 files changed, 33 insertions, 0 deletions

diff --git a/test/files/run/bug3714.scala b/test/files/run/bug3714.scala
new file mode 100644
index 0000000000..2d600f97f1
--- /dev/null
+++ b/test/files/run/bug3714.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]) {
+    val break = BreakImpl(22)
+    // assert(f1(break) == 22)
+    assert(f2(break) == 22)
+    // assert(f3(break) == 22)
+    assert(f4(break) == 22)
+  }
+}
+