Disallowed super.XX calls to Any methods which ...

Disallowed super.XX calls to Any methods which are presently either
crashing the compiler (isInstanceOf) or leading to runtime failure (==
and !=) in addition to one which was being rewritten to a this call but
makes more sense disallowed like the others (##).

Closes #3736, review by odersky.

1 files changed, 21 insertions, 0 deletions

diff --git a/test/files/neg/bug3736.scala b/test/files/neg/bug3736.scala
new file mode 100644
index 0000000000..8e63021f69
--- /dev/null
+++ b/test/files/neg/bug3736.scala
@@ -0,0 +1,21 @@
+object Test {
+  class A {
+    def f1 = super.toString
+    def f2 = super.isInstanceOf[String]
+    def f3 = super.asInstanceOf[AnyRef]
+    def f4 = super.==(new AnyRef)
+    def f5 = super.!=(new AnyRef)
+    def f6 = super.##
+  }
+
+  def main(args: Array[String]): Unit = {
+    val x = new A
+    x.f1
+    x.f2
+    x.f3
+    x.f4
+    x.f5
+    x.f6
+  }
+}
+