library;
//
// Problems in library:
//
// pkg/front_end/testcases/extensions/patch/main.dart:9:5: Error: The method 'method2' isn't defined for the class 'int'.
// Try correcting the name to the name of an existing method, or defining a method named 'method2'.
//   0.method2();
//     ^^^^^^^
//
import self as self;
import "dart:test" as test;

import "dart:test";

static method test() → dynamic {
  test::IntExtension|method1(0);
  invalid-expression "pkg/front_end/testcases/extensions/patch/main.dart:9:5: Error: The method 'method2' isn't defined for the class 'int'.
Try correcting the name to the name of an existing method, or defining a method named 'method2'.
  0.method2();
    ^^^^^^^" in 0{<unresolved>}.method2();
}

library;
//
// Problems in library:
//
// pkg/front_end/testcases/extensions/patch/origin_lib.dart:11:5: Error: The method 'method2' isn't defined for the class 'int'.
// Try correcting the name to the name of an existing method, or defining a method named 'method2'.
//   0.method2();
//     ^^^^^^^
//
import self as test;
import "dart:_internal" as _in;
import "dart:core" as core;

import "dart:_internal";

@#C1
extension IntExtension on core::int {
  method method2 = test::IntExtension|method2;
  method tearoff method2 = test::IntExtension|get#method2;
  method method1 = test::IntExtension|method1;
  method tearoff method1 = test::IntExtension|get#method1;
}
@#C1
static extension-member method /* from org-dartlang-testcase:///patch_lib.dart */ IntExtension|method1(lowered final core::int #this) → core::int
  return 42;
static extension-member method IntExtension|get#method1(lowered final core::int #this) → () → core::int
  return () → core::int => test::IntExtension|method1(#this);
static method method1() → dynamic {
  test::IntExtension|method1(0);
  invalid-expression "pkg/front_end/testcases/extensions/patch/origin_lib.dart:11:5: Error: The method 'method2' isn't defined for the class 'int'.
Try correcting the name to the name of an existing method, or defining a method named 'method2'.
  0.method2();
    ^^^^^^^" in 0{<unresolved>}.method2();
}
static extension-member method /* from org-dartlang-testcase:///patch_lib.dart */ IntExtension|method2(lowered final core::int #this) → core::int
  return 43;
static extension-member method /* from org-dartlang-testcase:///patch_lib.dart */ IntExtension|get#method2(lowered final core::int #this) → () → core::int
  return () → core::int => test::IntExtension|method2(#this);
static method /* from org-dartlang-testcase:///patch_lib.dart */ _method2() → dynamic {
  test::IntExtension|method1(0);
  test::IntExtension|method2(0);
}

constants  {
  #C1 = _in::_Patch {}
}