Cleanup InferableOverride

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 1371 matching lines @@
           class Base {
             B f1;
             B f2;
             B f3;
             B f4;
           }
 
           class Child extends Base {
             /*severe:InvalidMethodOverride*/A f1; // invalid for getter
             /*severe:InvalidMethodOverride*/C f2; // invalid for setter
-            /*severe:InferableOverride,severe:InvalidMethodOverride*/var f3;
+            /*severe:InvalidMethodOverride,severe:InvalidMethodOverride*/var f3;
             /*severe:InvalidMethodOverride,severe:InvalidMethodOverride*/dynamic f4;
           }
        '''
       },
       inferFromOverrides: false);
 
   testChecker(
       'getter/getter override',
       {
         '/main.dart': '''
@@ skipping 29 matching lines @@
           abstract class Base {
             B get f1;
             B get f2;
             B get f3;
             B get f4;
           }
 
           class Child extends Base {
             /*severe:InvalidMethodOverride*/A get f1 => null;
             C get f2 => null;
-            /*severe:InferableOverride*/get f3 => null;
+            /*severe:InvalidMethodOverride*/get f3 => null;
             /*severe:InvalidMethodOverride*/dynamic get f4 => null;
           }
        '''
       },
       inferFromOverrides: false);
 
   testChecker(
       'field/getter override',
       {
         '/main.dart': '''
@@ skipping 1029 matching lines @@
   // This is a regression test: we used to report it twice because it was
   // the top super class and top super interface.
   // TODO(sigmund): maybe we generalize this and don't report again errors
   // when an interface is also a superclass.
   testChecker(
       'no reporting of overrides with Object twice.',
       {
         '/main.dart': '''
             class A {}
             class T1 implements A {
-                /*severe:InferableOverride*/toString() {}
+                /*severe:InvalidMethodOverride*/toString() {}
             }
          '''
       },
       inferFromOverrides: false);
 
   testChecker('invalid runtime checks', {
     '/main.dart': '''
           typedef int I2I(int x);
           typedef int D2I(x);
           typedef int II2I(int x, int y);
@@ skipping 162 matching lines @@
           // Types other than int and double are not accepted.
           printInt(
               /*warning:DownCastImplicit*/min(
                   /*severe:StaticTypeError*/"hi",
                   /*severe:StaticTypeError*/"there"));
         }
     '''
     });
   });
 }