Type Alias $Branch

$Branch: { $never: $Never }

Branch option to specifically handles the never type.

Use this to finely customize the behavior of your type.

Type declaration

type YourType<T, $Options $Never.$Options> = ...

type R = YourType<T, $Never.$Branch> extends $Never ? HandleNever : HandleOthers