Options to specifically handles the never type.

type YourType<T, $Options extends $Never.$Options> = ...
interface Options {
    $array?: unknown;
    $emptyTuple?: unknown;
    $never?: unknown;
    $notMatch?: unknown;
    $unionNotMatch?: unknown;
    $widen?: unknown;
    widen?: boolean;
}

Hierarchy (View Summary)

Properties

$array?: unknown
$emptyTuple?: unknown
$never?: unknown
$notMatch?: unknown
$unionNotMatch?: unknown
$widen?: unknown
widen?: boolean