library /*isNonNullableByDefault*/;
import self as self;
import "dart:core" as core;

typedef F<invariant X extends core::Object? = dynamic> = (X%) → X%;
class A<T extends core::Object? = dynamic> extends core::Object {
  synthetic constructor •() → self::A<self::A::T%>
    : super core::Object::•()
    ;
}
class Class<T extends self::A<self::Class::T> = self::A<dynamic>> extends core::Object {
  synthetic constructor •() → self::Class<self::Class::T>
    : super core::Object::•()
    ;
}
static method method(self::Class<self::A<dynamic>> c1, self::Class<dynamic> c2) → dynamic {}
static method main() → dynamic {}