diff --git a/arbitrator/jit/src/wavmio.rs b/arbitrator/jit/src/wavmio.rs index a398cb22f5..84ed1f7e8a 100644 --- a/arbitrator/jit/src/wavmio.rs +++ b/arbitrator/jit/src/wavmio.rs @@ -126,9 +126,6 @@ fn inbox_message_impl(sp: &GoStack, inbox: &Inbox, name: &str) -> MaybeEscape { None => error!("missing inbox message {msg_num} in {name}"), }; - if out_ptr + 32 > sp.memory_size() { - error!("unknown message type in {name}"); - } let offset = match u32::try_from(offset) { Ok(offset) => offset as usize, Err(_) => error!("bad offset {offset} in {name}"),