Index: pkg/front_end/testcases/inference/downwards_inference_on_function_of_t_using_the_t.dart.direct.expect |
diff --git a/pkg/front_end/testcases/inference/downwards_inference_on_function_of_t_using_the_t.dart.direct.expect b/pkg/front_end/testcases/inference/downwards_inference_on_function_of_t_using_the_t.dart.direct.expect |
index a80d1b4cbd3e1eae458ef17678cd537eee50e648..5ffe78d44658c63f0d56b3f1be5231bbedcc5d38 100644 |
--- a/pkg/front_end/testcases/inference/downwards_inference_on_function_of_t_using_the_t.dart.direct.expect |
+++ b/pkg/front_end/testcases/inference/downwards_inference_on_function_of_t_using_the_t.dart.direct.expect |
@@ -4,13 +4,13 @@ import "dart:core" as core; |
static method main() → void { |
{ |
- function f<T extends core::Object>(invalid-type x) → invalid-type |
+ function f<T extends core::Object>(T x) → T |
return null; |
dynamic v1 = f; |
v1 = <S extends core::Object>(dynamic x) → dynamic => x; |
} |
{ |
- function f<T extends core::Object>(invalid-type x) → core::List<invalid-type> |
+ function f<T extends core::Object>(T x) → core::List<T> |
return null; |
dynamic v2 = f; |
v2 = <S extends core::Object>(dynamic x) → dynamic => <dynamic>[x]; |