Julia 1.13 and `JET#master` compatibility

[kbarros]

Hi, is the JET#master branch intended to be compatible with Julia 1.13-rc1? When tried running the Sunny.jl tests I got errors as reported in #815 (comment). For example,

  TypeError: in typeassert, expected Compiler.InferenceState, got a value of type Compiler.IRInterpretationState
  Stacktrace:
     [1] typeinf
       @ ~/.julia/packages/JET/ZldSa/src/abstractinterpret/typeinfer.jl:321 [inlined]
     [2] const_prop_call(interp::JET.OptAnalyzer{Returns{Bool}}, mi::Core.MethodInstance, result::Compiler.MethodCallResult, arginfo::Compiler.ArgInfo, sv::Compiler.IRInterpretationState, concrete_eval_result::Nothing)
       @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:1354
     [3] const_prop_call
       @ ~/.julia/packages/JET/ZldSa/src/analyzers/optanalyzer.jl:190 [inlined]
     ...

It seems to be the same problem on both JET#master and @PatrickHaecker's julia-1.13-compat branch. Please let me know if I'm misunderstanding something about the expected JET behavior.

[PatrickHaecker]

A change is now included in #815 which might fix the problem.