Require parameters to match exactly in SymbolTable for non-overwrite

1 files changed, 21 insertions, 0 deletions

diff --git a/output/negative/FailedOverride-error.java b/output/negative/FailedOverride-error.java
new file mode 100644
index 0000000..9ffac74
--- /dev/null
+++ b/output/negative/FailedOverride-error.java
@@ -0,0 +1,21 @@
+class FailedOverrride {
+    public static void main(String[] args) {
+        System.out.println(new A().init());
+    }
+}
+
+class A {
+    public int init() {
+        return 0;
+    }
+
+    public int x(A a) {
+        return 1;
+    }
+}
+
+class B extends A {
+    public int x(B a) {
+        return 2;
+    }
+}