| 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 |
