pkg/front_end/testcases/inference/downward_inference_miscellaneous.dart.weak.outline.expect

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

typedef Function2<contravariant S extends core::Object? = dynamic, T extends core::Object? = dynamic> = (S%) → T%;
class A<T extends core::Object? = dynamic> extends core::Object {
  covariant-by-class field (self::A::T%) → self::A::T% x;
  constructor •((self::A::T%) → self::A::T% x) → self::A<self::A::T%>
    ;
}
static method main() → void
  ;