From 40f8f773393f75ccf7134fb6e5610d16048b9df0 Mon Sep 17 00:00:00 2001 From: Adriaan Moors Date: Fri, 20 Aug 2010 10:01:09 +0000 Subject: closes #3575. cloneSymbol now preserves privateWithin -- need to reset it explicitly now when before it was assumed to be not to be carried over rewrote accessibility in overriding checks so they're more readable, but hopefully with same semantics review by odersky --- test/files/neg/t3757.check | 4 ++++ test/files/neg/t3757/A.java | 5 +++++ test/files/neg/t3757/B.scala | 5 +++++ 3 files changed, 14 insertions(+) create mode 100644 test/files/neg/t3757.check create mode 100644 test/files/neg/t3757/A.java create mode 100644 test/files/neg/t3757/B.scala (limited to 'test') diff --git a/test/files/neg/t3757.check b/test/files/neg/t3757.check new file mode 100644 index 0000000000..1507df8c4f --- /dev/null +++ b/test/files/neg/t3757.check @@ -0,0 +1,4 @@ +B.scala:4: error: method foo overrides nothing + override def foo = "B" + ^ +one error found diff --git a/test/files/neg/t3757/A.java b/test/files/neg/t3757/A.java new file mode 100644 index 0000000000..37da86fe15 --- /dev/null +++ b/test/files/neg/t3757/A.java @@ -0,0 +1,5 @@ +package a; + +public abstract class A { + abstract String foo(); // package protected! +} \ No newline at end of file diff --git a/test/files/neg/t3757/B.scala b/test/files/neg/t3757/B.scala new file mode 100644 index 0000000000..7c78fb634e --- /dev/null +++ b/test/files/neg/t3757/B.scala @@ -0,0 +1,5 @@ +package b + +class B extends a.A { + override def foo = "B" +} \ No newline at end of file -- cgit v1.2.3