pkg/front_end/testcases/inference_update_2/abstract_field.dart.textual_outline.expect

abstract class C {
  abstract final int? _f1;
  abstract int? _f2;
}

class D {
  final int? _f1;
  final int? _f2;
  D(int i)
      : _f1 = i,
        _f2 = i;
}

void acceptsInt(int x) {}

void testAbstractFinalFieldIsPromotable(C c) {}

void testAbstractNonFinalFieldIsNotPromotable(C c) {}

void testAbstractFinalFieldDoesNotBlockPromotionElsewhere(D d) {}

void testAbstractNonFinalFieldBlocksPromotionElsewhere(D d) {}

main() {}