Walter Bright:
The way to deal with this is to examine the implementation of CheckedInt, and design a couple of compiler intrinsics to use in its implementation that will eliminate the asm code.
OK, good. I didn't think of this option.
Using intrinsics deals with this issue nicely, as the optimizer knows about them.
OK.
The problem, as I see it, is nobody actually cares about this.
Maybe you are right. I think I have never said there is a lot of people caring about this in D :-)
Bye, bearophile