{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"//"}]}
            // with fresh vars.
            // placeholder lifetimes with probing, we just replace higher lifetimes
            let output = self.instantiate_binder_with_fresh_vars(