Closed alexcrichton closed 2 years ago
Looks like this was a copy/paste error when documenting the u64-to-i32x instruction.
u64-to-i32x
Looks like this was a copy/paste error when documenting the
u64-to-i32x
instruction.