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*)
}