| library /*isNonNullableByDefault*/; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/extensions/duplicate_type_variables.dart:5:17: Error: A type variable can't have the same name as another. |
| // extension E1<T, T> on int {} |
| // ^ |
| // pkg/front_end/testcases/extensions/duplicate_type_variables.dart:5:14: Context: The other type variable named 'T'. |
| // extension E1<T, T> on int {} |
| // ^ |
| // |
| import self as self; |
| import "dart:core" as core; |
| |
| extension E1<T extends core::Object? = dynamic, T extends core::Object? = dynamic> on core::int { |
| } |
| static method main() → dynamic {} |
