Update manual: Vararg{T,N} is not a type anymore

[fingolfin]

I used the term "special value" as that is used a few lines above.

Perhaps this could be backported to 1.6, to avoid confusion there, too?

[Keno]

I believe you pointed out that the same text is duplicated in the Vararg docstring in basedocs.jl and should be fixed there also.

[Keno]

Perhaps this could be backported to 1.6, to avoid confusion there, too?

1.6 does not include the change that made Vargarg not a type.

[mkitti]

Should Core.TypeofVararg be mentioned somewhere in the docs in case Vararg needs to be passed to a method?

I recently addressed this issue here:
https://github.com/JuliaPy/PyCall.jl/pull/877/files

[Keno]

That's generally just supposed to be spelled typeof(Vararg), but it's very much an internal detail.

[mkitti]

That's generally just supposed to be spelled typeof(Vararg), but it's very much an internal detail.

Would the intended way to define a function that accepts Vararg be g(::typeof(Vararg)) = 5 then?

[Keno]

Would the intended way to define a function that accepts Vararg be g(::typeof(Vararg)) = 5 then?

That is my preference, but opinions differ. More generally, maybe we should just have an expanded collection of reflection methods in base to avoid most uses for this. It's a bit unfortunate how widespread introspection of Vararg is across the package ecosystem.

[fingolfin]

I believe you pointed out that the same text is duplicated in the Vararg docstring in basedocs.jl and should be fixed there also.

Actually I wasn't aware of the docstring -- I was talking about the text a few lines above where I edited it :-). But sure, I can align it with the docstring, too.

[fingolfin]

I committed your suggestion, but I see the docstring indeed also needs tweaking, will try to take care of it.

[fingolfin]

Updated. I've also contemplated extending the example(s), but it either gets a bit long or a bit complicated...

julia> T1 = Tuple{AbstractString, Vararg};

julia> T2 = Tuple{AbstractString, Vararg{Int}};

julia> T3 = Tuple{AbstractString, Vararg{Int,2}};

julia> map(T -> isa(("1",), T), (T1, T2, T3))
(true, true, false)

julia> map(T -> isa(("1",1), T), (T1, T2, T3))
(true, true, false)

julia> map(T -> isa(("1",1,2), T), (T1, T2, T3))
(true, true, true)

julia> map(T -> isa(("1",1,2,3.), T), (T1, T2, T3))
(false, true, false)