julia> using LinearAlgebra

julia> D = Diagonal(1:400);

julia> B = Bidiagonal(1:400, 1:399, :U);

julia> @descend B * D
ERROR: UndefVarError: `MethodInfo` not defined in `Core.Compiler`
Suggestion: check for spelling errors or missing imports.
Stacktrace:
  [1] Core.Compiler.IRInterpretationState(interp::Cthulhu.CthulhuInterpreter, code::Core.CodeInstance, mi::Core.MethodInstance, argtypes::Vector{…}, world::UInt64)
    @ Cthulhu ~/.julia/packages/Cthulhu/7Nd1o/src/interpreter.jl:229
  [2] 
    @ Core.Compiler ./compiler/abstractinterpretation.jl:1266
  [3] 
    @ Core.Compiler ./compiler/abstractinterpretation.jl:897
  [4] abstract_call_method_with_const_args
    @ ./compiler/abstractinterpretation.jl:873 [inlined]
  [5] (::Core.Compiler.var"#handle1#abstract_call_gf_by_type##1"{…})(interp::Cthulhu.CthulhuInterpreter, sv::Core.Compiler.InferenceState)
    @ Core.Compiler ./compiler/abstractinterpretation.jl:106
  [6] doworkloop(interp::Cthulhu.CthulhuInterpreter, sv::Core.Compiler.InferenceState)
    @ Core.Compiler ./compiler/inferencestate.jl:1194
  [7] typeinf(interp::Cthulhu.CthulhuInterpreter, frame::Core.Compiler.InferenceState)
    @ Core.Compiler ./compiler/abstractinterpretation.jl:3793
  [8] do_typeinf!(interp::Cthulhu.CthulhuInterpreter, mi::Core.MethodInstance)
    @ Cthulhu ~/.julia/packages/Cthulhu/7Nd1o/src/Cthulhu.jl:844
  [9] mkinterp(interp::Core.Compiler.NativeInterpreter, args::Any)
    @ Cthulhu ~/.julia/packages/Cthulhu/7Nd1o/src/Cthulhu.jl:856
 [10] #_descend#112
    @ ~/.julia/packages/Cthulhu/7Nd1o/src/Cthulhu.jl:878 [inlined]
 [11] __descend_with_error_handling(args::Any; terminal::Any, kwargs...)
    @ Cthulhu ~/.julia/packages/Cthulhu/7Nd1o/src/Cthulhu.jl:263
 [12] top-level scope
    @ ~/.julia/packages/Cthulhu/7Nd1o/src/Cthulhu.jl:260
 [13] top-level scope
    @ ~/.julia/packages/Cthulhu/7Nd1o/src/Cthulhu.jl:252
 [14] top-level scope
    @ ~/.julia/packages/Cthulhu/7Nd1o/src/Cthulhu.jl:244
 [15] top-level scope
    @ ~/.julia/packages/Cthulhu/7Nd1o/src/Cthulhu.jl:306
 [16] top-level scope
    @ ~/.julia/packages/Cthulhu/7Nd1o/src/Cthulhu.jl:306
 [17] top-level scope
    @ REPL[4]:1
Some type information was truncated. Use `show(err)` to see complete types.

julia> versioninfo()
Julia Version 1.12.0-DEV.1294
Commit b9d9b691654 (2024-10-04 03:32 UTC)
Build Info:
  Official https://julialang.org release
Platform Info:
  OS: Linux (x86_64-linux-gnu)
  CPU: 12 × Intel(R) Core(TM) i7-10750H CPU @ 2.60GHz
  WORD_SIZE: 64
  LLVM: libLLVM-18.1.7 (ORCJIT, skylake)
Threads: 1 default, 0 interactive, 1 GC (on 12 virtual cores)
Environment:
  JULIA_EDITOR = subl

(@v1.12) pkg> st -m Cthulhu
Status `~/.julia/environments/v1.12/Manifest.toml`
  [f68482b8] Cthulhu v2.15.0

(@v1.12) pkg> st -m TypedSyntax
Status `~/.julia/environments/v1.12/Manifest.toml`
  [d265eb64] TypedSyntax v1.4.1