fn collect_cadence_writes<'gcx>(
gcx: Gcx<'gcx>,
stmts: impl IntoIterator<Item = &'gcx Stmt<'gcx>>,
cadence: &mut Vec<VariableId>,
other_writes: &mut Vec<VariableId>,
)fn collect_cadence_writes<'gcx>(
gcx: Gcx<'gcx>,
stmts: impl IntoIterator<Item = &'gcx Stmt<'gcx>>,
cadence: &mut Vec<VariableId>,
other_writes: &mut Vec<VariableId>,
)