blob: df41e5a6e35d82dd27f97dc6589b8b7f874536f9 [file] [log] [blame]
library;
//
// Problems in library:
//
// pkg/front_end/testcases/extension_types/cyclicity_checks_order_in_outline.dart:9:9: Error: The typedef 'F1' has a reference to itself.
// typedef F1 = F1; // Error.
// ^^
//
// pkg/front_end/testcases/extension_types/cyclicity_checks_order_in_outline.dart:11:9: Error: The typedef 'F2' has a reference to itself.
// typedef F2 = F2; // Error.
// ^^
//
import self as self;
typedef F1 = invalid-type;
typedef F2 = invalid-type;
extension type E1(invalid-type it) {
abstract extension-type-member representation-field get it() invalid-type;
constructor = self::E1|constructor#;
constructor tearoff = self::E1|constructor#_#new#tearOff;
}
extension type E2(invalid-type it) {
abstract extension-type-member representation-field get it() invalid-type;
constructor = self::E2|constructor#;
constructor tearoff = self::E2|constructor#_#new#tearOff;
}
static extension-type-member method E1|constructor#(invalid-type it) → self::E1% /* erasure=invalid-type, declared=! */
;
static extension-type-member method E1|constructor#_#new#tearOff(invalid-type it) → self::E1% /* erasure=invalid-type, declared=! */
return self::E1|constructor#(it);
static extension-type-member method E2|constructor#(invalid-type it) → self::E2% /* erasure=invalid-type, declared=! */
;
static extension-type-member method E2|constructor#_#new#tearOff(invalid-type it) → self::E2% /* erasure=invalid-type, declared=! */
return self::E2|constructor#(it);