{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":")"}]}
) -> Option<(ty::Clause<'tcx>, Span)> {
    clause: ty::Clause<'tcx>,
    let mut clause_ty = match clause.kind().skip_binder() {