| 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) { |
| // ^ |
| // |
| 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%> |
| ; |
| method method<S extends core::Object? = dynamic>(invalid-type a, invalid-type b) → void |
| ; |
| } |
| static method method<S extends core::Object? = dynamic>(invalid-type a) → void |
| ; |
| static method main() → dynamic |
| ; |