Non-descript error in ExponentialUtilites

[sjkelly]

ExponentialUtilites has some high precomilation time, so I did a quick JET scan. However, the error is non-descript. I tried to get some granularity be interleaving report_file, but then the error disappears.

ExponentialUtilites.jl: https://github.com/SciML/ExponentialUtilities.jl/tree/d8b68072ca42739989388c9861234e7db04f6d9d
JET: v0.7.2
Julia 1.9-beta4

$ julia --project
               _
   _       _ _(_)_     |  Documentation: https://docs.julialang.org
  (_)     | (_) (_)    |
   _ _   _| |_  __ _   |  Type "?" for help, "]?" for Pkg help.
  | | | | | | |/ _` |  |
  | | |_| | | | (_| |  |  Version 1.9.0-beta4 (2023-02-07)
 _/ |\__'_|_|_|\__'_|  |  Official https://julialang.org/ release
|__/                   |


julia> using ExponentialUtilities

julia> using JET

julia> JET.report_package(ExponentialUtilities)
[toplevel-info] virtualized the context of Main (took 0.01 sec)
[toplevel-info] entered into /home/sjkelly/.julia/dev/ExponentialUtilities/src/ExponentialUtilities.jl
[toplevel-info] entered into /home/sjkelly/.julia/dev/ExponentialUtilities/src/exp.jl
[toplevel-info]  exited from /home/sjkelly/.julia/dev/ExponentialUtilities/src/exp.jl (took 0.029 sec)
[toplevel-info] entered into /home/sjkelly/.julia/dev/ExponentialUtilities/src/exp_baseexp.jl
[toplevel-info]  exited from /home/sjkelly/.julia/dev/ExponentialUtilities/src/exp_baseexp.jl (took 0.03 sec)
[toplevel-info] entered into /home/sjkelly/.julia/dev/ExponentialUtilities/src/exp_noalloc.jl
[toplevel-info] entered into /home/sjkelly/.julia/dev/ExponentialUtilities/src/exp_generated/exp_1.jl
[toplevel-info]  exited from /home/sjkelly/.julia/dev/ExponentialUtilities/src/exp_generated/exp_1.jl (took 0.004 sec)
[toplevel-info] entered into /home/sjkelly/.julia/dev/ExponentialUtilities/src/exp_generated/exp_2.jl
[toplevel-info]  exited from /home/sjkelly/.julia/dev/ExponentialUtilities/src/exp_generated/exp_2.jl (took 0.002 sec)
[toplevel-info] entered into /home/sjkelly/.julia/dev/ExponentialUtilities/src/exp_generated/exp_3.jl
[toplevel-info]  exited from /home/sjkelly/.julia/dev/ExponentialUtilities/src/exp_generated/exp_3.jl (took 0.002 sec)
[toplevel-info] entered into /home/sjkelly/.julia/dev/ExponentialUtilities/src/exp_generated/exp_4.jl
[toplevel-info]  exited from /home/sjkelly/.julia/dev/ExponentialUtilities/src/exp_generated/exp_4.jl (took 0.003 sec)
[toplevel-info] entered into /home/sjkelly/.julia/dev/ExponentialUtilities/src/exp_generated/exp_5.jl
[toplevel-info]  exited from /home/sjkelly/.julia/dev/ExponentialUtilities/src/exp_generated/exp_5.jl (took 0.003 sec)
[toplevel-info] entered into /home/sjkelly/.julia/dev/ExponentialUtilities/src/exp_generated/exp_6.jl
[toplevel-info]  exited from /home/sjkelly/.julia/dev/ExponentialUtilities/src/exp_generated/exp_6.jl (took 0.003 sec)
[toplevel-info] entered into /home/sjkelly/.julia/dev/ExponentialUtilities/src/exp_generated/exp_7.jl
[toplevel-info]  exited from /home/sjkelly/.julia/dev/ExponentialUtilities/src/exp_generated/exp_7.jl (took 0.004 sec)
[toplevel-info] entered into /home/sjkelly/.julia/dev/ExponentialUtilities/src/exp_generated/exp_8.jl
[toplevel-info]  exited from /home/sjkelly/.julia/dev/ExponentialUtilities/src/exp_generated/exp_8.jl (took 0.004 sec)
[toplevel-info] entered into /home/sjkelly/.julia/dev/ExponentialUtilities/src/exp_generated/exp_9.jl
[toplevel-info]  exited from /home/sjkelly/.julia/dev/ExponentialUtilities/src/exp_generated/exp_9.jl (took 0.004 sec)
[toplevel-info] entered into /home/sjkelly/.julia/dev/ExponentialUtilities/src/exp_generated/exp_10.jl
[toplevel-info]  exited from /home/sjkelly/.julia/dev/ExponentialUtilities/src/exp_generated/exp_10.jl (took 0.004 sec)
[toplevel-info] entered into /home/sjkelly/.julia/dev/ExponentialUtilities/src/exp_generated/exp_11.jl
[toplevel-info]  exited from /home/sjkelly/.julia/dev/ExponentialUtilities/src/exp_generated/exp_11.jl (took 0.004 sec)
[toplevel-info] entered into /home/sjkelly/.julia/dev/ExponentialUtilities/src/exp_generated/exp_12.jl
[toplevel-info]  exited from /home/sjkelly/.julia/dev/ExponentialUtilities/src/exp_generated/exp_12.jl (took 0.004 sec)
[toplevel-info] entered into /home/sjkelly/.julia/dev/ExponentialUtilities/src/exp_generated/exp_13.jl
[toplevel-info]  exited from /home/sjkelly/.julia/dev/ExponentialUtilities/src/exp_generated/exp_13.jl (took 0.004 sec)
[toplevel-info]  exited from /home/sjkelly/.julia/dev/ExponentialUtilities/src/exp_noalloc.jl (took 0.082 sec)
[toplevel-info] entered into /home/sjkelly/.julia/dev/ExponentialUtilities/src/exp_generic.jl
[toplevel-info]  exited from /home/sjkelly/.julia/dev/ExponentialUtilities/src/exp_generic.jl (took 0.09 sec)
[toplevel-info] entered into /home/sjkelly/.julia/dev/ExponentialUtilities/src/phi.jl
[toplevel-info] entered into /home/sjkelly/.julia/dev/ExponentialUtilities/src/arnoldi.jl
[toplevel-info] entered into /home/sjkelly/.julia/dev/ExponentialUtilities/src/krylov_phiv.jl
[toplevel-info]  exited from /home/sjkelly/.julia/dev/ExponentialUtilities/src/krylov_phiv.jl (took 0.039 sec)
[toplevel-info] entered into /home/sjkelly/.julia/dev/ExponentialUtilities/src/krylov_phiv_adaptive.jl
[toplevel-info]  exited from /home/sjkelly/.julia/dev/ExponentialUtilities/src/krylov_phiv_adaptive.jl (took 0.033 sec)
[toplevel-info] entered into /home/sjkelly/.julia/dev/ExponentialUtilities/src/kiops.jl
[toplevel-info]  exited from /home/sjkelly/.julia/dev/ExponentialUtilities/src/kiops.jl (took 0.021 sec)
[toplevel-info] entered into /home/sjkelly/.julia/dev/ExponentialUtilities/src/StegrWork.jl
[toplevel-info]  exited from /home/sjkelly/.julia/dev/ExponentialUtilities/src/StegrWork.jl (took 0.014 sec)
[toplevel-info] entered into /home/sjkelly/.julia/dev/ExponentialUtilities/src/krylov_phiv_error_estimate.jl
[toplevel-info]  exited from /home/sjkelly/.julia/dev/ExponentialUtilities/src/krylov_phiv_error_estimate.jl (took 0.028 sec)
[toplevel-info] entered into /home/sjkelly/.julia/dev/ExponentialUtilities/src/precompile.jl
[toplevel-info]  exited from /home/sjkelly/.julia/dev/ExponentialUtilities/src/precompile.jl (took 0.017 sec)
[toplevel-info]  exited from /home/sjkelly/.julia/dev/ExponentialUtilities/src/ExponentialUtilities.jl (took 0.911 sec)
═════ 2 toplevel errors found ═════
┌ @ /home/sjkelly/.julia/dev/ExponentialUtilities/src/ExponentialUtilities.jl:31 
│ AssertionError: free type variable left in toplevel_signatures
│ Stacktrace:
│  [1] collect_toplevel_signature!(interp::JET.ConcreteInterpreter{JET.var"#usemodule_with_err_handling#55"{JET.VirtualProcessResult, String, Base.PkgId, Set{Symbol}, Base.RefValue{LineNumberNode}, JET.var"#err_handler#48"{JET.VirtualProcessResult, String, Base.RefValue{LineNumberNode}}}, JET.JETAnalyzer{JET.BasicPass{typeof(JET.jetanalyzer_function_filter)}}, Union{Expr, Symbol}}, frame::JuliaInterpreter.Frame, node::Any)
│    @ JET ~/.julia/packages/JET/ZtKcU/src/toplevel/virtualprocess.jl:1166
│  [2] step_expr!(interp::JET.ConcreteInterpreter{JET.var"#usemodule_with_err_handling#55"{JET.VirtualProcessResult, String, Base.PkgId, Set{Symbol}, Base.RefValue{LineNumberNode}, JET.var"#err_handler#48"{JET.VirtualProcessResult, String, Base.RefValue{LineNumberNode}}}, JET.JETAnalyzer{JET.BasicPass{typeof(JET.jetanalyzer_function_filter)}}, Union{Expr, Symbol}}, frame::JuliaInterpreter.Frame, node::Any, istoplevel::Bool)
│    @ JET ~/.julia/packages/JET/ZtKcU/src/toplevel/virtualprocess.jl:1156
│  [3] step_expr!(recurse::Any, frame::JuliaInterpreter.Frame, istoplevel::Bool)
│    @ JuliaInterpreter ~/.julia/packages/JuliaInterpreter/fqebk/src/interpret.jl:596
│  [4] finish!(recurse::Any, frame::JuliaInterpreter.Frame, istoplevel::Bool)
│    @ JuliaInterpreter ~/.julia/packages/JuliaInterpreter/fqebk/src/commands.jl:14
│  [5] _virtual_process!(res::JET.VirtualProcessResult, toplevelex::Expr, filename::String, pkgid::Base.PkgId, analyzer::JET.JETAnalyzer{JET.BasicPass{typeof(JET.jetanalyzer_function_filter)}}, config::JET.ToplevelConfig{Union{Expr, Symbol}}, context::Module, force_concretize::Bool)
│    @ JET ~/.julia/packages/JET/ZtKcU/src/toplevel/virtualprocess.jl:779
│  [6] _virtual_process!
│    @ ~/.julia/packages/JET/ZtKcU/src/toplevel/virtualprocess.jl:579 [inlined]
└────────────────────────────────────────────────────────────────────────────────
┌ @ /home/sjkelly/.julia/dev/ExponentialUtilities/src/ExponentialUtilities.jl:32 
│ AssertionError: free type variable left in toplevel_signatures
│ Stacktrace:
│  [1] collect_toplevel_signature!(interp::JET.ConcreteInterpreter{JET.var"#usemodule_with_err_handling#55"{JET.VirtualProcessResult, String, Base.PkgId, Set{Symbol}, Base.RefValue{LineNumberNode}, JET.var"#err_handler#48"{JET.VirtualProcessResult, String, Base.RefValue{LineNumberNode}}}, JET.JETAnalyzer{JET.BasicPass{typeof(JET.jetanalyzer_function_filter)}}, Union{Expr, Symbol}}, frame::JuliaInterpreter.Frame, node::Any)
│    @ JET ~/.julia/packages/JET/ZtKcU/src/toplevel/virtualprocess.jl:1166
│  [2] step_expr!(interp::JET.ConcreteInterpreter{JET.var"#usemodule_with_err_handling#55"{JET.VirtualProcessResult, String, Base.PkgId, Set{Symbol}, Base.RefValue{LineNumberNode}, JET.var"#err_handler#48"{JET.VirtualProcessResult, String, Base.RefValue{LineNumberNode}}}, JET.JETAnalyzer{JET.BasicPass{typeof(JET.jetanalyzer_function_filter)}}, Union{Expr, Symbol}}, frame::JuliaInterpreter.Frame, node::Any, istoplevel::Bool)
│    @ JET ~/.julia/packages/JET/ZtKcU/src/toplevel/virtualprocess.jl:1156
│  [3] step_expr!(recurse::Any, frame::JuliaInterpreter.Frame, istoplevel::Bool)
│    @ JuliaInterpreter ~/.julia/packages/JuliaInterpreter/fqebk/src/interpret.jl:596
│  [4] finish!(recurse::Any, frame::JuliaInterpreter.Frame, istoplevel::Bool)
│    @ JuliaInterpreter ~/.julia/packages/JuliaInterpreter/fqebk/src/commands.jl:14
│  [5] _virtual_process!(res::JET.VirtualProcessResult, toplevelex::Expr, filename::String, pkgid::Base.PkgId, analyzer::JET.JETAnalyzer{JET.BasicPass{typeof(JET.jetanalyzer_function_filter)}}, config::JET.ToplevelConfig{Union{Expr, Symbol}}, context::Module, force_concretize::Bool)
│    @ JET ~/.julia/packages/JET/ZtKcU/src/toplevel/virtualprocess.jl:779
│  [6] _virtual_process!
│    @ ~/.julia/packages/JET/ZtKcU/src/toplevel/virtualprocess.jl:579 [inlined]
└────────────────────────────────────────────────────────────────────────────────