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, 13 insertions, 0 deletions

diff --git a/test/files/neg/bug3714-neg.check b/test/files/neg/bug3714-neg.check
new file mode 100644
index 0000000000..fab6623001
--- /dev/null
+++ b/test/files/neg/bug3714-neg.check
@@ -0,0 +1,13 @@
+bug3714-neg.scala:17: error: value break in class BreakImpl cannot be accessed in BreakImpl
+ Access to protected value break not permitted because
+ enclosing class object Test is not a subclass of 
+ class BreakImpl where target is defined
+    case b: BreakImpl => b.break
+                           ^
+bug3714-neg.scala:25: error: value break in class BreakImpl cannot be accessed in BreakImpl
+ Access to protected value break not permitted because
+ enclosing class object Test is not a subclass of 
+ class BreakImpl where target is defined
+    case b: BreakImpl => b.break
+                           ^
+two errors found