Preventing type instability from union nothing

[ChrisRackauckas]

@mkarikom

I’m still getting the hang of @code_warntype but it appears to be concerned that if k is 0 then the output array will have no rows, how do I tell the compiler that this will never happen?

The compiler splits unions of two so it’s perfect fine. That comes from the iterator.