pub fn analyze_scope(
body: &[Statement],
initialized: &[String],
) -> ScopeBindingsExpand description
Analyze a statement list (one generated scope). initialized names —
the parameters — hold values at entry, so any store into them needs a
mutable rebinding.