blob: c20ba6fa0edbc48d19668251edd5a0f1e53db12f [file] [log] [blame]
library;
//
// Problems in library:
//
// pkg/front_end/testcases/extension_types/extends_with.dart:12:27: Error: An extension type declaration can't have an 'extends' clause.
// Try removing the 'extends' clause or replacing the 'extends' with 'implements'.
// extension type ET1(int i) extends Foo {}
// ^^^^^^^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:13:27: Error: An extension type declaration can't have a 'with' clause.
// Try removing the 'with' clause or replacing the 'with' with 'implements'.
// extension type ET2(int i) with Foo {}
// ^^^^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:14:27: Error: An extension type declaration can't have a 'with' clause.
// Try removing the 'with' clause or replacing the 'with' with 'implements'.
// extension type ET3(int i) with Foo, Bar {}
// ^^^^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:15:27: Error: An extension type declaration can't have an 'extends' clause.
// Try removing the 'extends' clause or replacing the 'extends' with 'implements'.
// extension type ET4(int i) extends Foo with Bar {}
// ^^^^^^^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:15:39: Error: An extension type declaration can't have a 'with' clause.
// Try removing the 'with' clause or replacing the 'with' with 'implements'.
// extension type ET4(int i) extends Foo with Bar {}
// ^^^^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:16:27: Error: An extension type declaration can't have an 'extends' clause.
// Try removing the 'extends' clause or replacing the 'extends' with 'implements'.
// extension type ET5(int i) extends Foo with Bar, Baz {}
// ^^^^^^^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:16:39: Error: An extension type declaration can't have a 'with' clause.
// Try removing the 'with' clause or replacing the 'with' with 'implements'.
// extension type ET5(int i) extends Foo with Bar, Baz {}
// ^^^^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:17:27: Error: An extension type declaration can't have an 'extends' clause.
// Try removing the 'extends' clause or replacing the 'extends' with 'implements'.
// extension type ET6(Bar i) extends Foo implements Bar {}
// ^^^^^^^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:18:27: Error: An extension type declaration can't have a 'with' clause.
// Try removing the 'with' clause or replacing the 'with' with 'implements'.
// extension type ET7(Bar i) with Foo implements Bar {}
// ^^^^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:19:27: Error: An extension type declaration can't have a 'with' clause.
// Try removing the 'with' clause or replacing the 'with' with 'implements'.
// extension type ET8(Baz i) with Foo, Bar implements Baz {}
// ^^^^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:20:27: Error: An extension type declaration can't have an 'extends' clause.
// Try removing the 'extends' clause or replacing the 'extends' with 'implements'.
// extension type ET9(Baz i) extends Foo with Bar implements Baz {}
// ^^^^^^^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:20:39: Error: An extension type declaration can't have a 'with' clause.
// Try removing the 'with' clause or replacing the 'with' with 'implements'.
// extension type ET9(Baz i) extends Foo with Bar implements Baz {}
// ^^^^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:21:28: Error: An extension type declaration can't have an 'extends' clause.
// Try removing the 'extends' clause or replacing the 'extends' with 'implements'.
// extension type ET10(Boz i) extends Foo with Bar, Baz implements Boz {}
// ^^^^^^^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:21:40: Error: An extension type declaration can't have a 'with' clause.
// Try removing the 'with' clause or replacing the 'with' with 'implements'.
// extension type ET10(Boz i) extends Foo with Bar, Baz implements Boz {}
// ^^^^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:22:43: Error: An extension type declaration can't have an 'extends' clause.
// Try removing the 'extends' clause or replacing the 'extends' with 'implements'.
// extension type ET11(Bar i) implements Bar extends Foo {}
// ^^^^^^^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:23:43: Error: An extension type declaration can't have a 'with' clause.
// Try removing the 'with' clause or replacing the 'with' with 'implements'.
// extension type ET12(Bar i) implements Bar with Foo {}
// ^^^^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:24:43: Error: An extension type declaration can't have a 'with' clause.
// Try removing the 'with' clause or replacing the 'with' with 'implements'.
// extension type ET13(Bar i) implements Bar with Foo, Bar {}
// ^^^^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:25:43: Error: An extension type declaration can't have an 'extends' clause.
// Try removing the 'extends' clause or replacing the 'extends' with 'implements'.
// extension type ET14(Bar i) implements Bar extends Foo with Bar {}
// ^^^^^^^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:25:55: Error: An extension type declaration can't have a 'with' clause.
// Try removing the 'with' clause or replacing the 'with' with 'implements'.
// extension type ET14(Bar i) implements Bar extends Foo with Bar {}
// ^^^^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:26:43: Error: An extension type declaration can't have an 'extends' clause.
// Try removing the 'extends' clause or replacing the 'extends' with 'implements'.
// extension type ET15(Bar i) implements Bar extends Foo with Bar, Baz {}
// ^^^^^^^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:26:55: Error: An extension type declaration can't have a 'with' clause.
// Try removing the 'with' clause or replacing the 'with' with 'implements'.
// extension type ET15(Bar i) implements Bar extends Foo with Bar, Baz {}
// ^^^^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:27:43: Error: An extension type declaration can't have an 'extends' clause.
// Try removing the 'extends' clause or replacing the 'extends' with 'implements'.
// extension type ET16(Bar i) implements Bar extends Foo implements Bar {}
// ^^^^^^^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:27:55: Error: Each class definition can have at most one implements clause.
// Try combining all of the implements clauses into a single clause.
// extension type ET16(Bar i) implements Bar extends Foo implements Bar {}
// ^^^^^^^^^^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:28:43: Error: An extension type declaration can't have a 'with' clause.
// Try removing the 'with' clause or replacing the 'with' with 'implements'.
// extension type ET17(Bar i) implements Bar with Foo implements Bar {}
// ^^^^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:28:52: Error: Each class definition can have at most one implements clause.
// Try combining all of the implements clauses into a single clause.
// extension type ET17(Bar i) implements Bar with Foo implements Bar {}
// ^^^^^^^^^^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:29:46: Error: An extension type declaration can't have a 'with' clause.
// Try removing the 'with' clause or replacing the 'with' with 'implements'.
// extension type ET18(BarBaz i) implements Bar with Foo, Bar implements Baz {}
// ^^^^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:29:60: Error: Each class definition can have at most one implements clause.
// Try combining all of the implements clauses into a single clause.
// extension type ET18(BarBaz i) implements Bar with Foo, Bar implements Baz {}
// ^^^^^^^^^^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:30:46: Error: An extension type declaration can't have an 'extends' clause.
// Try removing the 'extends' clause or replacing the 'extends' with 'implements'.
// extension type ET19(BarBaz i) implements Bar extends Foo with Bar implements Baz {}
// ^^^^^^^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:30:58: Error: An extension type declaration can't have a 'with' clause.
// Try removing the 'with' clause or replacing the 'with' with 'implements'.
// extension type ET19(BarBaz i) implements Bar extends Foo with Bar implements Baz {}
// ^^^^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:30:67: Error: Each class definition can have at most one implements clause.
// Try combining all of the implements clauses into a single clause.
// extension type ET19(BarBaz i) implements Bar extends Foo with Bar implements Baz {}
// ^^^^^^^^^^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:31:46: Error: An extension type declaration can't have an 'extends' clause.
// Try removing the 'extends' clause or replacing the 'extends' with 'implements'.
// extension type ET20(BarBaz i) implements Bar extends Foo with Bar, Baz implements Boz {}
// ^^^^^^^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:31:58: Error: An extension type declaration can't have a 'with' clause.
// Try removing the 'with' clause or replacing the 'with' with 'implements'.
// extension type ET20(BarBaz i) implements Bar extends Foo with Bar, Baz implements Boz {}
// ^^^^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:31:72: Error: Each class definition can have at most one implements clause.
// Try combining all of the implements clauses into a single clause.
// extension type ET20(BarBaz i) implements Bar extends Foo with Bar, Baz implements Boz {}
// ^^^^^^^^^^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:32:43: Error: Each class definition can have at most one implements clause.
// Try combining all of the implements clauses into a single clause.
// extension type ET21(Boz i) implements Bar implements Boz {}
// ^^^^^^^^^^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:33:28: Error: An extension type declaration can't have an 'extends' clause.
// Try removing the 'extends' clause or replacing the 'extends' with 'implements'.
// extension type ET22(int i) extends Bar extends Boz {}
// ^^^^^^^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:33:40: Error: An extension type declaration can't have an 'extends' clause.
// Try removing the 'extends' clause or replacing the 'extends' with 'implements'.
// extension type ET22(int i) extends Bar extends Boz {}
// ^^^^^^^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:34:28: Error: An extension type declaration can't have an 'extends' clause.
// Try removing the 'extends' clause or replacing the 'extends' with 'implements'.
// extension type ET23(int i) extends Bar, Boz {}
// ^^^^^^^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:9:7: Error: 'BarBaz' is a supertype of itself.
// class BarBaz implements BarBaz {}
// ^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:10:7: Error: 'BarBoz' is a supertype of itself.
// class BarBoz implements BarBoz {}
// ^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:29:42: Error: The implemented interface 'Bar' must be a supertype of the representation type 'BarBaz' of extension type 'ET18'.
// - 'Bar' is from 'pkg/front_end/testcases/extension_types/extends_with.dart'.
// - 'BarBaz' is from 'pkg/front_end/testcases/extension_types/extends_with.dart'.
// Try changing the interface type to a supertype of 'BarBaz' or the representation type to a subtype of 'Bar'.
// extension type ET18(BarBaz i) implements Bar with Foo, Bar implements Baz {}
// ^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:30:42: Error: The implemented interface 'Bar' must be a supertype of the representation type 'BarBaz' of extension type 'ET19'.
// - 'Bar' is from 'pkg/front_end/testcases/extension_types/extends_with.dart'.
// - 'BarBaz' is from 'pkg/front_end/testcases/extension_types/extends_with.dart'.
// Try changing the interface type to a supertype of 'BarBaz' or the representation type to a subtype of 'Bar'.
// extension type ET19(BarBaz i) implements Bar extends Foo with Bar implements Baz {}
// ^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:31:42: Error: The implemented interface 'Bar' must be a supertype of the representation type 'BarBaz' of extension type 'ET20'.
// - 'Bar' is from 'pkg/front_end/testcases/extension_types/extends_with.dart'.
// - 'BarBaz' is from 'pkg/front_end/testcases/extension_types/extends_with.dart'.
// Try changing the interface type to a supertype of 'BarBaz' or the representation type to a subtype of 'Bar'.
// extension type ET20(BarBaz i) implements Bar extends Foo with Bar, Baz implements Boz {}
// ^
//
// pkg/front_end/testcases/extension_types/extends_with.dart:32:39: Error: The implemented interface 'Bar' must be a supertype of the representation type 'Boz' of extension type 'ET21'.
// - 'Bar' is from 'pkg/front_end/testcases/extension_types/extends_with.dart'.
// - 'Boz' is from 'pkg/front_end/testcases/extension_types/extends_with.dart'.
// Try changing the interface type to a supertype of 'Boz' or the representation type to a subtype of 'Bar'.
// extension type ET21(Boz i) implements Bar implements Boz {}
// ^
//
import self as self;
import "dart:core" as core;
class Foo extends core::Object {
synthetic constructor •() self::Foo
: super core::Object::•()
;
}
class Bar extends core::Object {
synthetic constructor •() self::Bar
: super core::Object::•()
;
}
class Baz extends core::Object {
synthetic constructor •() self::Baz
: super core::Object::•()
;
}
class Boz extends core::Object {
synthetic constructor •() self::Boz
: super core::Object::•()
;
}
class BarBaz extends core::Object {
synthetic constructor •() self::BarBaz
: super core::Object::•()
;
}
class BarBoz extends core::Object {
synthetic constructor •() self::BarBoz
: super core::Object::•()
;
}
extension type ET1(core::int i) {
abstract extension-type-member representation-field get i() core::int;
constructor = self::ET1|constructor#;
constructor tearoff = self::ET1|constructor#_#new#tearOff;
}
extension type ET2(core::int i) {
abstract extension-type-member representation-field get i() core::int;
constructor = self::ET2|constructor#;
constructor tearoff = self::ET2|constructor#_#new#tearOff;
}
extension type ET3(core::int i) {
abstract extension-type-member representation-field get i() core::int;
constructor = self::ET3|constructor#;
constructor tearoff = self::ET3|constructor#_#new#tearOff;
}
extension type ET4(core::int i) {
abstract extension-type-member representation-field get i() core::int;
constructor = self::ET4|constructor#;
constructor tearoff = self::ET4|constructor#_#new#tearOff;
}
extension type ET5(core::int i) {
abstract extension-type-member representation-field get i() core::int;
constructor = self::ET5|constructor#;
constructor tearoff = self::ET5|constructor#_#new#tearOff;
}
extension type ET6(self::Bar i) {
abstract extension-type-member representation-field get i() self::Bar;
constructor = self::ET6|constructor#;
constructor tearoff = self::ET6|constructor#_#new#tearOff;
}
extension type ET7(self::Bar i) {
abstract extension-type-member representation-field get i() self::Bar;
constructor = self::ET7|constructor#;
constructor tearoff = self::ET7|constructor#_#new#tearOff;
}
extension type ET8(self::Baz i) {
abstract extension-type-member representation-field get i() self::Baz;
constructor = self::ET8|constructor#;
constructor tearoff = self::ET8|constructor#_#new#tearOff;
}
extension type ET9(self::Baz i) {
abstract extension-type-member representation-field get i() self::Baz;
constructor = self::ET9|constructor#;
constructor tearoff = self::ET9|constructor#_#new#tearOff;
}
extension type ET10(self::Boz i) {
abstract extension-type-member representation-field get i() self::Boz;
constructor = self::ET10|constructor#;
constructor tearoff = self::ET10|constructor#_#new#tearOff;
}
extension type ET11(self::Bar i) implements self::Bar {
abstract extension-type-member representation-field get i() self::Bar;
constructor = self::ET11|constructor#;
constructor tearoff = self::ET11|constructor#_#new#tearOff;
}
extension type ET12(self::Bar i) implements self::Bar {
abstract extension-type-member representation-field get i() self::Bar;
constructor = self::ET12|constructor#;
constructor tearoff = self::ET12|constructor#_#new#tearOff;
}
extension type ET13(self::Bar i) implements self::Bar {
abstract extension-type-member representation-field get i() self::Bar;
constructor = self::ET13|constructor#;
constructor tearoff = self::ET13|constructor#_#new#tearOff;
}
extension type ET14(self::Bar i) implements self::Bar {
abstract extension-type-member representation-field get i() self::Bar;
constructor = self::ET14|constructor#;
constructor tearoff = self::ET14|constructor#_#new#tearOff;
}
extension type ET15(self::Bar i) implements self::Bar {
abstract extension-type-member representation-field get i() self::Bar;
constructor = self::ET15|constructor#;
constructor tearoff = self::ET15|constructor#_#new#tearOff;
}
extension type ET16(self::Bar i) implements self::Bar {
abstract extension-type-member representation-field get i() self::Bar;
constructor = self::ET16|constructor#;
constructor tearoff = self::ET16|constructor#_#new#tearOff;
}
extension type ET17(self::Bar i) implements self::Bar {
abstract extension-type-member representation-field get i() self::Bar;
constructor = self::ET17|constructor#;
constructor tearoff = self::ET17|constructor#_#new#tearOff;
}
extension type ET18(self::BarBaz i) implements self::Bar {
abstract extension-type-member representation-field get i() self::BarBaz;
constructor = self::ET18|constructor#;
constructor tearoff = self::ET18|constructor#_#new#tearOff;
}
extension type ET19(self::BarBaz i) implements self::Bar {
abstract extension-type-member representation-field get i() self::BarBaz;
constructor = self::ET19|constructor#;
constructor tearoff = self::ET19|constructor#_#new#tearOff;
}
extension type ET20(self::BarBaz i) implements self::Bar {
abstract extension-type-member representation-field get i() self::BarBaz;
constructor = self::ET20|constructor#;
constructor tearoff = self::ET20|constructor#_#new#tearOff;
}
extension type ET21(self::Boz i) implements self::Bar {
abstract extension-type-member representation-field get i() self::Boz;
constructor = self::ET21|constructor#;
constructor tearoff = self::ET21|constructor#_#new#tearOff;
}
extension type ET22(core::int i) {
abstract extension-type-member representation-field get i() core::int;
constructor = self::ET22|constructor#;
constructor tearoff = self::ET22|constructor#_#new#tearOff;
}
extension type ET23(core::int i) {
abstract extension-type-member representation-field get i() core::int;
constructor = self::ET23|constructor#;
constructor tearoff = self::ET23|constructor#_#new#tearOff;
}
static extension-type-member method ET1|constructor#(core::int i) → self::ET1% /* erasure=core::int, declared=! */ {
lowered final self::ET1% /* erasure=core::int, declared=! */ #this = i;
return #this;
}
static extension-type-member method ET1|constructor#_#new#tearOff(core::int i) → self::ET1% /* erasure=core::int, declared=! */
return self::ET1|constructor#(i);
static extension-type-member method ET2|constructor#(core::int i) → self::ET2% /* erasure=core::int, declared=! */ {
lowered final self::ET2% /* erasure=core::int, declared=! */ #this = i;
return #this;
}
static extension-type-member method ET2|constructor#_#new#tearOff(core::int i) → self::ET2% /* erasure=core::int, declared=! */
return self::ET2|constructor#(i);
static extension-type-member method ET3|constructor#(core::int i) → self::ET3% /* erasure=core::int, declared=! */ {
lowered final self::ET3% /* erasure=core::int, declared=! */ #this = i;
return #this;
}
static extension-type-member method ET3|constructor#_#new#tearOff(core::int i) → self::ET3% /* erasure=core::int, declared=! */
return self::ET3|constructor#(i);
static extension-type-member method ET4|constructor#(core::int i) → self::ET4% /* erasure=core::int, declared=! */ {
lowered final self::ET4% /* erasure=core::int, declared=! */ #this = i;
return #this;
}
static extension-type-member method ET4|constructor#_#new#tearOff(core::int i) → self::ET4% /* erasure=core::int, declared=! */
return self::ET4|constructor#(i);
static extension-type-member method ET5|constructor#(core::int i) → self::ET5% /* erasure=core::int, declared=! */ {
lowered final self::ET5% /* erasure=core::int, declared=! */ #this = i;
return #this;
}
static extension-type-member method ET5|constructor#_#new#tearOff(core::int i) → self::ET5% /* erasure=core::int, declared=! */
return self::ET5|constructor#(i);
static extension-type-member method ET6|constructor#(self::Bar i) → self::ET6% /* erasure=self::Bar, declared=! */ {
lowered final self::ET6% /* erasure=self::Bar, declared=! */ #this = i;
return #this;
}
static extension-type-member method ET6|constructor#_#new#tearOff(self::Bar i) → self::ET6% /* erasure=self::Bar, declared=! */
return self::ET6|constructor#(i);
static extension-type-member method ET7|constructor#(self::Bar i) → self::ET7% /* erasure=self::Bar, declared=! */ {
lowered final self::ET7% /* erasure=self::Bar, declared=! */ #this = i;
return #this;
}
static extension-type-member method ET7|constructor#_#new#tearOff(self::Bar i) → self::ET7% /* erasure=self::Bar, declared=! */
return self::ET7|constructor#(i);
static extension-type-member method ET8|constructor#_#new#tearOff(self::Baz i) → self::ET8% /* erasure=self::Baz, declared=! */
return self::ET8|constructor#(i);
static extension-type-member method ET8|constructor#(self::Baz i) → self::ET8% /* erasure=self::Baz, declared=! */ {
lowered final self::ET8% /* erasure=self::Baz, declared=! */ #this = i;
return #this;
}
static extension-type-member method ET9|constructor#(self::Baz i) → self::ET9% /* erasure=self::Baz, declared=! */ {
lowered final self::ET9% /* erasure=self::Baz, declared=! */ #this = i;
return #this;
}
static extension-type-member method ET9|constructor#_#new#tearOff(self::Baz i) → self::ET9% /* erasure=self::Baz, declared=! */
return self::ET9|constructor#(i);
static extension-type-member method ET10|constructor#(self::Boz i) → self::ET10% /* erasure=self::Boz, declared=! */ {
lowered final self::ET10% /* erasure=self::Boz, declared=! */ #this = i;
return #this;
}
static extension-type-member method ET10|constructor#_#new#tearOff(self::Boz i) → self::ET10% /* erasure=self::Boz, declared=! */
return self::ET10|constructor#(i);
static extension-type-member method ET11|constructor#(self::Bar i) → self::ET11 /* erasure=self::Bar */ {
lowered final self::ET11 /* erasure=self::Bar */ #this = i;
return #this;
}
static extension-type-member method ET11|constructor#_#new#tearOff(self::Bar i) → self::ET11 /* erasure=self::Bar */
return self::ET11|constructor#(i);
static extension-type-member method ET12|constructor#(self::Bar i) → self::ET12 /* erasure=self::Bar */ {
lowered final self::ET12 /* erasure=self::Bar */ #this = i;
return #this;
}
static extension-type-member method ET12|constructor#_#new#tearOff(self::Bar i) → self::ET12 /* erasure=self::Bar */
return self::ET12|constructor#(i);
static extension-type-member method ET13|constructor#(self::Bar i) → self::ET13 /* erasure=self::Bar */ {
lowered final self::ET13 /* erasure=self::Bar */ #this = i;
return #this;
}
static extension-type-member method ET13|constructor#_#new#tearOff(self::Bar i) → self::ET13 /* erasure=self::Bar */
return self::ET13|constructor#(i);
static extension-type-member method ET14|constructor#(self::Bar i) → self::ET14 /* erasure=self::Bar */ {
lowered final self::ET14 /* erasure=self::Bar */ #this = i;
return #this;
}
static extension-type-member method ET14|constructor#_#new#tearOff(self::Bar i) → self::ET14 /* erasure=self::Bar */
return self::ET14|constructor#(i);
static extension-type-member method ET15|constructor#(self::Bar i) → self::ET15 /* erasure=self::Bar */ {
lowered final self::ET15 /* erasure=self::Bar */ #this = i;
return #this;
}
static extension-type-member method ET15|constructor#_#new#tearOff(self::Bar i) → self::ET15 /* erasure=self::Bar */
return self::ET15|constructor#(i);
static extension-type-member method ET16|constructor#(self::Bar i) → self::ET16 /* erasure=self::Bar */ {
lowered final self::ET16 /* erasure=self::Bar */ #this = i;
return #this;
}
static extension-type-member method ET16|constructor#_#new#tearOff(self::Bar i) → self::ET16 /* erasure=self::Bar */
return self::ET16|constructor#(i);
static extension-type-member method ET17|constructor#(self::Bar i) → self::ET17 /* erasure=self::Bar */ {
lowered final self::ET17 /* erasure=self::Bar */ #this = i;
return #this;
}
static extension-type-member method ET17|constructor#_#new#tearOff(self::Bar i) → self::ET17 /* erasure=self::Bar */
return self::ET17|constructor#(i);
static extension-type-member method ET18|constructor#(self::BarBaz i) → self::ET18 /* erasure=self::BarBaz */ {
lowered final self::ET18 /* erasure=self::BarBaz */ #this = i;
return #this;
}
static extension-type-member method ET18|constructor#_#new#tearOff(self::BarBaz i) → self::ET18 /* erasure=self::BarBaz */
return self::ET18|constructor#(i);
static extension-type-member method ET19|constructor#(self::BarBaz i) → self::ET19 /* erasure=self::BarBaz */ {
lowered final self::ET19 /* erasure=self::BarBaz */ #this = i;
return #this;
}
static extension-type-member method ET19|constructor#_#new#tearOff(self::BarBaz i) → self::ET19 /* erasure=self::BarBaz */
return self::ET19|constructor#(i);
static extension-type-member method ET20|constructor#(self::BarBaz i) → self::ET20 /* erasure=self::BarBaz */ {
lowered final self::ET20 /* erasure=self::BarBaz */ #this = i;
return #this;
}
static extension-type-member method ET20|constructor#_#new#tearOff(self::BarBaz i) → self::ET20 /* erasure=self::BarBaz */
return self::ET20|constructor#(i);
static extension-type-member method ET21|constructor#(self::Boz i) → self::ET21 /* erasure=self::Boz */ {
lowered final self::ET21 /* erasure=self::Boz */ #this = i;
return #this;
}
static extension-type-member method ET21|constructor#_#new#tearOff(self::Boz i) → self::ET21 /* erasure=self::Boz */
return self::ET21|constructor#(i);
static extension-type-member method ET22|constructor#(core::int i) → self::ET22% /* erasure=core::int, declared=! */ {
lowered final self::ET22% /* erasure=core::int, declared=! */ #this = i;
return #this;
}
static extension-type-member method ET22|constructor#_#new#tearOff(core::int i) → self::ET22% /* erasure=core::int, declared=! */
return self::ET22|constructor#(i);
static extension-type-member method ET23|constructor#(core::int i) → self::ET23% /* erasure=core::int, declared=! */ {
lowered final self::ET23% /* erasure=core::int, declared=! */ #this = i;
return #this;
}
static extension-type-member method ET23|constructor#_#new#tearOff(core::int i) → self::ET23% /* erasure=core::int, declared=! */
return self::ET23|constructor#(i);