pkg/front_end/testcases/extension_types/covariant_equals.dart.textual_outline_modelled.expect

class A {}

class B implements A {
  @override
  bool operator ==(covariant A other) {}
}

class C {}

extension type ET1(B b) implements A {}

extension type ET2(B b) implements ET1, B {}

void test() {}