I suspect fencing instructions are quite a bit slower than this, involve more work and don't even cover every CPU. Branchless bounds checking and type checking

I suspect fencing instructions are quite a bit slower than this, involve more work and don't even cover every CPU. Branchless bounds checking and type checking with masking and pointer poisoning is probably what we are going to see in other languages too.