{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"obligation.predicate.kind().rebind("}]}
                obligation.predicate.kind().rebind(
                self.tcx,
                    // (*) binder moved here