Migrate language_2/static to NNBD.

Change-Id: I0cdd3bd28c7f9135811b3d66237e76fa8a0cc71a
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/151100
Auto-Submit: Bob Nystrom <[email protected]>
Commit-Queue: Erik Ernst <[email protected]>
Reviewed-by: Erik Ernst <[email protected]>

Author: munificent

tests/language/static/call_wrong_argument_count_test.dart

@@ -0,0 +1,19 @@
+// Copyright (c) 2019, 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.
+
+/// Test mismatch in argument counts.
+class Niesen {
+  static int goodCall(int a, int b, int c) {
+    return a + b;
+  }
+}
+
+main() {
+  Niesen.goodCall(1, 2, 3);
+
+  Niesen.goodCall(1, 2, 3, 4);
+  //             ^^^^^^^^^^^^
+  // [analyzer] COMPILE_TIME_ERROR.EXTRA_POSITIONAL_ARGUMENTS
+  // [cfe] Too many positional arguments: 3 allowed, but 4 found.
+}

tests/language/static/closure_identical_test.dart

@@ -0,0 +1,17 @@
+// Copyright (c) 2013, 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.
+
+import "package:expect/expect.dart";
+
+var foo = main;
+
+main() {
+  Expect.equals(main, main);
+  Expect.identical(main, main);
+  Expect.equals(main.hashCode, main.hashCode);
+
+  Expect.equals(main, foo);
+  Expect.identical(main, foo);
+  Expect.equals(main.hashCode, foo.hashCode);
+}

tests/language/static/const_field_reserved_name_test.dart

@@ -0,0 +1,35 @@
+// Copyright (c) 2016, 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.
+
+// Dart test for testing redefinition of reserved names as static const fields.
+// Issue https://github.com/dart-archive/dev_compiler/issues/587
+
+import "package:expect/expect.dart";
+
+class Field {
+  static const name = 'Foo';
+}
+
+class StaticConstFieldReservedNameTest {
+  static testMain() {
+    Expect.equals('Foo', Field.name);
+  }
+}
+
+class Foo {
+  int get foo => 42;
+  static final baz = new Foo();
+}
+
+class Bar extends Foo {
+  get foo => 123;
+  Bar.baz();
+}
+
+void main() {
+  StaticConstFieldReservedNameTest.testMain();
+
+  // Regression test for https://github.com/dart-lang/sdk/issues/33621
+  Expect.equals(Bar.baz().foo, 123);
+}

tests/language/static/const_field_test.dart

@@ -0,0 +1,59 @@
+// Copyright (c) 2011, 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.
+// Dart test program for testing static const fields.
+
+import "package:expect/expect.dart";
+
+abstract class Spain {
+  static const AG = "Antoni Gaudi";
+  static const SD = "Salvador Dali";
+}
+
+abstract class Switzerland {
+  static const AG = "Alberto Giacometti";
+  static const LC = "Le Corbusier";
+}
+
+class A implements Switzerland {
+  const A() : n = 5;
+  final n;
+  static const a = const A();
+  static const b = 3 + 5;
+  static const c = A.b + 7;
+  static const d = const A();
+  static const s1 = "hula";
+  static const s2 = "hula";
+  static const s3 = "hop";
+  static const d1 = 1.1;
+  static const d2 = 0.55 + 0.55;
+  static const artist2 = Switzerland.AG;
+  static const architect1 = Spain.AG;
+  static const array1 = const <int>[1, 2];
+  static const map1 = const {
+    "Monday": 1,
+    "Tuesday": 2,
+  };
+}
+
+class StaticFinalFieldTest {
+  static testMain() {
+    Expect.equals(15, A.c);
+    Expect.equals(8, A.b);
+    Expect.equals(5, A.a.n);
+    Expect.equals(true, identical(8, A.b));
+    Expect.equals(true, identical(A.a, A.d));
+    Expect.equals(true, identical(A.s1, A.s2));
+    Expect.equals(false, identical(A.s1, A.s3));
+    Expect.equals(false, identical(A.s1, A.b));
+    Expect.equals(true, identical(A.d1, A.d2));
+    Expect.equals(true, Spain.SD == "Salvador Dali");
+    Expect.equals(true, A.artist2 == "Alberto Giacometti");
+    Expect.equals(true, A.architect1 == "Antoni Gaudi");
+    Expect.equals(2, A.map1["Tuesday"]);
+  }
+}
+
+main() {
+  StaticFinalFieldTest.testMain();
+}

