| library; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/extension_types/initializers.dart:16:27: Error: 'nonexisting' isn't an instance field of this class. |
| // Class4(this.field, this.nonexisting); // Error |
| // ^^^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/extension_types/initializers.dart:20:35: Error: 'field' was already initialized by this constructor. |
| // Class5(this.field) : this.field = 42; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/initializers.dart:24:29: Error: 'nonexisting' isn't an instance field of this class. |
| // Class6(this.field) : this.nonexisting = 42; // Error |
| // ^^^^^^^^^^^ |
| // |
| import self as self; |
| import "dart:core" as core; |
| |
| extension type Class1(core::int field) { |
| abstract extension-type-member representation-field get field() → core::int; |
| constructor _ = self::Class1|constructor#_; |
| constructor tearoff _ = self::Class1|constructor#_#_#tearOff; |
| constructor • = self::Class1|constructor#; |
| constructor tearoff • = self::Class1|constructor#_#new#tearOff; |
| } |
| extension type Class2(core::int field) { |
| abstract extension-type-member representation-field get field() → core::int; |
| constructor _ = self::Class2|constructor#_; |
| constructor tearoff _ = self::Class2|constructor#_#_#tearOff; |
| constructor • = self::Class2|constructor#; |
| constructor tearoff • = self::Class2|constructor#_#new#tearOff; |
| } |
| extension type Class3(core::int field) { |
| abstract extension-type-member representation-field get field() → core::int; |
| constructor _ = self::Class3|constructor#_; |
| constructor tearoff _ = self::Class3|constructor#_#_#tearOff; |
| } |
| extension type Class4(core::int field) { |
| abstract extension-type-member representation-field get field() → core::int; |
| constructor _ = self::Class4|constructor#_; |
| constructor tearoff _ = self::Class4|constructor#_#_#tearOff; |
| constructor • = self::Class4|constructor#; |
| constructor tearoff • = self::Class4|constructor#_#new#tearOff; |
| } |
| extension type Class5(core::int field) { |
| abstract extension-type-member representation-field get field() → core::int; |
| constructor _ = self::Class5|constructor#_; |
| constructor tearoff _ = self::Class5|constructor#_#_#tearOff; |
| constructor • = self::Class5|constructor#; |
| constructor tearoff • = self::Class5|constructor#_#new#tearOff; |
| } |
| extension type Class6(core::int field) { |
| abstract extension-type-member representation-field get field() → core::int; |
| constructor _ = self::Class6|constructor#_; |
| constructor tearoff _ = self::Class6|constructor#_#_#tearOff; |
| constructor • = self::Class6|constructor#; |
| constructor tearoff • = self::Class6|constructor#_#new#tearOff; |
| } |
| static extension-type-member method Class1|constructor#_(core::int field) → self::Class1% /* erasure=core::int, declared=! */ { |
| lowered final self::Class1% /* erasure=core::int, declared=! */ #this = field; |
| return #this; |
| } |
| static extension-type-member method Class1|constructor#_#_#tearOff(core::int field) → self::Class1% /* erasure=core::int, declared=! */ |
| return self::Class1|constructor#_(field); |
| static extension-type-member method Class1|constructor#(core::int field) → self::Class1% /* erasure=core::int, declared=! */ { |
| lowered final self::Class1% /* erasure=core::int, declared=! */ #this = field; |
| return #this; |
| } |
| static extension-type-member method Class1|constructor#_#new#tearOff(core::int field) → self::Class1% /* erasure=core::int, declared=! */ |
| return self::Class1|constructor#(field); |
| static extension-type-member method Class2|constructor#_(core::int field) → self::Class2% /* erasure=core::int, declared=! */ { |
| lowered final self::Class2% /* erasure=core::int, declared=! */ #this = field; |
| return #this; |
| } |
| static extension-type-member method Class2|constructor#_#_#tearOff(core::int field) → self::Class2% /* erasure=core::int, declared=! */ |
| return self::Class2|constructor#_(field); |
| static extension-type-member method Class2|constructor#(core::int field) → self::Class2% /* erasure=core::int, declared=! */ { |
| lowered final self::Class2% /* erasure=core::int, declared=! */ #this = field; |
| return #this; |
| } |
| static extension-type-member method Class2|constructor#_#new#tearOff(core::int field) → self::Class2% /* erasure=core::int, declared=! */ |
| return self::Class2|constructor#(field); |
| static extension-type-member method Class3|constructor#_(core::int field) → self::Class3% /* erasure=core::int, declared=! */ { |
| lowered final self::Class3% /* erasure=core::int, declared=! */ #this = field; |
| return #this; |
| } |
| static extension-type-member method Class3|constructor#_#_#tearOff(core::int field) → self::Class3% /* erasure=core::int, declared=! */ |
| return self::Class3|constructor#_(field); |
| static extension-type-member method Class4|constructor#_(core::int field) → self::Class4% /* erasure=core::int, declared=! */ { |
| lowered final self::Class4% /* erasure=core::int, declared=! */ #this = field; |
| return #this; |
| } |
| static extension-type-member method Class4|constructor#_#_#tearOff(core::int field) → self::Class4% /* erasure=core::int, declared=! */ |
| return self::Class4|constructor#_(field); |
| static extension-type-member method Class4|constructor#(core::int field, dynamic nonexisting) → self::Class4% /* erasure=core::int, declared=! */ { |
| lowered final self::Class4% /* erasure=core::int, declared=! */ #this = field; |
| final dynamic #t1 = invalid-expression "pkg/front_end/testcases/extension_types/initializers.dart:16:27: Error: 'nonexisting' isn't an instance field of this class. |
| Class4(this.field, this.nonexisting); // Error |
| ^^^^^^^^^^^"; |
| return #this; |
| } |
| static extension-type-member method Class4|constructor#_#new#tearOff(core::int field, dynamic nonexisting) → self::Class4% /* erasure=core::int, declared=! */ |
| return self::Class4|constructor#(field, nonexisting); |
| static extension-type-member method Class5|constructor#_(core::int field) → self::Class5% /* erasure=core::int, declared=! */ { |
| lowered final self::Class5% /* erasure=core::int, declared=! */ #this = field; |
| return #this; |
| } |
| static extension-type-member method Class5|constructor#_#_#tearOff(core::int field) → self::Class5% /* erasure=core::int, declared=! */ |
| return self::Class5|constructor#_(field); |
| static extension-type-member method Class5|constructor#(core::int field) → self::Class5% /* erasure=core::int, declared=! */ { |
| lowered final self::Class5% /* erasure=core::int, declared=! */ #this = field; |
| final dynamic #t2 = invalid-expression "pkg/front_end/testcases/extension_types/initializers.dart:20:35: Error: 'field' was already initialized by this constructor. |
| Class5(this.field) : this.field = 42; // Error |
| ^"; |
| return #this; |
| } |
| static extension-type-member method Class5|constructor#_#new#tearOff(core::int field) → self::Class5% /* erasure=core::int, declared=! */ |
| return self::Class5|constructor#(field); |
| static extension-type-member method Class6|constructor#_(core::int field) → self::Class6% /* erasure=core::int, declared=! */ { |
| lowered final self::Class6% /* erasure=core::int, declared=! */ #this = field; |
| return #this; |
| } |
| static extension-type-member method Class6|constructor#_#_#tearOff(core::int field) → self::Class6% /* erasure=core::int, declared=! */ |
| return self::Class6|constructor#_(field); |
| static extension-type-member method Class6|constructor#(core::int field) → self::Class6% /* erasure=core::int, declared=! */ { |
| lowered final self::Class6% /* erasure=core::int, declared=! */ #this = field; |
| final dynamic #t3 = invalid-expression "pkg/front_end/testcases/extension_types/initializers.dart:24:29: Error: 'nonexisting' isn't an instance field of this class. |
| Class6(this.field) : this.nonexisting = 42; // Error |
| ^^^^^^^^^^^"; |
| return #this; |
| } |
| static extension-type-member method Class6|constructor#_#new#tearOff(core::int field) → self::Class6% /* erasure=core::int, declared=! */ |
| return self::Class6|constructor#(field); |