blob: 6628b320b64b1d308e8cb24ea1d389b9053757c6 [file] [log] [blame]
library /*isNonNullableByDefault*/;
//
// Problems in library:
//
// pkg/front_end/testcases/nnbd/issue44455.dart:6:9: Error: Type argument 'X' doesn't conform to the bound 'num' of the type variable 'Y' on 'F'.
// Try changing type arguments so that they conform to the bounds.
// class A<X extends F<X>> {}
// ^
// pkg/front_end/testcases/nnbd/issue44455.dart:5:11: Context: This is the type variable whose bound isn't conformed to.
// typedef F<Y extends num> = Y Function();
// ^
//
// pkg/front_end/testcases/nnbd/issue44455.dart:8:10: Error: Type argument 'X' doesn't conform to the bound 'num' of the type variable 'Y' on 'F2'.
// Try changing type arguments so that they conform to the bounds.
// class A2<X extends F2<X>> {}
// ^
// pkg/front_end/testcases/nnbd/issue44455.dart:9:12: Context: This is the type variable whose bound isn't conformed to.
// typedef F2<Y extends num> = Y Function();
// ^
//
import self as self;
import "dart:core" as core;
typedef F<Y extends core::num = core::num> = () Y;
typedef F2<Y extends core::num = core::num> = () Y;
class A<X extends () self::A::X = () dynamic> extends core::Object {
synthetic constructor •() self::A<self::A::X>
;
}
class A2<X extends () self::A2::X = () dynamic> extends core::Object {
synthetic constructor •() self::A2<self::A2::X>
;
}
static method main() dynamic
;