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

typedef F = (<T extends Never = dynamic>(T) → void) → Never;
static method main() → void {
  core::print("Are ${#C1}, ${#C1} identical?");
  core::print(core::identical(#C1, #C1));
}

constants  {
  #C1 = TypeLiteralConstant((<T extends Never* = dynamic>(Never*) →* void) →* Never*)
}

Extra constant evaluation status:
Evaluated: StaticInvocation @ org-dartlang-testcase:///issue44857.dart:10:9 -> BoolConstant(true)
Extra constant evaluation: evaluated: 4, effectively constant: 1