> It's important to note that the cast warnings (or errors) are not enough on their own to help make code correct: additional auditing will be required. However

> It's important to note that the cast warnings (or errors) are not enough on their own to help make code correct: additional auditing will be required. However, at the very least, this will give programmers a good idea of where to start auditing their code [4]. Some people might choose not to adapt their code, or find it too difficult to do so, but my guess is that most people will choose to do so. I strongly doubt that most people would change their code for an ISA that barely exists.