import 'field_promotion_and_no_such_method_lib.dart' as otherLib;

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

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

class E implements D {
  @override
  dynamic noSuchMethod(Invocation invocation) => super.noSuchMethod(invocation);
}

class F implements otherLib.C {
  @override
  dynamic noSuchMethod(Invocation invocation) => super.noSuchMethod(invocation);
}

void acceptsInt(int x) {}

void testConflictsWithNoSuchMethodForwarder(C c) {}

void testNoConflictWithNoSuchMethodForwarderForDifferentLib(C c) {}