class A1<T> {}
typedef B1<T> = A1<T>;
class A2<T extends num> {}
typedef B2<T extends num> = A2<T>;
class A3<T extends List<dynamic>, S extends Never?> {}
typedef B3<T extends List<Object?>, S extends Null> = A3<T, S>;
class A4<T extends num> {}
typedef B4<T extends int> = A4<T>;
class A5<T extends List<dynamic>, S extends Never?> {}
typedef B5<T extends List<Object?>, S extends Null> = A5;
class StaticIdentityTest {
  const StaticIdentityTest(a, b) : assert(identical(a, b));
}
test1() => const StaticIdentityTest(A1.new, B1.new);
test2() => const StaticIdentityTest(A2.new, B2.new);
test3() => const StaticIdentityTest(A3.new, B3.new);
test4() => const StaticIdentityTest(A4.new, B4.new);
test5() => const StaticIdentityTest(A5.new, B5.new);
main() {}