@report_opt: MethodError: transform_result_for_cache is ambiguous

[nsajko]

Even trivial @report_opt calls fail (at least with nightly Julia).

julia> f() = 3
f (generic function with 1 method)

julia> @report_opt f()
ERROR: MethodError: transform_result_for_cache(::Core.Compiler.AbstractInterpreter, ::Core.MethodInstance, ::Core.Compiler.WorldRange, ::Any) is ambiguous.

Candidates:
  transform_result_for_cache(analyzer::JET.AbstractAnalyzer, linfo::Core.MethodInstance, valid_worlds::Core.Compiler.WorldRange, result::Core.Compiler.InferenceResult)
    @ JET ~/.julia/packages/JET/wMeAT/src/abstractinterpret/typeinfer.jl:442
  transform_result_for_cache(interp::Core.Compiler.AbstractInterpreter, linfo::Core.MethodInstance, valid_worlds::Core.Compiler.WorldRange, result::Core.Compiler.InferenceResult)
    @ Core.Compiler compiler/typeinfer.jl:353
To resolve the ambiguity, try making one of the methods more specific, or adding a new method more specific than any of the existing applicable methods.

Stacktrace:
  [1] transform_result_for_cache(analyzer::JET.OptAnalyzer{JET.OptAnalysisPass, typeof(JET.optanalyzer_function_filter)}, linfo::Core.MethodInstance, valid_worlds::Core.Compiler.WorldRange, result::Core.Compiler.InferenceResult)
    @ JET ~/.julia/packages/JET/wMeAT/src/abstractinterpret/typeinfer.jl:457
  [2] cache_result!(analyzer::JET.OptAnalyzer{JET.OptAnalysisPass, typeof(JET.optanalyzer_function_filter)}, result::Core.Compiler.InferenceResult)
    @ JET ~/.julia/packages/JET/wMeAT/src/abstractinterpret/typeinfer.jl:435
  [3] _typeinf(analyzer::JET.OptAnalyzer{JET.OptAnalysisPass, typeof(JET.optanalyzer_function_filter)}, frame::Core.Compiler.InferenceState)
    @ JET ~/.julia/packages/JET/wMeAT/src/abstractinterpret/typeinfer.jl:721
  [4] typeinf(interp::JET.OptAnalyzer{JET.OptAnalysisPass, typeof(JET.optanalyzer_function_filter)}, frame::Core.Compiler.InferenceState)
    @ Core.Compiler ./compiler/typeinfer.jl:215
  [5] typeinf(analyzer::JET.OptAnalyzer{JET.OptAnalysisPass, typeof(JET.optanalyzer_function_filter)}, frame::Core.Compiler.InferenceState)
    @ JET ~/.julia/packages/JET/wMeAT/src/abstractinterpret/typeinfer.jl:580
  [6] analyze_frame!
    @ ~/.julia/packages/JET/wMeAT/src/JET.jl:769 [inlined]
  [7] analyze_method_instance!(analyzer::JET.OptAnalyzer{JET.OptAnalysisPass, typeof(JET.optanalyzer_function_filter)}, mi::Core.MethodInstance; set_entry::Bool)
    @ JET ~/.julia/packages/JET/wMeAT/src/JET.jl:758
  [8] analyze_method_instance!
    @ ~/.julia/packages/JET/wMeAT/src/JET.jl:744 [inlined]
  [9] #analyze_method_signature!#119
    @ ~/.julia/packages/JET/wMeAT/src/JET.jl:741 [inlined]
 [10] analyze_method_signature!
    @ ~/.julia/packages/JET/wMeAT/src/JET.jl:739 [inlined]
 [11] #analyze_gf_by_type!#117
    @ ~/.julia/packages/JET/wMeAT/src/JET.jl:700 [inlined]
 [12] analyze_gf_by_type!
    @ ~/.julia/packages/JET/wMeAT/src/JET.jl:698 [inlined]
 [13] report_call(tt::Type{<:Tuple}; analyzer::Type{JET.OptAnalyzer}, source::Nothing, jetconfigs::Base.Pairs{Symbol, Union{}, Tuple{}, NamedTuple{(), Tuple{}}})
    @ JET ~/.julia/packages/JET/wMeAT/src/JET.jl:1317
 [14] report_call(f::Any, types::Any; jetconfigs::Base.Pairs{Symbol, UnionAll, Tuple{Symbol}, NamedTuple{(:analyzer,), Tuple{UnionAll}}})
    @ JET ~/.julia/packages/JET/wMeAT/src/JET.jl:1292
 [15] top-level scope
    @ REPL[26]:1

julia> versioninfo()
Julia Version 1.9.0-DEV.1308
Commit 4cf582eb880 (2022-09-07 11:18 UTC)
Platform Info:
  OS: Linux (x86_64-linux-gnu)
  CPU: 8 × AMD Ryzen 3 5300U with Radeon Graphics
  WORD_SIZE: 64
  LIBM: libopenlibm
  LLVM: libLLVM-14.0.5 (ORCJIT, znver2)
  Threads: 3 on 8 virtual cores

[nsajko]

Fixed on JET#master