| library; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/records/access_through_type_variable.dart:7:45: Error: The getter '$3' isn't defined for the class '(int, String)'. |
| // Try correcting the name to the name of an existing getter, or defining a getter or field named '$3'. |
| // method1c<T extends (int, String)>(T t) => t.$3; // Error |
| // ^^ |
| // |
| // pkg/front_end/testcases/records/access_through_type_variable.dart:8:45: Error: The getter 'a' isn't defined for the class '(int, String)'. |
| // Try correcting the name to the name of an existing getter, or defining a getter or field named 'a'. |
| // method1d<T extends (int, String)>(T t) => t.a; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/records/access_through_type_variable.dart:12:49: Error: The getter '$2' isn't defined for the class '(int, {String a})'. |
| // Try correcting the name to the name of an existing getter, or defining a getter or field named '$2'. |
| // method2c<T extends (int, {String a})>(T t) => t.$2; // Error |
| // ^^ |
| // |
| // pkg/front_end/testcases/records/access_through_type_variable.dart:13:49: Error: The getter 'b' isn't defined for the class '(int, {String a})'. |
| // Try correcting the name to the name of an existing getter, or defining a getter or field named 'b'. |
| // method2d<T extends (int, {String a})>(T t) => t.b; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/records/access_through_type_variable.dart:17:58: Error: The getter '$3' isn't defined for the class '(int, String)'. |
| // Try correcting the name to the name of an existing getter, or defining a getter or field named '$3'. |
| // method3c<T extends (int, String), S extends T>(S t) => t.$3; // Error |
| // ^^ |
| // |
| // pkg/front_end/testcases/records/access_through_type_variable.dart:18:58: Error: The getter 'a' isn't defined for the class '(int, String)'. |
| // Try correcting the name to the name of an existing getter, or defining a getter or field named 'a'. |
| // method3d<T extends (int, String), S extends T>(S t) => t.a; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/records/access_through_type_variable.dart:23:30: Error: The getter '$3' isn't defined for the class '(int, String)'. |
| // Try correcting the name to the name of an existing getter, or defining a getter or field named '$3'. |
| // if (t is (int, String)) t.$3; // Error |
| // ^^ |
| // |
| // pkg/front_end/testcases/records/access_through_type_variable.dart:24:30: Error: The getter 'a' isn't defined for the class '(int, String)'. |
| // Try correcting the name to the name of an existing getter, or defining a getter or field named 'a'. |
| // if (t is (int, String)) t.a; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/records/access_through_type_variable.dart:28:33: Error: The getter '$2' isn't defined for the class '(int, {String a})'. |
| // Try correcting the name to the name of an existing getter, or defining a getter or field named '$2'. |
| // if (t is (int, {String a})) t.$2; // Error |
| // ^^ |
| // |
| // pkg/front_end/testcases/records/access_through_type_variable.dart:29:33: Error: The getter 'b' isn't defined for the class '(int, {String a})'. |
| // Try correcting the name to the name of an existing getter, or defining a getter or field named 'b'. |
| // if (t is (int, {String a})) t.b; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/records/access_through_type_variable.dart:35:30: Error: The getter '$3' isn't defined for the class '(int, String)'. |
| // Try correcting the name to the name of an existing getter, or defining a getter or field named '$3'. |
| // if (t is (int, String)) t.$3; // Error |
| // ^^ |
| // |
| // pkg/front_end/testcases/records/access_through_type_variable.dart:36:30: Error: The getter 'a' isn't defined for the class '(int, String)'. |
| // Try correcting the name to the name of an existing getter, or defining a getter or field named 'a'. |
| // if (t is (int, String)) t.a; // Error |
| // ^ |
| // |
| // pkg/front_end/testcases/records/access_through_type_variable.dart:40:33: Error: The getter '$2' isn't defined for the class '(int, {String a})'. |
| // Try correcting the name to the name of an existing getter, or defining a getter or field named '$2'. |
| // if (t is (int, {String a})) t.$2; // Error |
| // ^^ |
| // |
| // pkg/front_end/testcases/records/access_through_type_variable.dart:41:33: Error: The getter 'b' isn't defined for the class '(int, {String a})'. |
| // Try correcting the name to the name of an existing getter, or defining a getter or field named 'b'. |
| // if (t is (int, {String a})) t.b; // Error |
| // ^ |
| // |
| import self as self; |
| import "dart:core" as core; |
| |
| static method method1a<T extends (core::int, core::String)>(self::method1a::T t) → dynamic |
| return t.$1{core::int}; |
| static method method1b<T extends (core::int, core::String)>(self::method1b::T t) → dynamic |
| return t.$2{core::String}; |
| static method method1c<T extends (core::int, core::String)>(self::method1c::T t) → dynamic |
| return invalid-expression "pkg/front_end/testcases/records/access_through_type_variable.dart:7:45: Error: The getter '\$3' isn't defined for the class '(int, String)'. |
| Try correcting the name to the name of an existing getter, or defining a getter or field named '\$3'. |
| method1c<T extends (int, String)>(T t) => t.\$3; // Error |
| ^^" in t{<unresolved>}.$3; |
| static method method1d<T extends (core::int, core::String)>(self::method1d::T t) → dynamic |
| return invalid-expression "pkg/front_end/testcases/records/access_through_type_variable.dart:8:45: Error: The getter 'a' isn't defined for the class '(int, String)'. |
| Try correcting the name to the name of an existing getter, or defining a getter or field named 'a'. |
| method1d<T extends (int, String)>(T t) => t.a; // Error |
| ^" in t{<unresolved>}.a; |
| static method method2a<T extends (core::int, {required a: core::String})>(self::method2a::T t) → dynamic |
| return t.$1{core::int}; |
| static method method2b<T extends (core::int, {required a: core::String})>(self::method2b::T t) → dynamic |
| return t.a{core::String}; |
| static method method2c<T extends (core::int, {required a: core::String})>(self::method2c::T t) → dynamic |
| return invalid-expression "pkg/front_end/testcases/records/access_through_type_variable.dart:12:49: Error: The getter '\$2' isn't defined for the class '(int, {String a})'. |
| Try correcting the name to the name of an existing getter, or defining a getter or field named '\$2'. |
| method2c<T extends (int, {String a})>(T t) => t.\$2; // Error |
| ^^" in t{<unresolved>}.$2; |
| static method method2d<T extends (core::int, {required a: core::String})>(self::method2d::T t) → dynamic |
| return invalid-expression "pkg/front_end/testcases/records/access_through_type_variable.dart:13:49: Error: The getter 'b' isn't defined for the class '(int, {String a})'. |
| Try correcting the name to the name of an existing getter, or defining a getter or field named 'b'. |
| method2d<T extends (int, {String a})>(T t) => t.b; // Error |
| ^" in t{<unresolved>}.b; |
| static method method3a<T extends (core::int, core::String), S extends self::method3a::T = (core::int, core::String)>(self::method3a::S t) → dynamic |
| return t.$1{core::int}; |
| static method method3b<T extends (core::int, core::String), S extends self::method3b::T = (core::int, core::String)>(self::method3b::S t) → dynamic |
| return t.$2{core::String}; |
| static method method3c<T extends (core::int, core::String), S extends self::method3c::T = (core::int, core::String)>(self::method3c::S t) → dynamic |
| return invalid-expression "pkg/front_end/testcases/records/access_through_type_variable.dart:17:58: Error: The getter '\$3' isn't defined for the class '(int, String)'. |
| Try correcting the name to the name of an existing getter, or defining a getter or field named '\$3'. |
| method3c<T extends (int, String), S extends T>(S t) => t.\$3; // Error |
| ^^" in t{<unresolved>}.$3; |
| static method method3d<T extends (core::int, core::String), S extends self::method3d::T = (core::int, core::String)>(self::method3d::S t) → dynamic |
| return invalid-expression "pkg/front_end/testcases/records/access_through_type_variable.dart:18:58: Error: The getter 'a' isn't defined for the class '(int, String)'. |
| Try correcting the name to the name of an existing getter, or defining a getter or field named 'a'. |
| method3d<T extends (int, String), S extends T>(S t) => t.a; // Error |
| ^" in t{<unresolved>}.a; |
| static method method1<T extends core::Object? = dynamic>(self::method1::T% t) → void { |
| if(t is (core::int, core::String)) |
| t{self::method1::T% & (core::int, core::String) /* '%' & '!' = '!' */}.$1{core::int}; |
| if(t is (core::int, core::String)) |
| t{self::method1::T% & (core::int, core::String) /* '%' & '!' = '!' */}.$2{core::String}; |
| if(t is (core::int, core::String)) |
| invalid-expression "pkg/front_end/testcases/records/access_through_type_variable.dart:23:30: Error: The getter '\$3' isn't defined for the class '(int, String)'. |
| Try correcting the name to the name of an existing getter, or defining a getter or field named '\$3'. |
| if (t is (int, String)) t.\$3; // Error |
| ^^" in t{self::method1::T% & (core::int, core::String) /* '%' & '!' = '!' */}{<unresolved>}.$3; |
| if(t is (core::int, core::String)) |
| invalid-expression "pkg/front_end/testcases/records/access_through_type_variable.dart:24:30: Error: The getter 'a' isn't defined for the class '(int, String)'. |
| Try correcting the name to the name of an existing getter, or defining a getter or field named 'a'. |
| if (t is (int, String)) t.a; // Error |
| ^" in t{self::method1::T% & (core::int, core::String) /* '%' & '!' = '!' */}{<unresolved>}.a; |
| if(t is (core::int, {required a: core::String})) |
| t{self::method1::T% & (core::int, {required a: core::String}) /* '%' & '!' = '!' */}.$1{core::int}; |
| if(t is (core::int, {required a: core::String})) |
| t{self::method1::T% & (core::int, {required a: core::String}) /* '%' & '!' = '!' */}.a{core::String}; |
| if(t is (core::int, {required a: core::String})) |
| invalid-expression "pkg/front_end/testcases/records/access_through_type_variable.dart:28:33: Error: The getter '\$2' isn't defined for the class '(int, {String a})'. |
| Try correcting the name to the name of an existing getter, or defining a getter or field named '\$2'. |
| if (t is (int, {String a})) t.\$2; // Error |
| ^^" in t{self::method1::T% & (core::int, {required a: core::String}) /* '%' & '!' = '!' */}{<unresolved>}.$2; |
| if(t is (core::int, {required a: core::String})) |
| invalid-expression "pkg/front_end/testcases/records/access_through_type_variable.dart:29:33: Error: The getter 'b' isn't defined for the class '(int, {String a})'. |
| Try correcting the name to the name of an existing getter, or defining a getter or field named 'b'. |
| if (t is (int, {String a})) t.b; // Error |
| ^" in t{self::method1::T% & (core::int, {required a: core::String}) /* '%' & '!' = '!' */}{<unresolved>}.b; |
| } |
| static method method2(core::Object t) → void { |
| if(t is (core::int, core::String)) |
| t{(core::int, core::String)}.$1{core::int}; |
| if(t is (core::int, core::String)) |
| t{(core::int, core::String)}.$2{core::String}; |
| if(t is (core::int, core::String)) |
| invalid-expression "pkg/front_end/testcases/records/access_through_type_variable.dart:35:30: Error: The getter '\$3' isn't defined for the class '(int, String)'. |
| Try correcting the name to the name of an existing getter, or defining a getter or field named '\$3'. |
| if (t is (int, String)) t.\$3; // Error |
| ^^" in t{(core::int, core::String)}{<unresolved>}.$3; |
| if(t is (core::int, core::String)) |
| invalid-expression "pkg/front_end/testcases/records/access_through_type_variable.dart:36:30: Error: The getter 'a' isn't defined for the class '(int, String)'. |
| Try correcting the name to the name of an existing getter, or defining a getter or field named 'a'. |
| if (t is (int, String)) t.a; // Error |
| ^" in t{(core::int, core::String)}{<unresolved>}.a; |
| if(t is (core::int, {required a: core::String})) |
| t{(core::int, {required a: core::String})}.$1{core::int}; |
| if(t is (core::int, {required a: core::String})) |
| t{(core::int, {required a: core::String})}.a{core::String}; |
| if(t is (core::int, {required a: core::String})) |
| invalid-expression "pkg/front_end/testcases/records/access_through_type_variable.dart:40:33: Error: The getter '\$2' isn't defined for the class '(int, {String a})'. |
| Try correcting the name to the name of an existing getter, or defining a getter or field named '\$2'. |
| if (t is (int, {String a})) t.\$2; // Error |
| ^^" in t{(core::int, {required a: core::String})}{<unresolved>}.$2; |
| if(t is (core::int, {required a: core::String})) |
| invalid-expression "pkg/front_end/testcases/records/access_through_type_variable.dart:41:33: Error: The getter 'b' isn't defined for the class '(int, {String a})'. |
| Try correcting the name to the name of an existing getter, or defining a getter or field named 'b'. |
| if (t is (int, {String a})) t.b; // Error |
| ^" in t{(core::int, {required a: core::String})}{<unresolved>}.b; |
| } |