{"ast_node_type":"variable","tokens":[{"end":45,"kind":"keyword","start":0,"text":"let"}]}
            let pretty_r = pretty_operand(r);
        AssertMessage::Overflow(BinOp::Shr, _, r) => {
            write!(writer, "\"attempt to shift right by `{{}}`, which would overflow\", {pretty_r}")