Function wasm::execution::get_address_offset

fn get_address_offset(value: Value) -> Option<u32>

Used for getting the offset of an address.

Related to the Active Elements

https://webassembly.github.io/spec/core/syntax/modules.html#element-segments

Since active elements need an offset given by a constant expression, in this case they can only be an i32 (which can be understood from either a Value::I32 - but since we don’t unbox the address of the reference, for us also a Value::Ref - or from a Global)