Index: tests/language_strong/generic_function_dcall_test.dart |
diff --git a/tests/language_strong/generic_function_dcall_test.dart b/tests/language_strong/generic_function_dcall_test.dart |
new file mode 100644 |
index 0000000000000000000000000000000000000000..a0e7175ae47742e381a78252d7c3fa8a2d7c129e |
--- /dev/null |
+++ b/tests/language_strong/generic_function_dcall_test.dart |
@@ -0,0 +1,59 @@ |
+// Copyright (c) 2017, 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 testCallsToGenericFn() { |
+ T f<T>(T a, T b) => ((a as dynamic) + b) as T; |
+ |
+ var x = (f as dynamic)<int>(40, 2); |
+ Expect.equals(x, 42); |
+ |
+ var y = (f as dynamic)<String>('hi', '!'); |
+ Expect.equals(y, 'hi!'); |
+ |
+ var dd2d = (x, y) => x; |
+ dd2d = f; // implicit <dynamic> |
+ x = (dd2d as dynamic)(40, 2); |
+ Expect.equals(x, 42); |
+ y = (dd2d as dynamic)('hi', '!'); |
+ Expect.equals(y, 'hi!'); |
+} |
+ |
+void testGenericFnAsArg() { |
+ h<T>(a) => a as T; |
+ Object foo(f(Object a), Object a) => f(a); |
+ Expect.throws(() => foo(h as dynamic, 42)); |
+ |
+ var int2int = (int x) => x; |
+ T bar<T>(x) => x as T; |
+ dynamic list = <Object>[1, 2, 3]; |
+ Expect.throws(() => list.map(bar)); |
+ int2int = bar; |
+ Expect.listEquals(list.map(int2int).toList(), [1, 2, 3]); |
+} |
+ |
+typedef T2T = T Function<T>(T t); |
+void testGenericFnAsGenericFnArg() { |
+ h<T>(a) => a as T; |
+ S foo<S>(T2T f, S a) => f<S>(a); |
+ Expect.equals(foo<int>(h, 42), 42); |
+ Expect.equals(foo<dynamic>(h, 42), 42); |
+ Expect.equals(foo<int>(h as dynamic, 42), 42); |
+ Expect.equals(foo<dynamic>(h as dynamic, 42), 42); |
+} |
+ |
+void testGenericFnTypeToString() { |
+ T f<T>(T a) => a; |
+ // TODO(jmesserly): other Dart implementations use `=>` arrow, so we may need |
+ // to change this in DDC at some point. |
+ Expect.equals(f.runtimeType.toString(), "<T>(T) -> T"); |
+} |
+ |
+main() { |
+ testCallsToGenericFn(); |
+ testGenericFnAsArg(); |
+ testGenericFnAsGenericFnArg(); |
+ testGenericFnTypeToString(); |
+} |