Infer parameter types on overrides

test/checker/checker_test.dart

 // Copyright (c) 2015, 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.
 
 /// General type checking tests
 library dev_compiler.test.checker_test;
 
 import 'package:test/test.dart';
 
 import '../testing.dart';
@@ skipping 1470 matching lines @@
             void set f1(B value);
             void set f2(B value);
             void set f3(B value);
             void set f4(B value);
             void set f5(B value);
           }
 
           class Child extends Base {
             void set f1(A value) {}
             /*severe:InvalidMethodOverride*/void set f2(C value) {}
-            /*severe:InvalidMethodOverride*/void set f3(value) {}
+            void set f3(value) {}
             /*severe:InvalidMethodOverride*/void set f4(dynamic value) {}
             set f5(B value) {}
           }
        '''
   });
 
   testChecker('field/setter override', {
     '/main.dart': '''
           class A {}
           class B extends A {}
           class C extends B {}
 
           class Base {
             B f1;
             B f2;
             B f3;
             B f4;
             B f5;
           }
 
           class Child extends Base {
             B get f1 => null;
             B get f2 => null;
             B get f3 => null;
             B get f4 => null;
             B get f5 => null;
 
             void set f1(A value) {}
             /*severe:InvalidMethodOverride*/void set f2(C value) {}
-            /*severe:InvalidMethodOverride*/void set f3(value) {}
+            void set f3(value) {}
             /*severe:InvalidMethodOverride*/void set f4(dynamic value) {}
             set f5(B value) {}
           }
        '''
   });
 
   testChecker(
       'method override',
       {
         '/main.dart': '''
           class A {}
           class B extends A {}
           class C extends B {}
 
           class Base {
             B m1(B a);
             B m2(B a);
             B m3(B a);
             B m4(B a);
             B m5(B a);
             B m6(B a);
           }
 
           class Child extends Base {
             /*severe:InvalidMethodOverride*/A m1(A value) {}
             /*severe:InvalidMethodOverride*/C m2(C value) {}
             /*severe:InvalidMethodOverride*/A m3(C value) {}
             C m4(A value) {}
-            /*severe:InvalidMethodOverride*/m5(value) {}
+            m5(value) {}
             /*severe:InvalidMethodOverride*/dynamic m6(dynamic value) {}
           }
        '''
       },
       inferFromOverrides: true);
 
   testChecker('unary operators', {
     '/main.dart': '''
       class A {
         A operator ~() {}
@@ skipping 457 matching lines @@
             }
 
             class I1 {
                 m(B a) {}
             }
 
             class T1 /*severe:InvalidMethodOverride*/extends Base
                 implements I1 {}
 
             class T2 extends Base implements I1 {
-                /*severe:InvalidMethodOverride,severe:InvalidMethodOverride*/m(a) {}
+                /*severe:InvalidMethodOverride*/m(a) {}
             }
 
             class T3 extends Object with /*severe:InvalidMethodOverride*/Base
                 implements I1 {}
 
             class T4 extends Object with Base implements I1 {
-                /*severe:InvalidMethodOverride,severe:InvalidMethodOverride*/m(a) {}
+                /*severe:InvalidMethodOverride*/m(a) {}
             }
          '''
     });
   });
 
   group('class override of grand interface', () {
     testChecker('interface of interface of child', {
       '/main.dart': '''
               class A {}
               class B {}
@@ skipping 619 matching lines @@
           // Types other than int and double are not accepted.
           printInt(
               /*warning:DownCastImplicit*/min(
                   /*severe:StaticTypeError*/"hi",
                   /*severe:StaticTypeError*/"there"));
         }
     '''
     });
   });
 }