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