src/typemap/src/datatype_conversion.rs:62-75
The validation in get_i32 is backwards. It returns the value when the upper 32 bits are non-zero (dirty input) and panics when they are zero (clean input).
The condition (arg & 0xFFFFFFFF_00000000) != 0 should be == 0.
src/typemap/src/datatype_conversion.rs:62-75The validation in
get_i32is backwards. It returns the value when the upper 32 bits are non-zero (dirty input) and panics when they are zero (clean input).The condition
(arg & 0xFFFFFFFF_00000000) != 0should be== 0.