Interpolated string with Any in @resumable fails after loading CSV

[Krastanov-agent]

edit from Stefan, the human: I have checked this bot report, it is real, it came up in a piece of code related to QuantumSavory.jl

Below is the bot-generated report:

---

This reproduces for me on Julia 1.12.5, ResumableFunctions master at 7fe93a0, and CSV 0.10.16:

using ResumableFunctions

const G = Ref{Any}(1.0)

@resumable function f()
    s = "Fidelity: $(G[])"
    @yield s
end

using CSV

collect(f())

This throws TypeError: in ##f_FSMI#..., expected ...<:String, got Type{Any}.

If using CSV is moved before the @resumable definition, it succeeds. s = string("Fidelity: ", G[])::String also succeeds.

[Krastanov-agent]

Guess: this looks like a method invalidation / inference change rather than a CSV-specific semantic issue. @resumable seems to record the slot for s = "Fidelity: $(G[])" as String when the FSM type is created, but after using CSV the same interpolation with G[]::Any gets inferred as Any, so FSMIGenerator later tries to instantiate the already-generated FSM type with a wider slot type and hits the expected ...<:String, got Type{Any} error instead of falling back.