TYPEDSIGNATURES gets confused with more than one type parameter about docstringextensions.jl HOT 6 CLOSED

cat test.jl
───────┬─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
       │ File: test.jl
───────┼─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
   1   │ using DocStringExtensions
   2   │
   3   │ """
   4   │ $TYPEDSIGNATURES
   5   │
   6   │ hello_world is a function
   7   │ """
   8   │ function hello_world(::Type{T}, s::AbstractString) where {T <: Number}
   9   │     @show T, s
  10   │     nothing
  11   │ end
  12   │
  13   │ println(@doc hello_world(Number, "hi"))
───────┴─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────

binding = hello_world
typesig = Union{Tuple{T}, Tuple{Type{T},AbstractString}} where T<:Number
modname = Main
func = hello_world

```julia
hello_world(?::T<:Number, s::T<:Number)

```

hello_world is a function

───────┬─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
       │ File: test.jl
───────┼─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
   1   │ using DocStringExtensions
   2   │
   3   │ """
   4   │ $TYPEDSIGNATURES
   5   │
   6   │ hello_world is a function
   7   │ """
   8   │ function hello_world(::Type{Number}, s::AbstractString)
   9   │     @show Number, s
  10   │     nothing
  11   │ end
  12   │
  13   │ println(@doc hello_world(Number, "hi"))
───────┴─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────

binding = hello_world
typesig = Tuple{Type{Number},AbstractString}
modname = Main
func = hello_world

```julia
hello_world(?::Type{Number}, s::AbstractString)

```

hello_world is a function

struct __CUSTOM__ end

function Docs.formatdoc(buffer, docstr, ::Type{__CUSTOM__})
    @show docstr.data[:typesig]
end


"""
hello_world is a function

$__CUSTOM__
"""
function hello_world(::Type{T}, s::AbstractString) where T <: Number
    @show Number, s
    nothing
end

println(@doc hello_world(Number, "hi"))

docstr.data[:typesig] = Union{Tuple{T}, Tuple{Type{T},AbstractString}} where T<:Number
hello_world is a function

julia> Base.Docs.signature(:(function foo end))
:(Union{})

julia> Base.Docs.signature(:(function foo(::Int) end))
:(Union{Tuple{Int}})

julia> Base.Docs.signature(:(function foo(::Vector{T}) where T <: Number end))
:(Union{Tuple{Vector{T}}, Tuple{T}} where T <: Number)

julia> function foo(::Int) end
foo (generic function with 1 method)

julia> function foo(::Vector{T}) where T <: Number end
foo (generic function with 2 methods)

julia> methods(foo)
# 2 methods for generic function "foo":
[1] foo(::Int64) in Main at REPL[4]:1
[2] foo(::Array{T,1}) where T<:Number in Main at REPL[10]:1

julia> methods(foo).ms[1].sig
Tuple{typeof(foo),Int64}

julia> methods(foo).ms[2].sig
Tuple{typeof(foo),Array{T,1}} where T<:Number