Migrate block 114 (and some of 113).

tests/language_2/generic_methods_type_expression_test.dart

Index: tests/language_2/generic_methods_type_expression_test.dart
diff --git a/tests/language_2/generic_methods_type_expression_test.dart b/tests/language_2/generic_methods_type_expression_test.dart
new file mode 100644
index 0000000000000000000000000000000000000000..33f5a771a748f4e4511506a287febd52c60a32bd
--- /dev/null
+++ b/tests/language_2/generic_methods_type_expression_test.dart
@@ -0,0 +1,63 @@
+// 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.
+//
+// VMOptions=--generic-method-syntax
+
+/// Dart test on the usage of method type arguments in type expressions.
+
+import "package:expect/expect.dart";
+
+bool f1<T>(Object o) => o is T;
+
+bool f2<T>(Object o) => o is List<T>;
+
+bool f3<T>(Object o) => o is! T;
+
+bool f4<T>(Object o) => o is! List<T>;
+
+T f5<T>(Object o) => o as T;
+
+List<T> f6<T>(Object o) => o as List<T>;
+
+Type f7<T>() => T;
+
+class TypeValue<X> {
+  Type get value => X;
+}
+
+Type f8<T>() => new TypeValue<List<T>>().value;
+
+bool f9<T>(Object o) => o is Map<T, String>;
+
+class IsMap<A> {
+  @NoInline()
+  bool check<B>(o) => o is Map<A, B>;
+}
+
+main() {
+  String s = "Hello!";
+  List<String> ss = <String>[s];
+  Expect.isTrue(f1<int>(42));
+  Expect.isFalse(f1<String>(42));
+  Expect.isTrue(f2<int>(<int>[42]));
+  Expect.isFalse(f2<String>(<int>[42])); // `is List<String>` is false.
+  Expect.isFalse(f3<int>(42));
+  Expect.isTrue(f3<String>(42));
+  Expect.isFalse(f4<int>(<int>[42]));
+  Expect.isTrue(f4<String>(<int>[42])); // `is! List<dynamic>` is true.
+  Expect.equals(f5<String>(s), s); // `s as String == s`
+  Expect.throwsCastError(() => f5<int>(s)); // `s as int == s`
+  Expect.equals(f6<String>(ss), ss);
+  Expect.throwsCastError(() => f6<int>(ss)); // `as List<int>` fails.
+  Expect.equals(f7<int>(), int);
+  Expect.equals(f8<int>(), new TypeValue<List<int>>().value); // Returns `List<int>`.

[Jennifer Messerly, 2017/08/17 06:22:45]

long line

[Bob Nystrom, 2017/08/24 01:00:26]

Done.

+
+  Expect.isTrue(f9<int>(<int, String>{}));
+  Expect
+      .isTrue(f9<int>(<bool, String>{})); // `is Map<dynamic, String>` is true.
+  Expect.isFalse(f9<int>(<int, int>{}));
+
+  Expect.isTrue(new IsMap<int>().check<String>(<int, String>{}));
+  Expect.isTrue(new IsMap<int>().check<int>(<int, String>{}));
+}