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