definition throws error on (Pair{A, B})(a, b)

[Zentrik]

The method is defined as

@eval function (P::Type{Pair{A, B}})(@nospecialize(a), @nospecialize(b)) where {A, B}
    @inline
    return $(Expr(:new, :P, :(convert(A, a)), :(convert(B, b))))
end

(CodeTracking) julia> method = @which Pair{Int, Int}(1, 1)
Pair{A, B}(a, b) where {A, B}
     @ Base ~/.julia/juliaup/julia-1.9.2+0.x64.linux.gnu/share/julia/base/Base.jl:138

(CodeTracking) julia> definition(String, method)
ERROR: AssertionError: isexpr(wheretyp, :<:)
Stacktrace:
 [1] is_func_expr(ex::Any, meth::Method)
   @ CodeTracking /media/rag/NVME/Code/CodeTracking.jl/src/utils.jl:103
 [2] definition(#unused#::Type{String}, method::Method)
   @ CodeTracking /media/rag/NVME/Code/CodeTracking.jl/src/CodeTracking.jl:261
 [3] top-level scope
   @ REPL[208]:1

It seems like the problem is the fname is :(P::Type{Pair{A, B}}) at

CodeTracking.jl/src/utils.jl

Line 76 in 9db8d0e

fname = callex.args[1]

but is :Type at

CodeTracking.jl/src/utils.jl

Line 99 in 9db8d0e

if !(isa(fname, Symbol) && is_gensym(fname)) && !isexpr(fname, :$)

strip_gensym(meth.name) is :Pair.