Function analyze_assigned 

pub fn analyze_assigned(body: &Body, params: &[SmolStr]) -> AssignedAnalysis

Run definite-assignment over body’s top-level statements (recursing into if/for/while/ match blocks but not lambda bodies — those get a fresh scope and are left unchecked), seeded with the function’s params (always assigned).