| 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; | 
| +} | 
|  |