library;
//
// Problems in library:
//
// pkg/front_end/testcases/patterns/extension_object_pattern.dart:13:27: Error: The type 'int' is not exhaustively matched by the switch cases since it doesn't match 'int(getter: double())'.
// Try adding a wildcard pattern or cases that match 'int(getter: double())'.
// method2(int i) => switch (i) /* Error */ {
//                           ^
//
import self as self;
import "dart:core" as core;

extension Extension on core::int {
  get getter = self::Extension|get#getter;
}
static extension-member method Extension|get#getter(lowered final core::int #this) → core::num
  return #this;
static method method1(core::int i) → dynamic
  return block {
    core::int #t1;
    final synthesized core::int #0#0 = i;
    synthesized core::num #0#1;
    synthesized core::bool #0#1#isSet = false;
    #L1:
    {
      {
        hoisted core::num getter;
        if((#0#1#isSet ?{core::num} #0#1{core::num} : let final dynamic #t2 = #0#1#isSet = true in #0#1 = self::Extension|get#getter(#0#0)) is core::num) {
          getter = #0#1#isSet ?{core::num} #0#1{core::num} : let final dynamic #t3 = #0#1#isSet = true in #0#1 = self::Extension|get#getter(#0#0);
          #t1 = 0;
          break #L1;
        }
      }
    }
  } =>#t1;
static method method2(core::int i) → dynamic
  return block {
    core::int #t4;
    final synthesized core::int #0#0 = i;
    synthesized core::num #0#1;
    synthesized core::bool #0#1#isSet = false;
    #L2:
    {
      {
        hoisted core::int getter;
        if((#0#1#isSet ?{core::num} #0#1{core::num} : let final dynamic #t5 = #0#1#isSet = true in #0#1 = self::Extension|get#getter(#0#0)) is core::int) {
          getter = (#0#1#isSet ?{core::num} #0#1{core::num} : let final dynamic #t6 = #0#1#isSet = true in #0#1 = self::Extension|get#getter(#0#0)) as{Unchecked} core::int;
          #t4 = 0;
          break #L2;
        }
      }
    }
  } =>#t4;