{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"infcx:"}]}
        infcx: &'a Infcx,
    pub fn replace_bound_vars<T: TypeFoldable<I>>(
        universe_indices: &'a mut Vec<Option<ty::UniverseIndex>>,