{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"//"}]}
                    // other overflow checks.
                    // Division overflow is *UB* in the MIR, and different than the
                    AssertKind::Overflow(*bin_op, eval_to_int(op1), eval_to_int(op2))