Implement override-based type inference for instance methods.

pkg/front_end/testcases/inference/infer_method_missing_params.dart

Index: pkg/front_end/testcases/inference/infer_method_missing_params.dart
diff --git a/pkg/front_end/testcases/inference/infer_method_missing_params.dart b/pkg/front_end/testcases/inference/infer_method_missing_params.dart
new file mode 100644
index 0000000000000000000000000000000000000000..839e42524dd0c0763b59def3f17290a17265d1d3
--- /dev/null
+++ b/pkg/front_end/testcases/inference/infer_method_missing_params.dart
@@ -0,0 +1,28 @@
+// Copyright (c) 2017, 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.
+
+/*@testedFeatures=inference*/
+library test;
+
+// All of these cases are error conditions; this test checks how we recover.
+
+abstract class A {
+  int f(int x, int y);
+  int g(int x, [int y]);
+  int h(int x, {int y});
+}
+
+abstract class B {
+  int f(int x);
+  int g(int x);
+  int h(int x);
+}
+
+abstract class C implements A, B {
+  /*@topType=int*/ f(/*@topType=int*/ x, /*@topType=dynamic*/ y);
+  /*@topType=int*/ g(/*@topType=int*/ x, [/*@topType=dynamic*/ y]);
+  /*@topType=int*/ h(/*@topType=int*/ x, {/*@topType=dynamic*/ y});
+}
+
+main() {}