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 {}