Steven Schveighoffer:
But that solution isn't very good. At some point, the function *could* throw (I hope not), and then the forced nothrow will create silent bugs.
Walter has recently proposed optimizations for nothrow functions (like this: https://d.puremagic.com/issues/show_bug.cgi?id=12384 ). If nothrow is circumvented and the function throws, the program goes into undefined behavour at best. So I agree that those annotations should start from the ground up.
Bye, bearophile
