{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"error.obligation.predicate.kind().rebind(pred),"}]}
                                error.obligation.predicate.kind().rebind(pred),
                                diag,
                            );