{"ast_node_type":"other","tokens":[{"end":27,"kind":"keyword","start":0,"text":"inbounds_size:"}]}
        inbounds_size: i64,
        /// The size of the memory range that was expected to be in-bounds.
        msg: CheckInAllocMsg,