JuliaDebug/Cthulhu.jl

can't descend into opaque closures

Open

#162 opened on Jul 1, 2021

 (0 comments) (0 reactions) (0 assignees)Julia (46 forks)batch import
enhancementhelp wantedjulia features

Repository metrics

Stars
 (709 stars)
PR merge metrics
 (No merged PRs in 30d)

Description

For example:

julia> descend(Base.Experimental.@opaque(() -> 1), Tuple{})
ERROR: no unique matching method found for the specified argument types
Stacktrace:
  [1] error(s::String)
    @ Base ./error.jl:33
  [2] _which
    @ ./reflection.jl:1304 [inlined]
  [3] _which(tt::Type)
    @ Base ./reflection.jl:1298
  [4] get_specialization(TT::Any)
    @ Cthulhu ~/.julia/packages/Cthulhu/xWxSl/src/Cthulhu.jl:380
  [5] get_specialization(F::Any, TT::Any)
    @ Cthulhu ~/.julia/packages/Cthulhu/xWxSl/src/Cthulhu.jl:386
  [6] mkinterp(::Any, ::Vararg{Any})
    @ Cthulhu ~/.julia/packages/Cthulhu/xWxSl/src/Cthulhu.jl:391
  [7] _descend(::Any, ::Vararg{Any}; params::Core.Compiler.NativeInterpreter, kwargs::Base.Pairs{Symbol, Bool, Tuple{Symbol}, NamedTuple{(:iswarn,), Tuple{Bool}}})
    @ Cthulhu ~/.julia/packages/Cthulhu/xWxSl/src/Cthulhu.jl:397
  [8] _descend_with_error_handling(::Any, ::Vararg{Any}; kwargs::Base.Pairs{Symbol, V, Tuple{Vararg{Symbol, N}}, NamedTuple{names, T}} where {V, N, names, T<:Tuple{Vararg{Any, N}}})
    @ Cthulhu ~/.julia/packages/Cthulhu/xWxSl/src/Cthulhu.jl:134
  [9] #descend_code_typed#47
    @ ~/.julia/packages/Cthulhu/xWxSl/src/Cthulhu.jl:106 [inlined]
 [10] descend_code_typed(f::Function, tt::Any)
    @ Cthulhu ~/.julia/packages/Cthulhu/xWxSl/src/Cthulhu.jl:106
 [11] top-level scope
    @ REPL[51]:1

Contributor guide