Relax method override restrictions.

tests/language/method_override2_test.dart

 // Copyright (c) 2012, 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.
 
 // Checks that an overriding method has compatible parameters.
 
 abstract class I {
-  m({a, b});
+  m(x, {a, b});

[ahe, 2013/07/11 10:26:01]

I don't think this change is correct.

If the specification says that this is just a warning, the test tags should be
updated.

[floitsch, 2013/07/11 11:18:47]

Yes. I didn't have access to the latest spec and didn't know that the spec also
changed for required parameters.

 }
 
 abstract class J extends I { }
 
 abstract class K extends J {
   m({c, d});  /// 00: compile-time error

[ahe, 2013/07/11 10:26:01]

For example, this should say "static type warning".

 }
 
 class C implements I {
-  m({a, b}) {
-    print("$a $b");
+  m(x, {a, b}) {
+    print("$x $a $b");
   }
 }
 
 class D
     extends C  /// 01: compile-time error

[ahe, 2013/07/11 10:26:01]

Ditto for these three lines.

     implements I  /// 02: compile-time error
     implements J  /// 03: compile-time error
 {
   m({c, d}) {
     print("$c $d");
   }
 }
 
 
 int main() {
   var c = new C();
-  c.m(a: "hello", b: "world");
+  c.m(1, a: "hello", b: "world");
   var d = new D();
   d.m(c: "hello", d: "world");
   print("${c is I} ${d is I} ${d is I} ${d is J}");
 }