{"ast_node_type":"variable","tokens":[{"end":61,"kind":"keyword","start":0,"text":"&&"}]}
            && let ExprKind::Block(block, _) = then_expr.kind
        if let ExprKind::Let(hir::LetExpr { span, pat, init, .. }) = cond_expr.kind
            // Refutability checks occur on the MIR, so we approximate it here by checking