Cleanup InferableOverride

test/checker/inferred_type_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.
 
 /// Tests for type inference.
 library dev_compiler.test.inferred_type_test;
 
 import 'package:test/test.dart';
 
 import '../testing.dart';
@@ skipping 719 matching lines @@
   group('infer type on overridden fields', () {
     testChecker(
         '1',
         {
           '/main.dart': '''
         class A {
           int x = 2;
         }
 
         class B extends A {
-          /*severe:InferableOverride*/get x => 3;
+          /*severe:InvalidMethodOverride*/get x => 3;
         }
 
         foo() {
           String y = /*info:DynamicCast*/new B().x;
           int z = /*info:DynamicCast*/new B().x;
         }
     '''
         },
         inferFromOverrides: false);
 
@@ skipping 19 matching lines @@
 
     testChecker(
         '3',
         {
           '/main.dart': '''
         class A {
           int x = 2;
         }
 
         class B implements A {
-          /*severe:InferableOverride*/get x => 3;
+          /*severe:InvalidMethodOverride*/get x => 3;
         }
 
         foo() {
           String y = /*info:DynamicCast*/new B().x;
           int z = /*info:DynamicCast*/new B().x;
         }
     '''
         },
         inferFromOverrides: false);
 
@@ skipping 43 matching lines @@
 
     testChecker(
         '2',
         {
           '/main.dart': '''
         class A<T> {
           T x;
         }
 
         class B implements A<int> {
-          /*severe:InferableOverride*/get x => 3;
+          /*severe:InvalidMethodOverride*/get x => 3;
         }
 
         foo() {
           String y = /*info:DynamicCast*/new B().x;
           int z = /*info:DynamicCast*/new B().x;
         }
     '''
         },
         inferFromOverrides: false);
 
@@ skipping 735 matching lines @@
       inferDownwards: true);
 
   testChecker('inferred initializing formal checks default value', {
     '/main.dart': '''
       class Foo {
         var x = 1;
         Foo([this.x = /*severe:StaticTypeError*/"1"]);
       }'''
   });
 }