Type alias FilterTupleUnknown<L>

FilterTupleUnknown<L>: L extends [infer H, ...(infer T)]
    ? H extends unknown[]
        ? T extends unknown[][]
            ? [NeverTupleUnknown<H>, ...FilterTupleUnknown<T>]
            : [NeverTupleUnknown<H>]
        : FilterTupleUnknown<T>
    : L

Filter out unknown[] types from a tuple by converting them to never[]