{"ast_node_type":"other","tokens":[{"end":92,"kind":"keyword","start":0,"text":"))"}]}
                                        )) = error.obligation.predicate.kind().skip_binder()
                                            pred,
                                    {