{"ast_node_type":"function","tokens":[{"end":50,"kind":"keyword","start":0,"text":"pub"}]}
    pub fn replace_bound_vars<T: TypeFoldable<I>>(
    /// use a binding level above `universe_indices.len()`, we fail.
        infcx: &'a Infcx,