{"ast_node_type":"other","tokens":[{"end":12,"kind":"keyword","start":0,"text":")"}]}
    ) -> T {
        universes: &mut Vec<Option<ty::UniverseIndex>>,
        BoundVarReplacer::replace_bound_vars(&**self.delegate, universes, t).0