[mgyoo86]

The compile-time escape analysis treated every x = y node as an assignment, but = also appears in for heads, NamedTuple fields, and short-form f(x) = … definitions. That caused:

• false escape warnings and errors, including a precompile failure reported from FastInterpolations;
• one silent reuse of live pool memory;
• a few escapes that were never reported.

This PR makes the analysis respect those syntactic positions.

Fixed

• for k in pool_array: the element k was treated as a pool array.
• (; s, v) block tail: the guard rewrite produced invalid syntax, which failed precompilation.
• Short-form g(x) = (return …) nested in a scope: the return rewound the pool mid-scope (silent wrong result). Short-form defs also hit false PoolEscapeError / PoolMutationError, where long-form defs passed.
• NamedTuple field names ((n = v,)) were treated as variables.
• Missed escapes in function form: a (; v) tail, and acquire! wrapped in a literal or in identity, returned reused memory with no error.

Performance: no change. This is compile-time analysis only; acquire/rewind code is untouched.
Behavior: code that wrongly warned or errored now works. Function-form code that really escapes via (; v) or (acquire!(…), x) now raises PoolEscapeError.

@with_pool pool begin
    order = acquire!(pool, Int, n)
    contact = 0
    for k in order
        k == target && (contact = k)
    end
    (; contact)            # before: syntax error at expansion · after: works
end

@with_pool pool begin
    v = acquire!(pool, Float64, 3); v .= 1
    inc(x) = (return x + 1)
    n = inc(1)
    w = acquire!(pool, Float64, 3); w .= 2
    sum(v)                 # before: 6.0 (w reused v's memory) · after: 3.0
end

@with_pool pool function f(x)
    v = acquire!(pool, Float64, 3); v .= x
    (; v)                  # before: no error, returns reused memory · after: PoolEscapeError
end

Known limitation, documented: iterating a container variable (t = (v, w); for c in t) is not tracked at compile time. runtime_check = 1 catches it at scope exit.

Validated: the full suite passes on Julia 1.13 and 1.10, and test_compile_escape.jl passes on 1.11 and 1.12.

[codecov]

Codecov Report

❌ Patch coverage is 98.57143% with 1 line in your changes missing coverage. Please review.
✅ Project coverage is 96.22%. Comparing base (505cf00) to head (dac8d08).

Files with missing lines	Patch %	Lines
src/macros.jl	98.57%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master      #56      +/-   ##
==========================================
+ Coverage   96.14%   96.22%   +0.07%     
==========================================
  Files          17       17              
  Lines        3996     4054      +58     
==========================================
+ Hits         3842     3901      +59     
+ Misses        154      153       -1     

Files with missing lines	Coverage Δ
src/debug.jl	95.03% <ø> (ø)
src/macros.jl	97.61% <98.57%> (+0.14%)	⬆️

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.