library /*isNonNullableByDefault*/;
//
// Problems in library:
//
// pkg/front_end/testcases/extension_types/simple_getter_resolution.dart:20:5: Error: The getter 'baz' isn't defined for the class 'A'.
//  - 'A' is from 'pkg/front_end/testcases/extension_types/simple_getter_resolution.dart'.
// Try correcting the name to the name of an existing getter, or defining a getter or field named 'baz'.
//   a.baz; // Error.
//     ^^^
//
// pkg/front_end/testcases/extension_types/simple_getter_resolution.dart:22:5: Error: The getter 'foo' isn't defined for the extension 'E'.
// Try correcting the name to the name of an existing getter, or defining a getter or field named 'foo'.
//   e.foo; // Error.
//     ^^^
//
// pkg/front_end/testcases/extension_types/simple_getter_resolution.dart:24:5: Error: The getter 'baz' isn't defined for the extension 'E'.
// Try correcting the name to the name of an existing getter, or defining a getter or field named 'baz'.
//   e.baz; // Error.
//     ^^^
//
// pkg/front_end/testcases/extension_types/simple_getter_resolution.dart:26:6: Error: The getter 'foo' isn't defined for the extension 'ET'.
// Try correcting the name to the name of an existing getter, or defining a getter or field named 'foo'.
//   et.foo; // Error.
//      ^^^
//
// pkg/front_end/testcases/extension_types/simple_getter_resolution.dart:27:6: Error: The getter 'bar' isn't defined for the extension 'ET'.
// Try correcting the name to the name of an existing getter, or defining a getter or field named 'bar'.
//   et.bar; // Error.
//      ^^^
//
import self as self;
import "dart:core" as core;

class A extends core::Object {
  synthetic constructor •() → self::A
    : super core::Object::•()
    ;
  get foo() → core::int
    return 42;
}
extension E on self::A {
  get bar = self::E|get#bar;
}
extension type ET on self::A {
  get baz = self::ET|get#baz;
}
static method E|get#bar(lowered final self::A #this) → core::double
  return 3.14;
static method ET|get#baz(lowered final self::A #this) → core::String
  return "baz";
static method test(self::A a, self::E e, self::ET et) → dynamic {
  a.{self::A::foo}{core::int};
  self::E|get#bar(a);
  invalid-expression "pkg/front_end/testcases/extension_types/simple_getter_resolution.dart:20:5: Error: The getter 'baz' isn't defined for the class 'A'.
 - 'A' is from 'pkg/front_end/testcases/extension_types/simple_getter_resolution.dart'.
Try correcting the name to the name of an existing getter, or defining a getter or field named 'baz'.
  a.baz; // Error.
    ^^^" in a{<unresolved>}.baz;
  invalid-expression "pkg/front_end/testcases/extension_types/simple_getter_resolution.dart:22:5: Error: The getter 'foo' isn't defined for the extension 'E'.
Try correcting the name to the name of an existing getter, or defining a getter or field named 'foo'.
  e.foo; // Error.
    ^^^" in e{<unresolved>}.foo;
  self::E|get#bar(e);
  invalid-expression "pkg/front_end/testcases/extension_types/simple_getter_resolution.dart:24:5: Error: The getter 'baz' isn't defined for the extension 'E'.
Try correcting the name to the name of an existing getter, or defining a getter or field named 'baz'.
  e.baz; // Error.
    ^^^" in e{<unresolved>}.baz;
  invalid-expression "pkg/front_end/testcases/extension_types/simple_getter_resolution.dart:26:6: Error: The getter 'foo' isn't defined for the extension 'ET'.
Try correcting the name to the name of an existing getter, or defining a getter or field named 'foo'.
  et.foo; // Error.
     ^^^" in et{<unresolved>}.foo;
  invalid-expression "pkg/front_end/testcases/extension_types/simple_getter_resolution.dart:27:6: Error: The getter 'bar' isn't defined for the extension 'ET'.
Try correcting the name to the name of an existing getter, or defining a getter or field named 'bar'.
  et.bar; // Error.
     ^^^" in et{<unresolved>}.bar;
  self::ET|get#baz(et);
}
static method main() → dynamic {}