library /*isNonNullableByDefault*/;
import self as self;
import "dart:core" as core;

extension E1 on core::int show-types core::num {
}
extension E2 on core::int show-types core::num hide-methods core::int::ceil hide-getters core::int::ceil {
}
extension E3 on core::int hide-getters core::int::isEven {
}
extension type MyInt on core::int show-types core::num show-getters core::int::isEven hide-methods core::int::floor hide-getters core::int::floor {
  get twice = self::MyInt|get#twice;
}
static method test1(self::E1 e1) → dynamic
  ;
static method test2(self::E2 e2) → dynamic
  ;
static method test3(self::E3 e3) → dynamic
  ;
static method MyInt|get#twice(lowered final core::int #this) → core::int
  ;
static method test() → dynamic
  ;
static method main() → dynamic
  ;