pkg/front_end/testcases/nnbd_mixed/issue41567.dart.textual_outline_modelled.expect

import 'issue41567_lib.dart';

class B extends A {}

class in1 extends out_Object implements B {}

class in2 extends B implements out_Object {}

class in3 extends out_int implements B {}

class in4 extends B implements out_int {}

main() {}