{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"//"}]}
                            // -1`.
                            // Furthermore, for signed division, we also have to exclude `int::MIN /
                            if lhs_ty.is_signed() {