|  | 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); | 
|  | } |