| class Hest<TypeX extends Fisk> {} |
| // ^^^^ |
| // [analyzer] COMPILE_TIME_ERROR.NOT_INSTANTIATED_BOUND |
| // ^ |
| // [cfe] Type variables can't have generic function types in their bounds. |
| |
| typedef Fisk = void Function // don't merge lines |
| // [error line 7, 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>(); |
| // ^^^^ |
| // [analyzer] COMPILE_TIME_ERROR.NOT_INSTANTIATED_BOUND |
| |
| main() { |
| Hest hest = new Hest(); |
| // ^ |
| // [cfe] Generic function type 'void Function<TypeY>()' inferred as a type argument. |
| } |
