{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"self.delegate.push_verify("}]}
        self.delegate.push_verify(
            .param_or_placeholder_bound(Ty::new_placeholder(self.tcx, placeholder_ty));
            origin,