{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"if"}]}
                        if bin_op == Rem {
                    if l == size.signed_int_min() && r == -1 {
                            throw_ub!(RemainderOverflow)