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,
};