{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":".collect::<IndexVec<ProvidedIdx,"}]}
                    .collect::<IndexVec<ProvidedIdx, _>>();
                    .filter_map(|(j, arg)| if idx == j { None } else { Some(arg) })
                std::iter::zip(formal_and_expected_inputs.iter(), removed_arg_tys.iter()).all(