stop pirating size(::Type{Union{}})

[simeonschaub]

JET complained about this method when analyzing my package and it's a
fairly easy fix

[nsajko]

How about a test, for example this one:

function test_we_do_not_own_the_call(func, arg_types)
    function f(method)
        StaticArrays != parentmodule(method)
    end
    @test all(f, methods(func, arg_types))
end
 
@testset "type piracy" begin
    @testset "PR #1306: type piracy of `size`" begin
        test_we_do_not_own_the_call(size, Tuple{Type{Union{}}})
    end
end

[simeonschaub]

That's a good idea! Unfortunately there is still

StaticArrays.jl/src/abstractarray.jl

Line 4 in e23a2f5

size(::Type{SA}) where {SA <: StaticArrayLike} = Tuple(Size(SA))

which isn't that easy to fix. Arguably, length and size should not really be defined on types at all, but that is another discussion.

[mateuszbaran]

LGTM, thanks!

[mateuszbaran]

StaticArrayLike is just a union, so fixing it would also be doable.