Clarify expecations for valid `Val` parameters about julia HOT 5 OPEN

It's just that The only instance of the singleton type Core.Type{T} is the object T only holds for T <: Type. And ideally Core.Type would enforce that as a parametric constraint, but it doesn't. So we could improve the docs.

from julia.

Julia 1.10 also allows Type{Base}, previously an error. I suppose it follows the same rule but I don't know where that's documented.

from julia.

Modules were intentionally added as supported type parameters in #47749.

from julia.

The docstring for Type says

Core.Type is an abstract type which has all type objects as its instances. The only instance of the singleton type Core.Type{T} is the object T.

But that doesn't hold for modules:

julia> module Bar end
Main.Bar

julia> Bar isa Type{Bar}
false

It would be helpful to clarify the docstring for Type or make this behavior hold for modules

from julia.

Modules aren't types, so it's not going to be subtype of type.

from julia.