Make method overrides with differing parameters a compile-time error

compiler/javatests/com/google/dart/compiler/resolver/ResolverTest.java

 // Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 package com.google.dart.compiler.resolver;
 
 import com.google.common.base.Joiner;
 import com.google.dart.compiler.DartCompilationError;
 import com.google.dart.compiler.ErrorCode;
 import com.google.dart.compiler.ast.DartClass;
@@ skipping 968 matching lines @@
         "class int {}",
         "typedef Dynamic F1<T>(Dynamic x, T y);",
         "class MyClass {",
         "  main() {",
         "    F1<int> f1 = (Object o, int i) => null;",
         "    if (f1 is F1<int>) {",
         "    }",
         "  }",
         "}"));
   }
+
+  public void testImplementsAndOverrides1() {
+    resolveAndTest(Joiner.on("\n").join(
+        "class Object {}",
+        "interface Interface {",
+        "  foo(x);",
+        "}",
+        "class Class implements Interface {",
+        "  foo() {}", // error
+        "}"),
+        ResolverErrorCode.CANNOT_OVERRIDE_METHOD_WRONG_NUM_PARAMS);
+  }
+
+  public void testImplementsAndOverrides2() {
+    resolveAndTest(Joiner.on("\n").join(
+        "class Object {}",
+        "interface Interface {",
+        "  foo([x]);",
+        "}",
+        "class Class implements Interface {",
+        "  foo([x,y]) {}", // error
+        "}"),
+        ResolverErrorCode.CANNOT_OVERRIDE_METHOD_WRONG_NUM_PARAMS);
+  }
+
+  public void testImplementsAndOverrides3() {
+    resolveAndTest(Joiner.on("\n").join(
+        "class Object {}",
+        "interface Interface {",
+        "  foo(x, [y]);",
+        "}",
+        "class Class implements Interface {",
+        "  foo([x,y]) {}", // error
+        "}"),
+        ResolverErrorCode.CANNOT_OVERRIDE_METHOD_NUM_NAMED_PARAMS);
+  }
+
+  public void testImplementsAndOverrides4() {
+    resolveAndTest(Joiner.on("\n").join(
+        "class Object {}",
+        "interface Interface {",
+        "  foo([x,y]);",
+        "}",
+        "class Class implements Interface {",
+        "  foo([x]) {}", // error
+        "}"),
+        ResolverErrorCode.CANNOT_OVERRIDE_METHOD_WRONG_NUM_PARAMS);
+  }
+
+  public void testImplementsAndOverrides5() {
+    resolveAndTest(Joiner.on("\n").join(
+        "class Object {}",
+        "interface Interface {",
+        "  foo([y,x]);",
+        "}",
+        "class Class implements Interface {",
+        "  foo([x,y]) {}", // error
+        "}"),
+        ResolverErrorCode.CANNOT_OVERRIDE_METHOD_ORDER_NAMED_PARAMS);
+  }
 }