expected Core.Compiler.InferenceState, got a value of type Nothing

[oxinabox]

I don't have a MWE for this yet, but I have seen it a few times when descending through Diffractor code on nightly julia

 • %3 =  = < uncached > ∂☆recurse(::TangentBundle{…},::TangentBundle{…},::TangentBundle{…})::Any
   ↩
┌ Info: 
│ Inference didn't cache this call information because of imprecise analysis due to recursion:
└ Cthulhu nevertheless is trying to descend into it for further inspection.
ERROR: TypeError: in typeassert, expected Core.Compiler.InferenceState, got a value of type Nothing
Stacktrace:
  [1] do_typeinf!(interp::Cthulhu.CthulhuInterpreter, mi::Core.MethodInstance)
    @ Cthulhu ~/.julia/packages/Cthulhu/SWgb3/src/Cthulhu.jl:771
  [2] (::Cthulhu.var"#additional_descend#98"{…})(new_mi::Core.MethodInstance)
    @ Cthulhu ~/.julia/packages/Cthulhu/SWgb3/src/Cthulhu.jl:432
  [3] 
    @ Cthulhu ~/.julia/packages/Cthulhu/SWgb3/src/Cthulhu.jl:625
  [4] 
    @ Cthulhu ~/.julia/packages/Cthulhu/SWgb3/src/Cthulhu.jl:647
  [5] _descend(term::REPL.Terminals.TTYTerminal, interp::Cthulhu.CthulhuInterpreter, mi::Core.MethodInstance; kwargs::@Kwargs{…})
    @ Cthulhu ~/.julia/packages/Cthulhu/SWgb3/src/Cthulhu.jl:791
  [6] (::Cthulhu.var"#additional_descend#98"{…})(new_mi::Core.MethodInstance)
    @ Cthulhu ~/.julia/packages/Cthulhu/SWgb3/src/Cthulhu.jl:433
  [7] 
    @ Cthulhu ~/.julia/packages/Cthulhu/SWgb3/src/Cthulhu.jl:625
  [8] 
    @ Cthulhu ~/.julia/packages/Cthulhu/SWgb3/src/Cthulhu.jl:647
  [9] 
    @ Cthulhu ~/.julia/packages/Cthulhu/SWgb3/src/Cthulhu.jl:647
 [10] _descend(term::REPL.Terminals.TTYTerminal, interp::Cthulhu.CthulhuInterpreter, mi::Core.MethodInstance; kwargs::@Kwargs{…})
    @ Cthulhu ~/.julia/packages/Cthulhu/SWgb3/src/Cthulhu.jl:791
 [11] _descend(term::REPL.Terminals.TTYTerminal, args::Any; interp::Core.Compiler.NativeInterpreter, kwargs::@Kwargs{…})
    @ Cthulhu ~/.julia/packages/Cthulhu/SWgb3/src/Cthulhu.jl:807
 [12] __descend_with_error_handling(args::Any; terminal::Any, kwargs...)
    @ Cthulhu ~/.julia/packages/Cthulhu/SWgb3/src/Cthulhu.jl:222
 [13] _descend_with_error_handling(f::Any, argtypes::Any; kwargs::@Kwargs{iswarn::Bool})
    @ Cthulhu ~/.julia/packages/Cthulhu/SWgb3/src/Cthulhu.jl:211
 [14] descend_code_typed(::Any, ::Vararg{Any}; kwargs::@Kwargs{})
    @ Cthulhu ~/.julia/packages/Cthulhu/SWgb3/src/Cthulhu.jl:169
    ```

[vchuravy]

What's your version of Julia? If it's master it's likely a version of https://github.com/JuliaLang/julia/issues/53431

[oxinabox]

yeah something near to master

[simeonschaub]

Seems more useful to track this upstream