Use short <: printing when showing signatures

[Keno]

julia> f(x::Type{<:Any}) = 1
f (generic function with 1 method)

julia> first(methods(f))
f(x::Type{#s1} where #s1) in Main at REPL[4]:1

It would be nice to print the signature as

f(x::Type{<:Any}) in Main at REPL[4]:1

[visr]

Ah is this a different path than #23464?

[JeffBezanson]

Yes; that handled showing expressions, this is for showing the corresponding types themselves.

[o314]

For quick ref, those changes seem to come from #6984 and #20414

[laborg]

This has been implemented:

julia> f(x::Type{<:Any}) = 1
f (generic function with 1 method)

julia> first(methods(f))
f(x::Type)
     @ Main REPL[2]:1

julia> g(x::Type{<:Real}) = 1
g (generic function with 1 method)

julia> first(methods(g))
g(x::Type{<:Real})
     @ Main REPL[4]:1