From 79389bc80d08b18e20372c181a5749b8efc9614d Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Tue, 19 Oct 2010 13:33:33 +0000
Subject: Closes #3934 by fixing a typo (missing + in str...

Closes #3934 by fixing a typo (missing + in string concat). Better
effect analysis would have caught that one at compile-time. Review by
extempore.
---
 test/files/neg/t3934.check | 13 +++++++++++++
 test/files/neg/t3934.scala | 23 +++++++++++++++++++++++
 2 files changed, 36 insertions(+)
 create mode 100644 test/files/neg/t3934.check
 create mode 100644 test/files/neg/t3934.scala

(limited to 'test')

diff --git a/test/files/neg/t3934.check b/test/files/neg/t3934.check
new file mode 100644
index 0000000000..ebc6dfb876
--- /dev/null
+++ b/test/files/neg/t3934.check
@@ -0,0 +1,13 @@
+t3934.scala:15: error: method f2 in class J cannot be accessed in test.J
+ Access to protected method f2 not permitted because
+ enclosing class class S1 in package nest is not a subclass of 
+ class J in package test where target is defined
+  def g2(x: J) = x.f2()
+                   ^
+t3934.scala:20: error: method f2 in class J cannot be accessed in test.J
+ Access to protected method f2 not permitted because
+ prefix type test.J does not conform to
+ class S2 in package nest where the access take place
+  def g2(x: J) = x.f2()
+                   ^
+two errors found
diff --git a/test/files/neg/t3934.scala b/test/files/neg/t3934.scala
new file mode 100644
index 0000000000..46e9088af3
--- /dev/null
+++ b/test/files/neg/t3934.scala
@@ -0,0 +1,23 @@
+package test {
+
+class J {
+  def f1(): Int = { return 5; }
+  protected def f2(): Int = { return 5; }
+}
+
+}
+
+package test {
+package nest {
+
+class S1 {
+  def g1(x: J) = x.f1()
+  def g2(x: J) = x.f2()
+}
+
+class S2 extends J {
+  def g1(x: J) = x.f1()
+  def g2(x: J) = x.f2()
+}
+
+}}
-- 
cgit v1.2.3