SI-5162 Exclude super.foo from the erasure cast of SI-4283

If the target method is defined in Java, treat the super reference
as an error, otherwise allow it in the knowledge that Scala loosens
the access restrictions on its generated classes.

Moves the test for that bug out of pending-ville. It's sufficient
to place Test in the empty package to exercise the right code paths.

1 files changed, 19 insertions, 0 deletions

diff --git a/test/files/run/t5162.scala b/test/files/run/t5162.scala
new file mode 100644
index 0000000000..4f91932b6e
--- /dev/null
+++ b/test/files/run/t5162.scala
@@ -0,0 +1,19 @@
+// In run, rather than pos, to check for problems like SI-4283
+object O1 {
+  private[O1] class Base {
+    def foo: Int = 0
+  }
+  class Mediator extends Base
+}
+
+object O2 {
+  class Derived extends O1.Mediator {
+    override def foo: Int = super.foo
+  }
+}
+
+object Test {
+  def main(args: Array[String]) {
+    new O2.Derived().foo
+  }
+}