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

typedef Test<contravariant T extends self::X> = (T?) → dynamic;
class X extends core::Object {
  synthetic constructor •() → self::X
    : super core::Object::•()
    ;
}
static method checkme<T extends self::X>(self::checkme::T? t) → dynamic {}
static method main() → dynamic {
  (self::X?) → dynamic t2 = #C1<self::X>;
}

constants  {
  #C1 = static-tearoff self::checkme
}

Extra constant evaluation status:
Evaluated: Instantiation @ org-dartlang-testcase:///issue42433.dart:11:16 -> InstantiationConstant(checkme<X>)
Extra constant evaluation: evaluated: 1, effectively constant: 1