| library; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:39:7: Error: A value of type 'C' can't be assigned to a variable of type 'Object' because 'C' is nullable and 'Object' isn't. |
| // - 'Object' is from 'dart:core'. |
| // o = c; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:41:7: Error: A value of type 'D2' can't be assigned to a variable of type 'Object' because 'D2' is nullable and 'Object' isn't. |
| // - 'Object' is from 'dart:core'. |
| // o = d2; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:44:7: Error: A value of type 'G<T1>' can't be assigned to a variable of type 'Object' because 'G<T1>' is nullable and 'Object' isn't. |
| // - 'Object' is from 'dart:core'. |
| // o = g1; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:45:7: Error: A value of type 'G<T2>' can't be assigned to a variable of type 'Object' because 'G<T2>' is nullable and 'Object' isn't. |
| // - 'Object' is from 'dart:core'. |
| // o = g2; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:48:7: Error: A value of type 'Object' can't be assigned to a variable of type 'A'. |
| // - 'Object' is from 'dart:core'. |
| // - 'A' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| // a = o; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:51:7: Error: A value of type 'C' can't be assigned to a variable of type 'A'. |
| // - 'A' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| // a = c; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:52:7: Error: A value of type 'D' can't be assigned to a variable of type 'A'. |
| // - 'A' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| // a = d; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:55:7: Error: A value of type 'G<T1>' can't be assigned to a variable of type 'A'. |
| // - 'A' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| // a = g1; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:56:7: Error: A value of type 'G<T2>' can't be assigned to a variable of type 'A'. |
| // - 'A' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| // a = g2; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:58:7: Error: A value of type 'Object' can't be assigned to a variable of type 'B'. |
| // - 'Object' is from 'dart:core'. |
| // - 'B' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| // b = o; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:59:7: Error: A value of type 'A' can't be assigned to a variable of type 'B'. |
| // - 'A' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| // - 'B' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| // b = a; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:61:7: Error: A value of type 'C' can't be assigned to a variable of type 'B'. |
| // - 'B' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| // b = c; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:62:7: Error: A value of type 'D' can't be assigned to a variable of type 'B'. |
| // - 'B' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| // b = d; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:63:7: Error: A value of type 'E' can't be assigned to a variable of type 'B'. |
| // - 'B' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| // b = e; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:65:7: Error: A value of type 'G<T1>' can't be assigned to a variable of type 'B'. |
| // - 'B' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| // b = g1; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:66:7: Error: A value of type 'G<T2>' can't be assigned to a variable of type 'B'. |
| // - 'B' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| // b = g2; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:68:7: Error: A value of type 'Object' can't be assigned to a variable of type 'C'. |
| // - 'Object' is from 'dart:core'. |
| // c = o; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:69:7: Error: A value of type 'A' can't be assigned to a variable of type 'C'. |
| // - 'A' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| // c = a; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:70:7: Error: A value of type 'B' can't be assigned to a variable of type 'C'. |
| // - 'B' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| // c = b; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:72:7: Error: A value of type 'D' can't be assigned to a variable of type 'C'. |
| // c = d; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:73:7: Error: A value of type 'E' can't be assigned to a variable of type 'C'. |
| // c = e; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:74:7: Error: A value of type 'F' can't be assigned to a variable of type 'C'. |
| // c = f; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:75:7: Error: A value of type 'G<T1>' can't be assigned to a variable of type 'C'. |
| // c = g1; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:76:7: Error: A value of type 'G<T2>' can't be assigned to a variable of type 'C'. |
| // c = g2; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:78:7: Error: A value of type 'Object' can't be assigned to a variable of type 'D'. |
| // - 'Object' is from 'dart:core'. |
| // d = o; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:79:7: Error: A value of type 'A' can't be assigned to a variable of type 'D'. |
| // - 'A' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| // d = a; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:80:7: Error: A value of type 'B' can't be assigned to a variable of type 'D'. |
| // - 'B' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| // d = b; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:81:7: Error: A value of type 'C' can't be assigned to a variable of type 'D'. |
| // d = c; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:83:7: Error: A value of type 'E' can't be assigned to a variable of type 'D'. |
| // d = e; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:84:7: Error: A value of type 'F' can't be assigned to a variable of type 'D'. |
| // d = f; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:85:7: Error: A value of type 'G<T1>' can't be assigned to a variable of type 'D'. |
| // d = g1; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:86:7: Error: A value of type 'G<T2>' can't be assigned to a variable of type 'D'. |
| // d = g2; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:88:7: Error: A value of type 'Object' can't be assigned to a variable of type 'E'. |
| // - 'Object' is from 'dart:core'. |
| // e = o; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:89:7: Error: A value of type 'A' can't be assigned to a variable of type 'E'. |
| // - 'A' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| // e = a; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:90:7: Error: A value of type 'B' can't be assigned to a variable of type 'E'. |
| // - 'B' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| // e = b; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:91:7: Error: A value of type 'C' can't be assigned to a variable of type 'E'. |
| // e = c; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:92:7: Error: A value of type 'D' can't be assigned to a variable of type 'E'. |
| // e = d; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:95:7: Error: A value of type 'G<T1>' can't be assigned to a variable of type 'E'. |
| // e = g1; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:96:7: Error: A value of type 'G<T2>' can't be assigned to a variable of type 'E'. |
| // e = g2; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:98:7: Error: A value of type 'Object' can't be assigned to a variable of type 'F'. |
| // - 'Object' is from 'dart:core'. |
| // f = o; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:99:7: Error: A value of type 'A' can't be assigned to a variable of type 'F'. |
| // - 'A' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| // f = a; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:100:7: Error: A value of type 'B' can't be assigned to a variable of type 'F'. |
| // - 'B' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| // f = b; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:101:7: Error: A value of type 'C' can't be assigned to a variable of type 'F'. |
| // f = c; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:102:7: Error: A value of type 'D' can't be assigned to a variable of type 'F'. |
| // f = d; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:103:7: Error: A value of type 'E' can't be assigned to a variable of type 'F'. |
| // f = e; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:105:7: Error: A value of type 'G<T1>' can't be assigned to a variable of type 'F'. |
| // f = g1; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:106:7: Error: A value of type 'G<T2>' can't be assigned to a variable of type 'F'. |
| // f = g2; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:108:8: Error: A value of type 'Object' can't be assigned to a variable of type 'G<T1>'. |
| // - 'Object' is from 'dart:core'. |
| // g1 = o; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:109:8: Error: A value of type 'A' can't be assigned to a variable of type 'G<T1>'. |
| // - 'A' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| // g1 = a; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:110:8: Error: A value of type 'B' can't be assigned to a variable of type 'G<T1>'. |
| // - 'B' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| // g1 = b; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:111:8: Error: A value of type 'C' can't be assigned to a variable of type 'G<T1>'. |
| // g1 = c; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:112:8: Error: A value of type 'D' can't be assigned to a variable of type 'G<T1>'. |
| // g1 = d; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:113:8: Error: A value of type 'E' can't be assigned to a variable of type 'G<T1>'. |
| // g1 = e; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:114:8: Error: A value of type 'F' can't be assigned to a variable of type 'G<T1>'. |
| // g1 = f; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:116:8: Error: A value of type 'G<T2>' can't be assigned to a variable of type 'G<T1>'. |
| // g1 = g2; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:118:8: Error: A value of type 'Object' can't be assigned to a variable of type 'G<T2>'. |
| // - 'Object' is from 'dart:core'. |
| // g2 = o; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:119:8: Error: A value of type 'A' can't be assigned to a variable of type 'G<T2>'. |
| // - 'A' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| // g2 = a; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:120:8: Error: A value of type 'B' can't be assigned to a variable of type 'G<T2>'. |
| // - 'B' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| // g2 = b; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:121:8: Error: A value of type 'C' can't be assigned to a variable of type 'G<T2>'. |
| // g2 = c; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:122:8: Error: A value of type 'D' can't be assigned to a variable of type 'G<T2>'. |
| // g2 = d; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:123:8: Error: A value of type 'E' can't be assigned to a variable of type 'G<T2>'. |
| // g2 = e; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:124:8: Error: A value of type 'F' can't be assigned to a variable of type 'G<T2>'. |
| // g2 = f; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/assign_interface_type.dart:125:8: Error: A value of type 'G<T1>' can't be assigned to a variable of type 'G<T2>'. |
| // g2 = g1; // Error |
| // ^ |
| // |
| import self as self; |
| import "dart:core" as core; |
| |
| class A extends core::Object { |
| synthetic constructor •() → self::A |
| : super core::Object::•() |
| ; |
| } |
| class B extends self::A { |
| synthetic constructor •() → self::B |
| : super self::A::•() |
| ; |
| } |
| extension type C(core::Object? o) { |
| abstract extension-type-member representation-field get o() → core::Object?; |
| constructor • = self::C|constructor#; |
| constructor tearoff • = self::C|constructor#_#new#tearOff; |
| } |
| extension type D(core::Object o) implements core::Object { |
| abstract extension-type-member representation-field get o() → core::Object; |
| constructor • = self::D|constructor#; |
| constructor tearoff • = self::D|constructor#_#new#tearOff; |
| } |
| extension type D2(core::Object o) { |
| abstract extension-type-member representation-field get o() → core::Object; |
| constructor • = self::D2|constructor#; |
| constructor tearoff • = self::D2|constructor#_#new#tearOff; |
| } |
| extension type E(self::B it) implements self::A { |
| abstract extension-type-member representation-field get it() → self::B; |
| constructor • = self::E|constructor#; |
| constructor tearoff • = self::E|constructor#_#new#tearOff; |
| } |
| extension type F(self::B it) implements self::E /* erasure=self::B */, self::B { |
| abstract extension-type-member representation-field get it() → self::B; |
| constructor • = self::F|constructor#; |
| constructor tearoff • = self::F|constructor#_#new#tearOff; |
| } |
| extension type G<T extends core::Object? = dynamic>(T% o) { |
| abstract extension-type-member representation-field get o() → T%; |
| constructor • = self::G|constructor#; |
| constructor tearoff • = self::G|constructor#_#new#tearOff; |
| } |
| extension type G2<T extends core::Object>(T o) implements core::Object { |
| abstract extension-type-member representation-field get o() → T; |
| constructor • = self::G2|constructor#; |
| constructor tearoff • = self::G2|constructor#_#new#tearOff; |
| } |
| static extension-type-member method C|constructor#(core::Object? o) → self::C% /* erasure=core::Object?, declared=! */ { |
| lowered final self::C% /* erasure=core::Object?, declared=! */ #this = o; |
| return #this; |
| } |
| static extension-type-member method C|constructor#_#new#tearOff(core::Object? o) → self::C% /* erasure=core::Object?, declared=! */ |
| return self::C|constructor#(o); |
| static extension-type-member method D|constructor#(core::Object o) → self::D /* erasure=core::Object */ { |
| lowered final self::D /* erasure=core::Object */ #this = o; |
| return #this; |
| } |
| static extension-type-member method D|constructor#_#new#tearOff(core::Object o) → self::D /* erasure=core::Object */ |
| return self::D|constructor#(o); |
| static extension-type-member method D2|constructor#(core::Object o) → self::D2% /* erasure=core::Object, declared=! */ { |
| lowered final self::D2% /* erasure=core::Object, declared=! */ #this = o; |
| return #this; |
| } |
| static extension-type-member method D2|constructor#_#new#tearOff(core::Object o) → self::D2% /* erasure=core::Object, declared=! */ |
| return self::D2|constructor#(o); |
| static extension-type-member method E|constructor#(self::B it) → self::E /* erasure=self::B */ { |
| lowered final self::E /* erasure=self::B */ #this = it; |
| return #this; |
| } |
| static extension-type-member method E|constructor#_#new#tearOff(self::B it) → self::E /* erasure=self::B */ |
| return self::E|constructor#(it); |
| static extension-type-member method F|constructor#(self::B it) → self::F /* erasure=self::B */ { |
| lowered final self::F /* erasure=self::B */ #this = it; |
| return #this; |
| } |
| static extension-type-member method F|constructor#_#new#tearOff(self::B it) → self::F /* erasure=self::B */ |
| return self::F|constructor#(it); |
| static extension-type-member method G|constructor#<T extends core::Object? = dynamic>(self::G|constructor#::T% o) → self::G<self::G|constructor#::T%>% /* erasure=self::G|constructor#::T%, declared=! */ { |
| lowered final self::G<self::G|constructor#::T%>% /* erasure=self::G|constructor#::T%, declared=! */ #this = o; |
| return #this; |
| } |
| static extension-type-member method G|constructor#_#new#tearOff<T extends core::Object? = dynamic>(self::G|constructor#_#new#tearOff::T% o) → self::G<self::G|constructor#_#new#tearOff::T%>% /* erasure=self::G|constructor#_#new#tearOff::T%, declared=! */ |
| return self::G|constructor#<self::G|constructor#_#new#tearOff::T%>(o); |
| static extension-type-member method G2|constructor#<T extends core::Object>(self::G2|constructor#::T o) → self::G2<self::G2|constructor#::T> /* erasure=self::G2|constructor#::T */ { |
| lowered final self::G2<self::G2|constructor#::T> /* erasure=self::G2|constructor#::T */ #this = o; |
| return #this; |
| } |
| static extension-type-member method G2|constructor#_#new#tearOff<T extends core::Object>(self::G2|constructor#_#new#tearOff::T o) → self::G2<self::G2|constructor#_#new#tearOff::T> /* erasure=self::G2|constructor#_#new#tearOff::T */ |
| return self::G2|constructor#<self::G2|constructor#_#new#tearOff::T>(o); |
| static method test<T1 extends core::Object? = dynamic, T2 extends self::A, T3 extends core::Object>(core::Object o, self::A a, self::B b, self::C% /* erasure=core::Object?, declared=! */ c, self::D /* erasure=core::Object */ d, self::D2% /* erasure=core::Object, declared=! */ d2, self::E /* erasure=self::B */ e, self::F /* erasure=self::B */ f, self::G<self::test::T1%>% /* erasure=self::test::T1%, declared=! */ g1, self::G<self::test::T2>% /* erasure=self::test::T2, declared=! */ g2, self::G2<self::test::T3> /* erasure=self::test::T3 */ g3) → dynamic { |
| o = o; |
| o = a; |
| o = b; |
| o = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:39:7: Error: A value of type 'C' can't be assigned to a variable of type 'Object' because 'C' is nullable and 'Object' isn't. |
| - 'Object' is from 'dart:core'. |
| o = c; // Error |
| ^" in c as{TypeError} core::Object; |
| o = d; |
| o = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:41:7: Error: A value of type 'D2' can't be assigned to a variable of type 'Object' because 'D2' is nullable and 'Object' isn't. |
| - 'Object' is from 'dart:core'. |
| o = d2; // Error |
| ^" in d2 as{TypeError} core::Object; |
| o = e; |
| o = f; |
| o = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:44:7: Error: A value of type 'G<T1>' can't be assigned to a variable of type 'Object' because 'G<T1>' is nullable and 'Object' isn't. |
| - 'Object' is from 'dart:core'. |
| o = g1; // Error |
| ^" in g1 as{TypeError} core::Object; |
| o = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:45:7: Error: A value of type 'G<T2>' can't be assigned to a variable of type 'Object' because 'G<T2>' is nullable and 'Object' isn't. |
| - 'Object' is from 'dart:core'. |
| o = g2; // Error |
| ^" in g2 as{TypeError} core::Object; |
| o = g3; |
| a = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:48:7: Error: A value of type 'Object' can't be assigned to a variable of type 'A'. |
| - 'Object' is from 'dart:core'. |
| - 'A' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| a = o; // Error |
| ^" in o as{TypeError} self::A; |
| a = a; |
| a = b; |
| a = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:51:7: Error: A value of type 'C' can't be assigned to a variable of type 'A'. |
| - 'A' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| a = c; // Error |
| ^" in c as{TypeError} self::A; |
| a = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:52:7: Error: A value of type 'D' can't be assigned to a variable of type 'A'. |
| - 'A' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| a = d; // Error |
| ^" in d as{TypeError} self::A; |
| a = e; |
| a = f; |
| a = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:55:7: Error: A value of type 'G<T1>' can't be assigned to a variable of type 'A'. |
| - 'A' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| a = g1; // Error |
| ^" in g1 as{TypeError} self::A; |
| a = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:56:7: Error: A value of type 'G<T2>' can't be assigned to a variable of type 'A'. |
| - 'A' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| a = g2; // Error |
| ^" in g2 as{TypeError} self::A; |
| b = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:58:7: Error: A value of type 'Object' can't be assigned to a variable of type 'B'. |
| - 'Object' is from 'dart:core'. |
| - 'B' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| b = o; // Error |
| ^" in o as{TypeError} self::B; |
| b = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:59:7: Error: A value of type 'A' can't be assigned to a variable of type 'B'. |
| - 'A' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| - 'B' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| b = a; // Error |
| ^" in a as{TypeError} self::B; |
| b = b; |
| b = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:61:7: Error: A value of type 'C' can't be assigned to a variable of type 'B'. |
| - 'B' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| b = c; // Error |
| ^" in c as{TypeError} self::B; |
| b = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:62:7: Error: A value of type 'D' can't be assigned to a variable of type 'B'. |
| - 'B' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| b = d; // Error |
| ^" in d as{TypeError} self::B; |
| b = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:63:7: Error: A value of type 'E' can't be assigned to a variable of type 'B'. |
| - 'B' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| b = e; // Error |
| ^" in e as{TypeError} self::B; |
| b = f; |
| b = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:65:7: Error: A value of type 'G<T1>' can't be assigned to a variable of type 'B'. |
| - 'B' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| b = g1; // Error |
| ^" in g1 as{TypeError} self::B; |
| b = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:66:7: Error: A value of type 'G<T2>' can't be assigned to a variable of type 'B'. |
| - 'B' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| b = g2; // Error |
| ^" in g2 as{TypeError} self::B; |
| c = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:68:7: Error: A value of type 'Object' can't be assigned to a variable of type 'C'. |
| - 'Object' is from 'dart:core'. |
| c = o; // Error |
| ^" in o as{TypeError} self::C% /* erasure=core::Object?, declared=! */; |
| c = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:69:7: Error: A value of type 'A' can't be assigned to a variable of type 'C'. |
| - 'A' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| c = a; // Error |
| ^" in a as{TypeError} self::C% /* erasure=core::Object?, declared=! */; |
| c = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:70:7: Error: A value of type 'B' can't be assigned to a variable of type 'C'. |
| - 'B' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| c = b; // Error |
| ^" in b as{TypeError} self::C% /* erasure=core::Object?, declared=! */; |
| c = c; |
| c = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:72:7: Error: A value of type 'D' can't be assigned to a variable of type 'C'. |
| c = d; // Error |
| ^" in d as{TypeError} self::C% /* erasure=core::Object?, declared=! */; |
| c = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:73:7: Error: A value of type 'E' can't be assigned to a variable of type 'C'. |
| c = e; // Error |
| ^" in e as{TypeError} self::C% /* erasure=core::Object?, declared=! */; |
| c = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:74:7: Error: A value of type 'F' can't be assigned to a variable of type 'C'. |
| c = f; // Error |
| ^" in f as{TypeError} self::C% /* erasure=core::Object?, declared=! */; |
| c = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:75:7: Error: A value of type 'G<T1>' can't be assigned to a variable of type 'C'. |
| c = g1; // Error |
| ^" in g1 as{TypeError} self::C% /* erasure=core::Object?, declared=! */; |
| c = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:76:7: Error: A value of type 'G<T2>' can't be assigned to a variable of type 'C'. |
| c = g2; // Error |
| ^" in g2 as{TypeError} self::C% /* erasure=core::Object?, declared=! */; |
| d = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:78:7: Error: A value of type 'Object' can't be assigned to a variable of type 'D'. |
| - 'Object' is from 'dart:core'. |
| d = o; // Error |
| ^" in o as{TypeError} self::D /* erasure=core::Object */; |
| d = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:79:7: Error: A value of type 'A' can't be assigned to a variable of type 'D'. |
| - 'A' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| d = a; // Error |
| ^" in a as{TypeError} self::D /* erasure=core::Object */; |
| d = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:80:7: Error: A value of type 'B' can't be assigned to a variable of type 'D'. |
| - 'B' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| d = b; // Error |
| ^" in b as{TypeError} self::D /* erasure=core::Object */; |
| d = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:81:7: Error: A value of type 'C' can't be assigned to a variable of type 'D'. |
| d = c; // Error |
| ^" in c as{TypeError} self::D /* erasure=core::Object */; |
| d = d; |
| d = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:83:7: Error: A value of type 'E' can't be assigned to a variable of type 'D'. |
| d = e; // Error |
| ^" in e as{TypeError} self::D /* erasure=core::Object */; |
| d = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:84:7: Error: A value of type 'F' can't be assigned to a variable of type 'D'. |
| d = f; // Error |
| ^" in f as{TypeError} self::D /* erasure=core::Object */; |
| d = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:85:7: Error: A value of type 'G<T1>' can't be assigned to a variable of type 'D'. |
| d = g1; // Error |
| ^" in g1 as{TypeError} self::D /* erasure=core::Object */; |
| d = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:86:7: Error: A value of type 'G<T2>' can't be assigned to a variable of type 'D'. |
| d = g2; // Error |
| ^" in g2 as{TypeError} self::D /* erasure=core::Object */; |
| e = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:88:7: Error: A value of type 'Object' can't be assigned to a variable of type 'E'. |
| - 'Object' is from 'dart:core'. |
| e = o; // Error |
| ^" in o as{TypeError} self::E /* erasure=self::B */; |
| e = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:89:7: Error: A value of type 'A' can't be assigned to a variable of type 'E'. |
| - 'A' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| e = a; // Error |
| ^" in a as{TypeError} self::E /* erasure=self::B */; |
| e = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:90:7: Error: A value of type 'B' can't be assigned to a variable of type 'E'. |
| - 'B' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| e = b; // Error |
| ^" in b as{TypeError} self::E /* erasure=self::B */; |
| e = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:91:7: Error: A value of type 'C' can't be assigned to a variable of type 'E'. |
| e = c; // Error |
| ^" in c as{TypeError} self::E /* erasure=self::B */; |
| e = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:92:7: Error: A value of type 'D' can't be assigned to a variable of type 'E'. |
| e = d; // Error |
| ^" in d as{TypeError} self::E /* erasure=self::B */; |
| e = e; |
| e = f; |
| e = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:95:7: Error: A value of type 'G<T1>' can't be assigned to a variable of type 'E'. |
| e = g1; // Error |
| ^" in g1 as{TypeError} self::E /* erasure=self::B */; |
| e = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:96:7: Error: A value of type 'G<T2>' can't be assigned to a variable of type 'E'. |
| e = g2; // Error |
| ^" in g2 as{TypeError} self::E /* erasure=self::B */; |
| f = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:98:7: Error: A value of type 'Object' can't be assigned to a variable of type 'F'. |
| - 'Object' is from 'dart:core'. |
| f = o; // Error |
| ^" in o as{TypeError} self::F /* erasure=self::B */; |
| f = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:99:7: Error: A value of type 'A' can't be assigned to a variable of type 'F'. |
| - 'A' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| f = a; // Error |
| ^" in a as{TypeError} self::F /* erasure=self::B */; |
| f = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:100:7: Error: A value of type 'B' can't be assigned to a variable of type 'F'. |
| - 'B' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| f = b; // Error |
| ^" in b as{TypeError} self::F /* erasure=self::B */; |
| f = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:101:7: Error: A value of type 'C' can't be assigned to a variable of type 'F'. |
| f = c; // Error |
| ^" in c as{TypeError} self::F /* erasure=self::B */; |
| f = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:102:7: Error: A value of type 'D' can't be assigned to a variable of type 'F'. |
| f = d; // Error |
| ^" in d as{TypeError} self::F /* erasure=self::B */; |
| f = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:103:7: Error: A value of type 'E' can't be assigned to a variable of type 'F'. |
| f = e; // Error |
| ^" in e as{TypeError} self::F /* erasure=self::B */; |
| f = f; |
| f = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:105:7: Error: A value of type 'G<T1>' can't be assigned to a variable of type 'F'. |
| f = g1; // Error |
| ^" in g1 as{TypeError} self::F /* erasure=self::B */; |
| f = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:106:7: Error: A value of type 'G<T2>' can't be assigned to a variable of type 'F'. |
| f = g2; // Error |
| ^" in g2 as{TypeError} self::F /* erasure=self::B */; |
| g1 = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:108:8: Error: A value of type 'Object' can't be assigned to a variable of type 'G<T1>'. |
| - 'Object' is from 'dart:core'. |
| g1 = o; // Error |
| ^" in o as{TypeError} Never; |
| g1 = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:109:8: Error: A value of type 'A' can't be assigned to a variable of type 'G<T1>'. |
| - 'A' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| g1 = a; // Error |
| ^" in a as{TypeError} Never; |
| g1 = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:110:8: Error: A value of type 'B' can't be assigned to a variable of type 'G<T1>'. |
| - 'B' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| g1 = b; // Error |
| ^" in b as{TypeError} Never; |
| g1 = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:111:8: Error: A value of type 'C' can't be assigned to a variable of type 'G<T1>'. |
| g1 = c; // Error |
| ^" in c as{TypeError} Never; |
| g1 = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:112:8: Error: A value of type 'D' can't be assigned to a variable of type 'G<T1>'. |
| g1 = d; // Error |
| ^" in d as{TypeError} Never; |
| g1 = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:113:8: Error: A value of type 'E' can't be assigned to a variable of type 'G<T1>'. |
| g1 = e; // Error |
| ^" in e as{TypeError} Never; |
| g1 = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:114:8: Error: A value of type 'F' can't be assigned to a variable of type 'G<T1>'. |
| g1 = f; // Error |
| ^" in f as{TypeError} Never; |
| g1 = g1; |
| g1 = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:116:8: Error: A value of type 'G<T2>' can't be assigned to a variable of type 'G<T1>'. |
| g1 = g2; // Error |
| ^" in g2 as{TypeError} Never; |
| g2 = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:118:8: Error: A value of type 'Object' can't be assigned to a variable of type 'G<T2>'. |
| - 'Object' is from 'dart:core'. |
| g2 = o; // Error |
| ^" in o as{TypeError} Never; |
| g2 = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:119:8: Error: A value of type 'A' can't be assigned to a variable of type 'G<T2>'. |
| - 'A' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| g2 = a; // Error |
| ^" in a as{TypeError} Never; |
| g2 = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:120:8: Error: A value of type 'B' can't be assigned to a variable of type 'G<T2>'. |
| - 'B' is from 'pkg/front_end/testcases/extension_types/assign_interface_type.dart'. |
| g2 = b; // Error |
| ^" in b as{TypeError} Never; |
| g2 = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:121:8: Error: A value of type 'C' can't be assigned to a variable of type 'G<T2>'. |
| g2 = c; // Error |
| ^" in c as{TypeError} Never; |
| g2 = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:122:8: Error: A value of type 'D' can't be assigned to a variable of type 'G<T2>'. |
| g2 = d; // Error |
| ^" in d as{TypeError} Never; |
| g2 = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:123:8: Error: A value of type 'E' can't be assigned to a variable of type 'G<T2>'. |
| g2 = e; // Error |
| ^" in e as{TypeError} Never; |
| g2 = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:124:8: Error: A value of type 'F' can't be assigned to a variable of type 'G<T2>'. |
| g2 = f; // Error |
| ^" in f as{TypeError} Never; |
| g2 = invalid-expression "pkg/front_end/testcases/extension_types/assign_interface_type.dart:125:8: Error: A value of type 'G<T1>' can't be assigned to a variable of type 'G<T2>'. |
| g2 = g1; // Error |
| ^" in g1 as{TypeError} Never; |
| g2 = g2; |
| } |
