Type Alias _AllExtend<TArray, Type, Options>

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