| library /*isNonNullableByDefault*/; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/general/type_variable_type_arguments.dart:5:16: Error: Can't use type arguments with type variable 'S'. |
| // Try removing the type arguments. |
| // void method<S>(S<int> a) {} |
| // ^ |
| // |
| // pkg/front_end/testcases/general/type_variable_type_arguments.dart:8:28: Error: Can't use type arguments with type variable 'S'. |
| // Try removing the type arguments. |
| // void method<S>(T<int> a, S<int> b) { |
| // ^ |
| // |
| // pkg/front_end/testcases/general/type_variable_type_arguments.dart:8:18: Error: Can't use type arguments with type variable 'T'. |
| // Try removing the type arguments. |
| // void method<S>(T<int> a, S<int> b) { |
| // ^ |
| // |
| // pkg/front_end/testcases/general/type_variable_type_arguments.dart:9:14: Error: Can't use type arguments with type variable 'U'. |
| // Try removing the type arguments. |
| // local<U>(U<int> a) {} |
| // ^ |
| // |
| import self as self; |
| import "dart:core" as core; |
| |
| class Class<T extends core::Object? = dynamic> extends core::Object { |
| synthetic constructor •() → self::Class<self::Class::T%> |
| : super core::Object::•() |
| ; |
| method method<S extends core::Object? = dynamic>(invalid-type a, invalid-type b) → void { |
| function local<U extends core::Object? = dynamic>(invalid-type a) → Null {} |
| } |
| } |
| static method method<S extends core::Object? = dynamic>(invalid-type a) → void {} |
| static method main() → dynamic {} |