Type Alias _SomeExtend<TArray, Type, Options>

_SomeExtend: IfNotAnyOrNever<
    TArray,
    TArray extends readonly [infer First, ...(infer Rest)]
        ? IsNever<First> extends true
            ? Or<Or<IsNever<Type>, IsAny<Type>>, Not<Options["strictNever"]>> extends true
                ? true
                : _SomeExtend<Rest, Type, Options>
            : First extends Type ? true : _SomeExtend<Rest, Type, Options>
        : false,
    false,
    false,
>