tests/language/static/field1_runtime_test.dart

@@ -0,0 +1,25 @@
+// TODO(multitest): This was automatically migrated from a multitest and may
+// contain strange or dead code.
+
+// Copyright (c) 2011, 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.
+// Test that a static field cannot be read as an instance field.
+
+class Foo {
+  Foo() {}
+  static var x;
+}
+
+class StaticField1Test {
+  static testMain() {
+    if (false) {
+      var foo = new Foo();
+
+    }
+  }
+}
+
+main() {
+  StaticField1Test.testMain();
+}

tests/language/static/field1_test.dart

@@ -0,0 +1,25 @@
+// Copyright (c) 2011, 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.
+// Test that a static field cannot be read as an instance field.
+
+class Foo {
+  Foo() {}
+  static var x;
+}
+
+class StaticField1Test {
+  static testMain() {
+    if (false) {
+      var foo = new Foo();
+      var x = foo.x;
+      //          ^
+      // [analyzer] STATIC_TYPE_WARNING.INSTANCE_ACCESS_TO_STATIC_MEMBER
+      // [cfe] The getter 'x' isn't defined for the class 'Foo'.
+    }
+  }
+}
+
+main() {
+  StaticField1Test.testMain();
+}

tests/language/static/field1a_runtime_test.dart

@@ -0,0 +1,25 @@
+// TODO(multitest): This was automatically migrated from a multitest and may
+// contain strange or dead code.
+
+// Copyright (c) 2011, 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.
+// Test that a static method cannot be read as an instance field.
+
+class Foo {
+  Foo() {}
+  static void m() {}
+}
+
+class StaticField1aTest {
+  static testMain() {
+    if (false) {
+      var foo = new Foo();
+
+    }
+  }
+}
+
+main() {
+  StaticField1aTest.testMain();
+}

tests/language/static/field1a_test.dart

@@ -0,0 +1,25 @@
+// Copyright (c) 2011, 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.
+// Test that a static method cannot be read as an instance field.
+
+class Foo {
+  Foo() {}
+  static void m() {}
+}
+
+class StaticField1aTest {
+  static testMain() {
+    if (false) {
+      var foo = new Foo();
+      var m = foo.m;
+      //          ^
+      // [analyzer] STATIC_TYPE_WARNING.INSTANCE_ACCESS_TO_STATIC_MEMBER
+      // [cfe] The getter 'm' isn't defined for the class 'Foo'.
+    }
+  }
+}
+
+main() {
+  StaticField1aTest.testMain();
+}

tests/language/static/field3_runtime_test.dart

@@ -0,0 +1,22 @@
+// TODO(multitest): This was automatically migrated from a multitest and may
+// contain strange or dead code.
+
+// Copyright (c) 2011, 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.
+// Test that an instance field cannot be read as a static field.
+
+class Foo {
+  Foo() {}
+  var x;
+  void m() {}
+}
+
+main() {
+  if (false) {
+
+
+
+
+  }
+}

tests/language/static/field3_test.dart

@@ -0,0 +1,31 @@
+// Copyright (c) 2011, 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.
+// Test that an instance field cannot be read as a static field.
+
+class Foo {
+  Foo() {}
+  var x;
+  void m() {}
+}
+
+main() {
+  if (false) {
+    var x = Foo.x;
+    //          ^
+    // [analyzer] STATIC_WARNING.STATIC_ACCESS_TO_INSTANCE_MEMBER
+    // [cfe] Getter not found: 'x'.
+    var m = Foo.m;
+    //          ^
+    // [analyzer] STATIC_WARNING.STATIC_ACCESS_TO_INSTANCE_MEMBER
+    // [cfe] Getter not found: 'm'.
+    Foo.m = 1;
+    //  ^
+    // [analyzer] STATIC_TYPE_WARNING.UNDEFINED_SETTER
+    // [cfe] Setter not found: 'm'.
+    Foo.x = 1;
+    //  ^
+    // [analyzer] STATIC_WARNING.STATIC_ACCESS_TO_INSTANCE_MEMBER
+    // [cfe] Setter not found: 'x'.
+  }
+}