{"ast_node_type":"other","tokens":[{"end":12,"kind":"keyword","start":0,"text":"Assert"}]}
    Assert {
    /// - `Overflow(op, ..)` if op is add, sub, mul, shl, shr, but NOT div or rem.
        cond: Operand<'tcx>,