switch to using Cthulhu.InferredSource(::InferenceState) (#265)

* switch to using `Cthulhu.InferredSource(::InferenceState)`

* update Cthulhu compat bound

Author: aviatesk

Project.toml

@@ -20,7 +20,7 @@ AbstractDifferentiation = "0.5"
 ChainRules = "1.44.6"
 ChainRulesCore = "1.20"
 Combinatorics = "1"
-Cthulhu = "2"
+Cthulhu = "2.9.6"
 OffsetArrays = "1"
 PrecompileTools = "1"
 StaticArrays = "1"

src/Diffractor.jl

@@ -7,8 +7,6 @@ export ∂⃖, gradient
 
 const CC = Core.Compiler
 
-const GENERATORS = Expr[]
-
 @static if VERSION ≥ v"1.11.0-DEV.1498"
     import .CC: get_inference_world
     using Base: get_world_counter

src/stage2/interpreter.jl

@@ -287,11 +287,7 @@ end
 function CC.finish(state::InferenceState, interp::ADInterpreter)
     res = @invoke CC.finish(state::InferenceState, interp::AbstractInterpreter)
     key = CC.any(state.result.overridden_by_const) ? state.result : state.linfo
-    interp.unopt[interp.current_level][key] = Cthulhu.InferredSource(
-        copy(state.src),
-        copy(state.stmt_info),
-        state.ipo_effects,
-        state.result.result)
+    interp.unopt[interp.current_level][key] = Cthulhu.InferredSource(state)
     return res
 end