| library test; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/inference/generic_methods_downwards_inference_affects_arguments.dart:13:79: Error: A value of type 'int' can't be assigned to a variable of type 'String'. |
| // /*@ typeArgs=String* */ [/*error:LIST_ELEMENT_TYPE_NOT_ASSIGNABLE*/ 42]); |
| // ^ |
| // |
| import self as self; |
| import "dart:core" as core; |
| |
| static method f<T extends core::Object* = dynamic>(core::List<self::f::T*>* s) → self::f::T* |
| return null; |
| static method test() → dynamic { |
| core::String* x = self::f<core::String*>(<core::String*>["hi"]); |
| core::String* y = self::f<core::String*>(<core::String*>[let final Never* #t1 = invalid-expression "pkg/front_end/testcases/inference/generic_methods_downwards_inference_affects_arguments.dart:13:79: Error: A value of type 'int' can't be assigned to a variable of type 'String'. |
| /*@ typeArgs=String* */ [/*error:LIST_ELEMENT_TYPE_NOT_ASSIGNABLE*/ 42]); |
| ^" in 42 as{TypeError} core::String*]); |
| } |
| static method main() → dynamic {} |