pkg/front_end/testcases/records/issue50513.dart.strong.transformed.expect

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


Extra constant evaluation status:
Evaluated: RecordLiteral @ org-dartlang-testcase:///issue50513.dart:6:21 -> RecordConstant(const (0, "one"))
Extra constant evaluation: evaluated: 5, effectively constant: 1