| library test; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/inference/block_bodied_lambdas_downwards_incompatible_with_upwards_inference.dart:12:45: Error: A value of type 'int' can't be assigned to a variable of type 'String'. |
| // return /*error:RETURN_OF_INVALID_TYPE*/ 1; |
| // ^ |
| // |
| import self as self; |
| import "dart:core" as core; |
| |
| static method main() → dynamic { |
| function f() → core::String* |
| return null; |
| () →* core::String* g = f; |
| g = () → core::String* { |
| return let final Never* #t1 = invalid-expression "pkg/front_end/testcases/inference/block_bodied_lambdas_downwards_incompatible_with_upwards_inference.dart:12:45: Error: A value of type 'int' can't be assigned to a variable of type 'String'. |
| return /*error:RETURN_OF_INVALID_TYPE*/ 1; |
| ^" in 1 as{TypeError} core::String*; |
| }; |
| } |