Why do you want a panic? Shift left. Overflow can be rejected at compile time for a price that you might be able to afford - generality. Just insist that the p

Why do you want a panic? Shift left. Overflow can be rejected at compile time for a price that you might be able to afford - generality. Just insist that the programmer prove that overflow can't occur, and reject programs where the programmer couldn't or wouldn't do this.