On 12/16/2011 1:41 PM, Timon Gehr wrote:
Adding a language construct that turns off the checking entirely (as you seem to suggest) is not at all better than having to create a few additional source files.
I also don't really see how turning off checking is even slightly more elegant than using a dirty cast.
The additional source file thing is best because it fits in with the guarantees of the language - it is not a hack nor does it require trust in the programmer to get it right. It's not going to have heisenbugs where it working or not depends on arbitrary link order.
