Type Alias _SomeExtend<TArray, Type, Options>

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