{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":"),"}]}
            ),
                    .map(|obl| (obl.predicate, obl.cause.span)),
            ty::FnPtr(sig_tys, hdr) => match closure_kind {