{"ast_node_type":"other","tokens":[{"end":11,"kind":"keyword","start":0,"text":")?;"}]}
        )?;
            CheckInAllocMsg::InboundsPointerArithmetic,
        // This also implies that there is no overflow, so we are done.