blob: 568b6f80b0a38d1690d6ee2414ad1e2c4ed9a438 [file] [log] [blame]
class Hest<TypeX extends Fisk> {}
// ^
// [cfe] Type variables can't have generic function types in their bounds.
typedef Fisk = void Function // don't merge lines
// [error line 5, column 1, length 346]
// [analyzer] COMPILE_TIME_ERROR.TYPE_ALIAS_CANNOT_REFERENCE_ITSELF
// ^
// [cfe] Generic type 'Fisk' can't be used without type arguments in the bounds of its own type variables. It is referenced indirectly through 'Hest'.
<TypeY extends Hest>();
main() {
Hest hest = new Hest();
// ^
// [cfe] Generic function type 'void Function<TypeY>()' inferred as a type argument.
}