| library; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/records/issue50513.dart:7:11: Error: The getter '$00' 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 '$00'. |
| // print(r.$00); // Error. |
| // ^^^ |
| // |
| // pkg/front_end/testcases/records/issue50513.dart:8:11: Error: The getter '$0x0' 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 '$0x0'. |
| // print(r.$0x0); // Error. |
| // ^^^^ |
| // |
| // pkg/front_end/testcases/records/issue50513.dart:9:11: Error: The getter '$01' 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 '$01'. |
| // print(r.$01); // Error. |
| // ^^^ |
| // |
| // pkg/front_end/testcases/records/issue50513.dart:10:11: Error: The getter '$0x1' 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 '$0x1'. |
| // print(r.$0x1); // Error. |
| // ^^^^ |
| // |
| import self as self; |
| import "dart:core" as core; |
| |
| static method test() → dynamic { |
| (core::int, core::String) r = (0, "one"); |
| core::print(invalid-expression "pkg/front_end/testcases/records/issue50513.dart:7:11: Error: The getter '\$00' 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 '\$00'. |
| print(r.\$00); // Error. |
| ^^^" in r{<unresolved>}.$00); |
| core::print(invalid-expression "pkg/front_end/testcases/records/issue50513.dart:8:11: Error: The getter '\$0x0' 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 '\$0x0'. |
| print(r.\$0x0); // Error. |
| ^^^^" in r{<unresolved>}.$0x0); |
| core::print(invalid-expression "pkg/front_end/testcases/records/issue50513.dart:9:11: Error: The getter '\$01' 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 '\$01'. |
| print(r.\$01); // Error. |
| ^^^" in r{<unresolved>}.$01); |
| core::print(invalid-expression "pkg/front_end/testcases/records/issue50513.dart:10:11: Error: The getter '\$0x1' 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 '\$0x1'. |
| print(r.\$0x1); // Error. |
| ^^^^" in r{<unresolved>}.$0x1); |
| } |