housecleaning: remove nonnullableTypes

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 189 matching lines @@
         var toStringClosure2 = helper.toString;
         (/*info:DynamicInvoke*/toStringClosure2());
         int hashCode = /*info:DynamicCast*/helper.hashCode;
 
         baz().toString();
         baz().hashCode;
       }
     '''
   });
 
-  testChecker('Primitives', {
-    '/main.dart': '''
-        int /*severe:InvalidVariableDeclaration*/a;
-        double /*severe:InvalidVariableDeclaration*/b;
-        num c;
-
-        class A {
-          int a;
-          double b;
-          num c;
-
-          static int /*severe:InvalidVariableDeclaration*/x;
-          static double /*severe:InvalidVariableDeclaration*/y;
-          static num z;
-        }
-
-        void foo(int w, [int x = /*severe:StaticTypeError*/null, int /*severe:InvalidVariableDeclaration*/y, int z = 0]) {
-        }
-
-        void bar(int w, {int x = /*severe:StaticTypeError*/null, int /*severe:InvalidVariableDeclaration*/y, int z: 0}) {
-        }
-
-        void main() {
-          int /*severe:InvalidVariableDeclaration*/x;
-          double /*severe:InvalidVariableDeclaration*/y;
-          num z;
-          bool b;
-
-          // int is non-nullable
-          x = /*severe:StaticTypeError*/null;
-          x = 42;
-          x = /*info:DownCastImplicit*/z;
-
-          // double is non-nullable
-          y = /*severe:StaticTypeError*/null;
-          y = /*severe:StaticTypeError*/42;
-          y = 42.0;
-          y = /*info:DownCastImplicit*/z;
-
-          // num is nullable
-          z = null;
-          z = x;
-          z = y;
-
-          // bool is nullable
-          b = null;
-          b = true;
-        }
-      '''
-  }, nonnullableTypes: <String>[
-    'int',
-    'double'
-  ]);
-
-  testChecker('Primitives and generics', {
-    '/main.dart': '''
-        class A<T> {
-          // TODO(vsm): This needs a static info indicating a runtime
-          // check at construction.
-          T x;
-
-          // TODO(vsm): Should this be a different type of DownCast?
-          T foo() => /*info:DownCastImplicit*/null;
-
-          void bar() {
-            int /*severe:InvalidVariableDeclaration*/x;
-            num y;
-            // TODO(vsm): This should be a runtime check:
-            // Transformed to: T z = cast(null, T)
-            T /*severe:InvalidVariableDeclaration*/z;
-          }
-
-          void baz(T x, [T /*severe:InvalidVariableDeclaration*/y, T z = /*info:DownCastImplicit*/null]) {
-          }
-        }
-
-        class B<T extends List> {
-          T x;
-
-          // T cannot be primitive.
-          T foo() => null;
-        }
-
-        class C<T extends num> {
-          // TODO(vsm): This needs a static info indicating a runtime
-          // check at construction.
-          T x;
-
-          // TODO(vsm): Should this be a different type of DownCast?
-          T foo() => /*info:DownCastImplicit*/null;
-        }
-      '''
-  }, nonnullableTypes: <String>[
-    'int',
-    'double'
-  ]);
-
   testChecker('Constructors', {
     '/main.dart': '''
       const num z = 25;
       Object obj = "world";
 
       class A {
         int x;
         String y;
 
         A(this.x) : this.y = /*severe:StaticTypeError*/42;
@@ skipping 2235 matching lines @@
 
         baz1() sync* { yield* (/*info:DynamicCast*/x); }
         Iterable baz2() sync* { yield* (/*info:DynamicCast*/x); }
         Iterable<int> baz3() sync* { yield* (/*warning:DownCastComposite*/x); }
         Iterable<int> baz4() sync* { yield* new Iterable<int>(); }
         Iterable<int> baz5() sync* { yield* (/*info:InferredTypeAllocation*/new Iterable()); }
     '''
     });
   });
 }