Type Alias $SpecialType<T, $O>

$SpecialType<T, $O>: 0 extends 1 & T
    ? $ResolveBranch<T, $O, [$Any, $Then]>
    : [T, unknown] extends [unknown, T]
        ? $ResolveBranch<T, $O, [$Unknown, $Then]>
        : [T, never] extends [never, T]
            ? $ResolveBranch<T, $O, [$Never, $Then]>
            : $ResolveBranch<T, $O, [$Else]>

🧰 type util

A type utility to handle special types: any, unknown, and never.