{"ast_node_type":"variable","tokens":[{"end":78,"kind":"keyword","start":0,"text":"let"}]}
        let sig = tcx.fn_sig(callee_did).instantiate_identity().skip_binder();
        let tcx = self.infcx.tcx;
        let clauses = tcx.predicates_of(callee_did);