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

library;
//
// Problems in library:
//
// pkg/front_end/testcases/records/restricted_object_member_names.dart:5:6: Error: Record field names can't be the same as a member from 'Object'.
// (int hashCode,) foo1() => throw 0; // Error.
//      ^^^^^^^^
//
// pkg/front_end/testcases/records/restricted_object_member_names.dart:6:6: Error: Record field names can't be the same as a member from 'Object'.
// (int runtimeType,) foo2() => throw 0; // Error.
//      ^^^^^^^^^^^
//
// pkg/front_end/testcases/records/restricted_object_member_names.dart:7:6: Error: Record field names can't be the same as a member from 'Object'.
// (int noSuchMethod,) foo3() => throw 0; // Error.
//      ^^^^^^^^^^^^
//
// pkg/front_end/testcases/records/restricted_object_member_names.dart:8:6: Error: Record field names can't be the same as a member from 'Object'.
// (int toString,) foo4() => throw 0; // Error.
//      ^^^^^^^^
//
// pkg/front_end/testcases/records/restricted_object_member_names.dart:9:7: Error: Record field names can't be the same as a member from 'Object'.
// ({int hashCode}) foo5() => throw 0; // Error.
//       ^^^^^^^^
//
// pkg/front_end/testcases/records/restricted_object_member_names.dart:10:7: Error: Record field names can't be the same as a member from 'Object'.
// ({int runtimeType}) foo6() => throw 0; // Error.
//       ^^^^^^^^^^^
//
// pkg/front_end/testcases/records/restricted_object_member_names.dart:11:7: Error: Record field names can't be the same as a member from 'Object'.
// ({int noSuchMethod}) foo7() => throw 0; // Error.
//       ^^^^^^^^^^^^
//
// pkg/front_end/testcases/records/restricted_object_member_names.dart:12:7: Error: Record field names can't be the same as a member from 'Object'.
// ({int toString}) foo8() => throw 0; // Error.
//       ^^^^^^^^
//
// pkg/front_end/testcases/records/restricted_object_member_names.dart:13:12: Error: Record field names can't be the same as a member from 'Object'.
// foo9() => (hashCode: 1); // Error.
//            ^^^^^^^^
//
// pkg/front_end/testcases/records/restricted_object_member_names.dart:14:13: Error: Record field names can't be the same as a member from 'Object'.
// foo10() => (runtimeType: 1); // Error.
//             ^^^^^^^^^^^
//
// pkg/front_end/testcases/records/restricted_object_member_names.dart:15:13: Error: Record field names can't be the same as a member from 'Object'.
// foo11() => (noSuchMethod: 1); // Error.
//             ^^^^^^^^^^^^
//
// pkg/front_end/testcases/records/restricted_object_member_names.dart:16:13: Error: Record field names can't be the same as a member from 'Object'.
// foo12() => (toString: 1); // Error.
//             ^^^^^^^^
//
import self as self;
import "dart:core" as core;

static method foo1() → invalid-type
  return throw 0;
static method foo2() → invalid-type
  return throw 0;
static method foo3() → invalid-type
  return throw 0;
static method foo4() → invalid-type
  return throw 0;
static method foo5() → invalid-type
  return throw 0;
static method foo6() → invalid-type
  return throw 0;
static method foo7() → invalid-type
  return throw 0;
static method foo8() → invalid-type
  return throw 0;
static method foo9() → dynamic
  return ({hashCode: 1});
static method foo10() → dynamic
  return ({runtimeType: 1});
static method foo11() → dynamic
  return ({noSuchMethod: 1});
static method foo12() → dynamic
  return ({toString: 1});
static method main() → dynamic {}


Extra constant evaluation status:
Evaluated: RecordLiteral @ org-dartlang-testcase:///restricted_object_member_names.dart:13:11 -> RecordConstant(const ({hashCode: 1}))
Evaluated: RecordLiteral @ org-dartlang-testcase:///restricted_object_member_names.dart:14:12 -> RecordConstant(const ({runtimeType: 1}))
Evaluated: RecordLiteral @ org-dartlang-testcase:///restricted_object_member_names.dart:15:12 -> RecordConstant(const ({noSuchMethod: 1}))
Evaluated: RecordLiteral @ org-dartlang-testcase:///restricted_object_member_names.dart:16:12 -> RecordConstant(const ({toString: 1}))
Extra constant evaluation: evaluated: 12, effectively constant: 4