blob: 7d18f00ef4d9d14217e873e3844aba592bfc4f4f [file] [log] [blame]
library;
//
// Problems in library:
//
// pkg/front_end/testcases/extension_types/const_constructor_body.dart:6:3: Error: A const constructor can't have a body.
// Try removing either the 'const' keyword or the body.
// const ET.named(this.i) /* Error */ {
// ^^^^^
//
import self as self;
import "dart:core" as core;
extension type ET(core::int i) {
abstract extension-type-member representation-field get i() core::int;
constructor = self::ET|constructor#;
constructor tearoff = self::ET|constructor#_#new#tearOff;
constructor named = self::ET|constructor#named;
constructor tearoff named = self::ET|constructor#_#named#tearOff;
}
static extension-type-member method ET|constructor#(core::int i) → self::ET% /* erasure=core::int, declared=! */
;
static extension-type-member method ET|constructor#_#new#tearOff(core::int i) → self::ET% /* erasure=core::int, declared=! */
return self::ET|constructor#(i);
static extension-type-member method ET|constructor#named(core::int i) → self::ET% /* erasure=core::int, declared=! */
;
static extension-type-member method ET|constructor#_#named#tearOff(core::int i) → self::ET% /* erasure=core::int, declared=! */
return self::ET|constructor#named(i);