pkg/front_end/testcases/inference/issue61791.dart.textual_outline_modelled.expect

class A {}

class B extends A {}

extension type E1(A a) implements A {}

extension type E2(B b) implements B, E1 {}

test(E2 e) {}