{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"BoundsCheck"}]}
            BoundsCheck { .. } => middle_bounds_check,
        match self {
            Overflow(BinOp::Shl, _, _) => middle_assert_shl_overflow,