pkg/front_end/testcases/patterns/generic_extension_access.dart.textual_outline_modelled.expect

class A<T> extends J<T> {}

class I<T> {}

class J<T> extends I<T> {}

expect(expected, actual) {}

extension<T> on I<T> {
  num get member {}
}

int counter = 0;

main() {}

num method1(I<num> i) => switch (i) {
      I<num>(:var member) when member < 0 => member,
      I<int>(:var member) when member < 0 => member,
      I<num>(:var member) => -member,
    };

num method2(A<num> i) => switch (i) {
      I<num>(:int member) => member,
      J<num>(:double member) => member,
    };