blob: 7f95ca4eb8b2fd8fe3c7ebc11a9077541f3c2d0f [file] [log] [blame]
library /*isNonNullableByDefault*/;
//
// Problems in library:
//
// pkg/front_end/testcases/extension_types/type_variable_in_static_context.dart:8:26: Error: Type variables can't be used in static members.
// static A<T>? method1(A<T> arg) {
// ^
//
// pkg/front_end/testcases/extension_types/type_variable_in_static_context.dart:8:12: Error: Type variables can't be used in static members.
// static A<T>? method1(A<T> arg) {
// ^
//
// pkg/front_end/testcases/extension_types/type_variable_in_static_context.dart:11:31: Error: Type variables can't be used in static members.
// static A<A<T>>? method2(A<A<T>> arg) {
// ^
//
// pkg/front_end/testcases/extension_types/type_variable_in_static_context.dart:11:14: Error: Type variables can't be used in static members.
// static A<A<T>>? method2(A<A<T>> arg) {
// ^
//
// pkg/front_end/testcases/extension_types/type_variable_in_static_context.dart:9:7: Error: Type variables can't be used in static members.
// A<T>? local;
// ^
//
// pkg/front_end/testcases/extension_types/type_variable_in_static_context.dart:12:9: Error: Type variables can't be used in static members.
// A<A<T>>? local;
// ^
//
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::•()
;
static method method1(self::A<invalid-type> arg) self::A<invalid-type>? {
self::A<invalid-type>? local;
}
static method method2(self::A<self::A<invalid-type>> arg) self::A<self::A<invalid-type>>? {
self::A<self::A<invalid-type>>? local;
}
}
extension type A<T extends core::Object? = dynamic> on self::Class<T%> {
}
static method main() dynamic {}