diff --git a/arbitrator/jit/src/wavmio.rs b/arbitrator/jit/src/wavmio.rs index 3831d16c7..a040cab3b 100644 --- a/arbitrator/jit/src/wavmio.rs +++ b/arbitrator/jit/src/wavmio.rs @@ -140,9 +140,6 @@ fn inbox_message_impl(sp: &mut GoStack, inbox: &Inbox, name: &str) -> MaybeEscap 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}"),