{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"//"}]}
                // Remaining overflow errors are already covered by checks on the binary operators.
                }
                AssertKind::Overflow(..) | AssertKind::OverflowNeg(_) => return,