library /*isNonNullableByDefault*/;
//
// Problems in library:
//
// pkg/front_end/testcases/extension_types/simple_operator_resolution.dart:26:5: Error: The operator '~/' isn't defined for the class 'A'.
//  - 'A' is from 'pkg/front_end/testcases/extension_types/simple_operator_resolution.dart'.
// Try correcting the operator to an existing operator, or defining a '~/' operator.
//   a ~/ "foobar"; // Error.
//     ^^
//
// pkg/front_end/testcases/extension_types/simple_operator_resolution.dart:28:5: Error: The operator '*' isn't defined for the extension 'E'.
// Try correcting the operator to an existing operator, or defining a '*' operator.
//   e * "foobar"; // Error.
//     ^
//
// pkg/front_end/testcases/extension_types/simple_operator_resolution.dart:29:4: Error: The operator '[]' isn't defined for the extension 'E'.
// Try correcting the operator to an existing operator, or defining a '[]' operator.
//   e[0]; // Error.
//    ^
//
// pkg/front_end/testcases/extension_types/simple_operator_resolution.dart:30:4: Error: The operator '[]=' isn't defined for the extension 'E'.
// Try correcting the operator to an existing operator, or defining a '[]=' operator.
//   e[0] = "foobar"; // Error.
//    ^
//
// pkg/front_end/testcases/extension_types/simple_operator_resolution.dart:31:3: Error: The operator 'unary-' isn't defined for the extension 'E'.
// Try correcting the operator to an existing operator, or defining a 'unary-' operator.
//   -e; // Error.
//   ^
//
// pkg/front_end/testcases/extension_types/simple_operator_resolution.dart:33:5: Error: The operator '~/' isn't defined for the extension 'E'.
// Try correcting the operator to an existing operator, or defining a '~/' operator.
//   e ~/ "foobar"; // Error.
//     ^^
//
// pkg/front_end/testcases/extension_types/simple_operator_resolution.dart:35:6: Error: The operator '*' isn't defined for the extension 'ET'.
// Try correcting the operator to an existing operator, or defining a '*' operator.
//   et * "foobar"; // Error.
//      ^
//
// pkg/front_end/testcases/extension_types/simple_operator_resolution.dart:36:5: Error: The operator '[]' isn't defined for the extension 'ET'.
// Try correcting the operator to an existing operator, or defining a '[]' operator.
//   et[0]; // Error.
//     ^
//
// pkg/front_end/testcases/extension_types/simple_operator_resolution.dart:37:5: Error: The operator '[]=' isn't defined for the extension 'ET'.
// Try correcting the operator to an existing operator, or defining a '[]=' operator.
//   et[0] = "foobar"; // Error.
//     ^
//
// pkg/front_end/testcases/extension_types/simple_operator_resolution.dart:38:3: Error: The operator 'unary-' isn't defined for the extension 'ET'.
// Try correcting the operator to an existing operator, or defining a 'unary-' operator.
//   -et; // Error.
//   ^
//
// pkg/front_end/testcases/extension_types/simple_operator_resolution.dart:39:6: Error: The operator '+' isn't defined for the extension 'ET'.
// Try correcting the operator to an existing operator, or defining a '+' operator.
//   et + "foobar"; // Error.
//      ^
//
import self as self;
import "dart:core" as core;

class A extends core::Object {
  synthetic constructor •() → self::A
    : super core::Object::•()
    ;
  operator *(dynamic other) → dynamic
    return 42;
  operator [](core::int index) → dynamic
    return 42;
  operator []=(core::int index, dynamic value) → void {}
  operator unary-() → dynamic
    return 42;
}
extension E on self::A {
  operator + = self::E|+;
}
extension type ET on self::A {
  operator ~/ = self::ET|~/;
}
static method E|+(lowered final self::A #this, dynamic other) → dynamic
  return 42;
static method ET|~/(lowered final self::A #this, dynamic other) → dynamic
  return 42;
static method test(self::A a, self::E e, self::ET et) → dynamic {
  a.{self::A::*}("foobar"){(dynamic) → dynamic};
  a.{self::A::[]}(0){(core::int) → dynamic};
  a.{self::A::[]=}(0, "foobar"){(core::int, dynamic) → void};
  a.{self::A::unary-}(){() → dynamic};
  self::E|+(a, "foobar");
  invalid-expression "pkg/front_end/testcases/extension_types/simple_operator_resolution.dart:26:5: Error: The operator '~/' isn't defined for the class 'A'.
 - 'A' is from 'pkg/front_end/testcases/extension_types/simple_operator_resolution.dart'.
Try correcting the operator to an existing operator, or defining a '~/' operator.
  a ~/ \"foobar\"; // Error.
    ^^";
  invalid-expression "pkg/front_end/testcases/extension_types/simple_operator_resolution.dart:28:5: Error: The operator '*' isn't defined for the extension 'E'.
Try correcting the operator to an existing operator, or defining a '*' operator.
  e * \"foobar\"; // Error.
    ^";
  invalid-expression "pkg/front_end/testcases/extension_types/simple_operator_resolution.dart:29:4: Error: The operator '[]' isn't defined for the extension 'E'.
Try correcting the operator to an existing operator, or defining a '[]' operator.
  e[0]; // Error.
   ^";
  invalid-expression "pkg/front_end/testcases/extension_types/simple_operator_resolution.dart:30:4: Error: The operator '[]=' isn't defined for the extension 'E'.
Try correcting the operator to an existing operator, or defining a '[]=' operator.
  e[0] = \"foobar\"; // Error.
   ^";
  invalid-expression "pkg/front_end/testcases/extension_types/simple_operator_resolution.dart:31:3: Error: The operator 'unary-' isn't defined for the extension 'E'.
Try correcting the operator to an existing operator, or defining a 'unary-' operator.
  -e; // Error.
  ^";
  self::E|+(e, "foobar");
  invalid-expression "pkg/front_end/testcases/extension_types/simple_operator_resolution.dart:33:5: Error: The operator '~/' isn't defined for the extension 'E'.
Try correcting the operator to an existing operator, or defining a '~/' operator.
  e ~/ \"foobar\"; // Error.
    ^^";
  invalid-expression "pkg/front_end/testcases/extension_types/simple_operator_resolution.dart:35:6: Error: The operator '*' isn't defined for the extension 'ET'.
Try correcting the operator to an existing operator, or defining a '*' operator.
  et * \"foobar\"; // Error.
     ^";
  invalid-expression "pkg/front_end/testcases/extension_types/simple_operator_resolution.dart:36:5: Error: The operator '[]' isn't defined for the extension 'ET'.
Try correcting the operator to an existing operator, or defining a '[]' operator.
  et[0]; // Error.
    ^";
  invalid-expression "pkg/front_end/testcases/extension_types/simple_operator_resolution.dart:37:5: Error: The operator '[]=' isn't defined for the extension 'ET'.
Try correcting the operator to an existing operator, or defining a '[]=' operator.
  et[0] = \"foobar\"; // Error.
    ^";
  invalid-expression "pkg/front_end/testcases/extension_types/simple_operator_resolution.dart:38:3: Error: The operator 'unary-' isn't defined for the extension 'ET'.
Try correcting the operator to an existing operator, or defining a 'unary-' operator.
  -et; // Error.
  ^";
  invalid-expression "pkg/front_end/testcases/extension_types/simple_operator_resolution.dart:39:6: Error: The operator '+' isn't defined for the extension 'ET'.
Try correcting the operator to an existing operator, or defining a '+' operator.
  et + \"foobar\"; // Error.
     ^";
  self::ET|~/(et, "foobar");
}
static method main() → dynamic {}