library /*isNonNullableByDefault*/;
//
// Problems in library:
//
// pkg/front_end/testcases/extensions/issue43218.dart:24:10: Error: The setter 'id' isn't defined for the class 'int'.
// Try correcting the name to the name of an existing setter, or defining a setter or field named 'id'.
//   Ext(c).id++;
//          ^^
//
import self as self;
import "dart:core" as core;

class C extends core::Object {
  field core::int value;
  constructor •() → self::C
    : self::C::value = 0, super core::Object::•() {}
  method init() → dynamic {
    this.{self::C::value} = 0;
  }
  get id() → core::int
    return this.{self::C::value}{core::int};
  set id(core::int v) → void {
    this.{self::C::value} = v;
  }
}
extension Ext on self::C {
  get id = self::Ext|get#id;
}
static method Ext|get#id(lowered final self::C #this) → core::int
  return #this.{self::C::value}{core::int}.{core::num::+}(1){(core::num) → core::int};
static method test() → dynamic {
  self::C c = new self::C::•();
  let final self::C #t1 = c in invalid-expression "pkg/front_end/testcases/extensions/issue43218.dart:24:10: Error: The setter 'id' isn't defined for the class 'int'.
Try correcting the name to the name of an existing setter, or defining a setter or field named 'id'.
  Ext(c).id++;
         ^^" in #t1{<unresolved>}.id = self::Ext|get#id(#t1).{core::num::+}(1){(core::num) → core::int};
}
static method main() → dynamic {}