Migrate language_2/regress to NNBD.

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

Author: munificent

tests/language/regress/r24720_test.dart

@@ -0,0 +1,20 @@
+// 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.
+
+// Regression test for r24720.
+
+import 'package:expect/expect.dart';
+
+class A<T> {}
+
+class B extends A<int> {
+  B() : this.foo();
+  B.foo();
+}
+
+main() {
+  Expect.isTrue(new B() is B);
+  Expect.isTrue(new B() is A<int>);
+  Expect.isFalse(new B() is A<String>);
+}

tests/language/regress/regress10204_test.dart

@@ -0,0 +1,38 @@
+// 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.
+
+// Regression test for dart2js that used to miscompile
+// [A.visitInvokeDynamicMethod].
+
+import "package:expect/expect.dart";
+
+var a = 2;
+
+class Tupe {
+  const Tupe();
+  get instructionType => a == 2 ? this : new A();
+  refine(a, b) => '$a$b';
+}
+
+class Node {
+  final selector = null;
+  var inputs = {"a": const Tupe(), "b": const Tupe()};
+  bool isCallOnInterceptor = false;
+
+  getDartReceiver() {
+    return isCallOnInterceptor ? inputs["a"] : inputs["b"];
+  }
+}
+
+class A {
+  visitInvokeDynamicMethod(node) {
+    var receiverType = node.getDartReceiver().instructionType;
+    return receiverType.refine(node.selector, node.selector);
+  }
+}
+
+main() {
+  Expect.equals(
+      'nullnull', [new A()].last.visitInvokeDynamicMethod(new Node()));
+}

tests/language/regress/regress10321_test.dart

@@ -0,0 +1,41 @@
+// 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";
+
+// Regression test for dart2js that used to miscompile [A.foo].
+
+var global = 54;
+
+class A {
+  int a = 0;
+  int b = 42;
+  final int c = global;
+  foo() {
+    int start = a - 1;
+    a = 54;
+    if (b == 42) {
+      b = 32;
+    } else {
+      b = 42;
+    }
+    Expect.equals(-1, start);
+  }
+
+  bar() {
+    int start = a - c - 1;
+    a = 42;
+    if (b == 42) {
+      b = 32;
+    } else {
+      b = 42;
+    }
+    Expect.equals(-55, start);
+  }
+}
+
+main() {
+  new A().foo();
+  new A().bar();
+}

tests/language/regress/regress10561_test.dart

@@ -0,0 +1,16 @@
+// 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.
+
+// Regression test for dart2js that used to miscompile classes
+// extending HashMap, because HashMap is patched.
+
+import "package:expect/expect.dart";
+
+import 'dart:collection';
+
+class Foo extends Expando {}
+
+main() {
+  Expect.isNull(new Foo()[new Object()]);
+}

tests/language/regress/regress10581_test.dart

@@ -0,0 +1,63 @@
+// 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.
+
+// Regression test for https://code.google.com/p/dart/issues/detail?id=10581.
+
+import 'package:expect/expect.dart';
+
+abstract class AxesObject {
+  Update();
+}
+
+String result = '';
+
+class Point2DObject extends AxesObject {
+  Update() {
+    result += 'P';
+  }
+}
+
+class BestFitObject extends AxesObject {
+  Update() {
+    result += 'B';
+  }
+}
+
+class Foo {
+  AddAxesObject(type) {
+    AxesObject? a = null;
+    switch (type) {
+      case 100:
+        a = new Point2DObject();
+        break;
+      case 200:
+        a = new BestFitObject();
+        break;
+    }
+    if (a != null) {
+      a.Update();
+    }
+  }
+
+  AddAxesObject2(type) {
+    AxesObject? a = null;
+    if (type == 100) {
+      a = new Point2DObject();
+    } else if (type == 200) {
+      a = new BestFitObject();
+    }
+    if (a != null) {
+      a.Update();
+    }
+  }
+}
+
+main() {
+  var f = new Foo();
+  f.AddAxesObject(100);
+  f.AddAxesObject(200);
+  f.AddAxesObject2(100);
+  f.AddAxesObject2(200);
+  Expect.equals('PBPB', result);
+}

tests/language/regress/regress10721_test.dart

@@ -0,0 +1,26 @@
+// 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";
+
+void main() {
+  Expect.equals('', useParameterInClosure(1));
+  Expect.equals(43, updateParameterInClosure(1)());
+}
+
+String useParameterInClosure(arg1, {int? arg2}) {
+  if (arg1 is Map) {
+    return arg1.keys.map((key) => arg1[key]).first;
+  } else {
+    return '';
+  }
+}
+
+Function updateParameterInClosure(arg1) {
+  if (arg1 is Map) {
+    return () => arg1 = 42;
+  } else {
+    return () => arg1 = arg1 + 42;
+  }
+}

tests/language/regress/regress10747_test.dart

@@ -0,0 +1,23 @@
+// 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";
+
+class B<T> {}
+
+class A<T> {
+  var field;
+  A(this.field);
+  asTypeVariable() => field as T;
+  asBOfT() => field as B<T>;
+}
+
+main() {
+  Expect.equals(42, new A<int>(42).asTypeVariable());
+  Expect.throwsTypeError(() => new A<String>(42).asTypeVariable());
+
+  var b = new B<int>();
+  Expect.equals(b, new A<int>(b).asBOfT());
+  Expect.throwsTypeError(() => new A<String>(b).asBOfT());
+}

tests/language/regress/regress10783_test.dart

@@ -0,0 +1,21 @@
+// 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";
+
+class C {
+  foo(int y) {
+    return y;
+  }
+}
+
+main() {
+  for (var b in [
+    [false, 'pig']
+  ]) {
+    var c;
+    if (b[0] as bool) c = new C();
+    Expect.throwsNoSuchMethodError(() => print(c.foo(b[1])));
+  }
+}

tests/language/regress/regress10996_lib.dart

@@ -0,0 +1,10 @@
+// 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.
+
+library regress_10996_lib;
+
+var a = 3;
+var b = 4;
+var c = 5;
+var d = 6;

tests/language/regress/regress10996_test.dart

@@ -0,0 +1,21 @@
+// 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";
+import "regress10996_lib.dart" as lib;
+
+foo(a, [b]) {
+  return a + b + lib.a + lib.b;
+}
+
+bar(c, {d}) {
+  return c + d + lib.c + lib.d;
+}
+
+main() {
+  Expect.equals(1 + 2 + 3 + 4, foo(1, 2));
+  Expect.equals(7 + 8 + 3 + 4, foo(7, 8));
+  Expect.equals(3 + 4 + 5 + 6, bar(3, d: 4));
+  Expect.equals(7 + 8 + 5 + 6, bar(7, d: 8));
+}