Function build_visible_writes

src/diagnostics/undefined_variables.rs:554–578

Build the set of writes visible to the frame at `frame_idx` by walking up the parent chain. - **Arrow functions and catch blocks** inherit all writes visible to their parent, plus their own direct writes. - **Closures** see only their own direct writes (captures are already recorded as Write accesses by the scope collector). - **Outermost / function / method** frames see only their own direct wri

(
    frame_idx: usize,
    frames: &[crate::scope_collector::Frame],
    frame_own_writes: &[Vec<(&'a str, u32)>],
)

/// - **Outermost / function / method** frames see only their own
///   direct writes.
fn build_visible_writes<'a>(
    frame_idx: usize,
    frames: &[crate::scope_collector::Frame],
    frame_own_writes: &[Vec<(&'a str, u32)>],
) -> Vec<(&'a str, u32)> {
    let frame = &frames[frame_idx];
    let own = &frame_own_writes[frame_idx];

    match frame.kind {
        FrameKind::ArrowFunction | FrameKind::Catch => {
            // Inherit parent's visible writes, then add our own.
            let parent_writes = match find_parent_frame_idx(frame_idx, frames) {
                Some(parent_idx) => build_visible_writes(parent_idx, frames, frame_own_writes),
                None => Vec::new(),
            };
            let mut combined = parent_writes;
            combined.extend_from_slice(own);
            combined
        }
        _ => {
            // Closures, outermost, functions, methods: own writes only.
            own.clone()
        }
    }
}

// ─── Dynamic variable / extract detection ───────────────────────────────────