Enable is and as checks on non-ground types

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 2498 matching lines @@
           typedef II2D(int x, int y);
           typedef DI2D(x, int y);
           typedef ID2D(int x, y);
           typedef DD2D(x, y);
 
           int foo(int x) => x;
           int bar(int x, int y) => x + y;
 
           void main() {
             bool b;
-            b = /*severe:InvalidRuntimeCheckError*/foo is I2I;
-            b = /*severe:InvalidRuntimeCheckError*/foo is D2I;
-            b = /*severe:InvalidRuntimeCheckError*/foo is I2D;
+            b = /*info:NonGroundTypeCheckInfo*/foo is I2I;
+            b = /*info:NonGroundTypeCheckInfo*/foo is D2I;
+            b = /*info:NonGroundTypeCheckInfo*/foo is I2D;
             b = foo is D2D;
 
-            b = /*severe:InvalidRuntimeCheckError*/bar is II2I;
-            b = /*severe:InvalidRuntimeCheckError*/bar is DI2I;
-            b = /*severe:InvalidRuntimeCheckError*/bar is ID2I;
-            b = /*severe:InvalidRuntimeCheckError*/bar is II2D;
-            b = /*severe:InvalidRuntimeCheckError*/bar is DD2I;
-            b = /*severe:InvalidRuntimeCheckError*/bar is DI2D;
-            b = /*severe:InvalidRuntimeCheckError*/bar is ID2D;
+            b = /*info:NonGroundTypeCheckInfo*/bar is II2I;
+            b = /*info:NonGroundTypeCheckInfo*/bar is DI2I;
+            b = /*info:NonGroundTypeCheckInfo*/bar is ID2I;
+            b = /*info:NonGroundTypeCheckInfo*/bar is II2D;
+            b = /*info:NonGroundTypeCheckInfo*/bar is DD2I;
+            b = /*info:NonGroundTypeCheckInfo*/bar is DI2D;
+            b = /*info:NonGroundTypeCheckInfo*/bar is ID2D;
             b = bar is DD2D;
 
             // For as, the validity of checks is deferred to runtime.
             Function f;
             f = foo as I2I;
             f = foo as D2I;
             f = foo as I2D;
             f = foo as D2D;
 
             f = bar as II2I;
@@ skipping 124 matching lines @@
           // Types other than int and double are not accepted.
           printInt(
               /*warning:DownCastImplicit*/min(
                   /*severe:StaticTypeError*/"hi",
                   /*severe:StaticTypeError*/"there"));
         }
     '''
     });
   });
 }