Relax method override restrictions.

Relax method override restrictions.

This implements part of issue 11495.

BUG= http://dartbug.com/11495
R=regis@google.com

Committed: https://code.google.com/p/dart/source/detail?r=24731
Reverted: https://code.google.com/p/dart/source/detail?r=24733

Committed: https://code.google.com/p/dart/source/detail?r=24736

[floitsch, 2013-07-03 12:48:44]

This implements part of relaxing the method-overrides.
With this in place, we can commit our pending CLs without breaking our users.

[regis, 2013-07-03 16:10:45]

LGTM

What else is needed before closing bug 11495?

[floitsch, 2013-07-03 16:12:02]

On 2013/07/03 16:10:45, regis wrote:
> LGTM
> 
> What else is needed before closing bug 11495?

I'm not sure. I didn't find the updated spec, but it could be that the spec also
relaxed the requirements on optional positional arguments. So that would mean
removing one more line and a few more tests.

[floitsch, 2013-07-03 16:20:14]

Committed patchset #1 manually as r24731 (presubmit successful).

[floitsch, 2013-07-03 18:01:25]

Updated tests and status files.
Added Peter for the method_override2_test change.

[floitsch, 2013-07-03 18:02:23]

Committed patchset #2 manually as r24736 (presubmit successful).

[ahe, 2013-07-11 10:26:00]

https://codereview.chromium.org/18600007/diff/6001/tests/language/method_over...
File tests/language/method_override2_test.dart (right):

https://codereview.chromium.org/18600007/diff/6001/tests/language/method_over...
tests/language/method_override2_test.dart:8: m(x, {a, b});
I don't think this change is correct.

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

https://codereview.chromium.org/18600007/diff/6001/tests/language/method_over...
tests/language/method_override2_test.dart:14: m({c, d});  /// 00: compile-time
error
For example, this should say "static type warning".

https://codereview.chromium.org/18600007/diff/6001/tests/language/method_over...
tests/language/method_override2_test.dart:24: extends C  /// 01: compile-time
error
Ditto for these three lines.

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

Uploaded a follow up CL.
https://codereview.chromium.org/18531006

https://codereview.chromium.org/18600007/diff/6001/tests/language/method_over...
File tests/language/method_override2_test.dart (right):

https://codereview.chromium.org/18600007/diff/6001/tests/language/method_over...
tests/language/method_override2_test.dart:8: m(x, {a, b});
On 2013/07/11 10:26:01, ahe wrote:
> I don't think this change is correct.
> 
> If the specification says that this is just a warning, the test tags should be
> updated.

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