{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"BoundVarReplacer::replace_bound_vars(&**self.delegate,"}]}
        BoundVarReplacer::replace_bound_vars(&**self.delegate, universes, t).0
    ) -> T {
    }