blob: 83322f3766ad3117b3f76d8ab5c684aeea39a0e8 [file] [log] [blame]
library /*isNonNullableByDefault*/;
//
// Problems in library:
//
// pkg/front_end/testcases/nnbd_mixed/cyclic_typedef.dart:12:7: Error: Generic type 'Hest2' can't be used without type arguments in the bounds of its own type variables. It is referenced indirectly through 'Fisk2'.
// Try providing type arguments to 'Fisk2' here or to some other raw types in the bounds along the reference chain.
// class Hest2<TypeX extends Fisk2> {}
// ^^^^^
// pkg/front_end/testcases/nnbd_mixed/cyclic_typedef.dart:12:13: Context: Bound of this variable references raw type 'Fisk2'.
// class Hest2<TypeX extends Fisk2> {}
// ^^^^^
// pkg/front_end/testcases/nnbd_mixed/cyclic_typedef_lib.dart:14:31: Context: Bound of this variable references raw type 'Hest2'.
// typedef Fisk2 = void Function<TypeY extends Hest2>();
// ^^^^^
//
// pkg/front_end/testcases/nnbd_mixed/cyclic_typedef.dart:14:9: Error: Generic type 'Fisk1' can't be used without type arguments in the bounds of its own type variables. It is referenced indirectly through 'Hest1'.
// Try providing type arguments to 'Hest1' here or to some other raw types in the bounds along the reference chain.
// typedef Fisk1 = void Function<TypeY extends Hest1>();
// ^^^^^
// pkg/front_end/testcases/nnbd_mixed/cyclic_typedef.dart:14:31: Context: Bound of this variable references raw type 'Hest1'.
// typedef Fisk1 = void Function<TypeY extends Hest1>();
// ^^^^^
// pkg/front_end/testcases/nnbd_mixed/cyclic_typedef_lib.dart:12:13: Context: Bound of this variable references raw type 'Fisk1'.
// class Hest1<TypeX extends Fisk1> {}
// ^^^^^
//
import self as self;
import "dart:core" as core;
import "org-dartlang-testcase:///cyclic_typedef_lib.dart";
typedef Fisk1 = <TypeY extends core::Object? = dynamic>() void;
class Hest2<TypeX extends core::Object? = dynamic> extends core::Object {
synthetic constructor •() self::Hest2<self::Hest2::TypeX%>
: super core::Object::•()
;
}
static method main() dynamic {}
library /*isNonNullableByDefault*/;
//
// Problems in library:
//
// pkg/front_end/testcases/nnbd_mixed/cyclic_typedef_lib.dart:12:13: Error: Type variables can't have generic function types in their bounds.
// class Hest1<TypeX extends Fisk1> {}
// ^^^^^
//
import self as self2;
import "cyclic_typedef.dart" as self;
import "dart:core" as core;
import "org-dartlang-testcase:///cyclic_typedef.dart";
typedef Fisk2 = <TypeY extends self::Hest2<dynamic> = dynamic>() void;
class Hest1<TypeX extends <TypeY extends core::Object? = dynamic>() void = dynamic> extends core::Object {
synthetic constructor •() self2::Hest1<self2::Hest1::TypeX>
: super core::Object::•()
;
}