Index: pkg/front_end/testcases/inference/generic_functions_return_typedef.dart.direct.expect |
diff --git a/pkg/front_end/testcases/inference/generic_functions_return_typedef.dart.direct.expect b/pkg/front_end/testcases/inference/generic_functions_return_typedef.dart.direct.expect |
new file mode 100644 |
index 0000000000000000000000000000000000000000..4db3c4548f7acde97adeff429c109fed554b41ce |
--- /dev/null |
+++ b/pkg/front_end/testcases/inference/generic_functions_return_typedef.dart.direct.expect |
@@ -0,0 +1,13 @@ |
+library test; |
+import self as self; |
+import "dart:core" as core; |
+ |
+typedef ToValue<T extends core::Object> = (T) → void; |
+static method main() → dynamic { |
+ function f<T extends core::Object>(invalid-type x) → (invalid-type) → void |
+ return null; |
+ dynamic x = f.call<core::int>(42); |
+ dynamic y = f.call(42); |
+ (core::int) → void takesInt = x; |
+ takesInt = y; |
+} |