import 'nullable_supertypes.dart' as prefix;

class A {}

class B {}

class C {}

typedef AAlias = A?;
typedef BAlias = B?;
typedef CAlias = C?;
typedef TAlias<T> = T?;

class C1 extends AAlias {}

class C2 implements AAlias {}

class C3 = A with BAlias;
class C4 = A with B implements CAlias;

class C5 extends A with BAlias {}

mixin M1 on AAlias {}
mixin M2 on A, BAlias {}
mixin M3 on A implements BAlias {}

class D1 extends TAlias<A> {}

class D1a extends prefix.TAlias<A> {}

class D1b extends TAlias<prefix.A> {}

class D2 implements TAlias<A> {}

class D3 = A with TAlias<B>;
class D4 = A with B implements TAlias<C>;

class D5 extends A with TAlias<B> {}

mixin N1 on TAlias<A> {}
mixin N1a on prefix.TAlias<A> {}
mixin N1b on TAlias<prefix.A> {}
mixin N2 on A, TAlias<B> {}
mixin N3 on A implements TAlias<B> {}
main() {}