Compiler hints, inlining and syntax consistency

[John Colvin]

On Saturday, 28 December 2013 at 13:03:30 UTC, Ola Fosheim 
Grøstad wrote:
> @disable and (@obsolete) etc can safely be ignored for a sound 
> program, it is a hint for the compiler to check the integrity 
> of the logic, but it does not affect the semantics of a sound 
> program. The same goes for unittests, pre conditions and post 
> conditions etc.

D has extensive compile-time introspection. If @disable was 
ignored it would change the result of some static if statements, 
including template constraints, changing the meaning of code. 
Even worse, this change could appear silently. The same goes for 
anything else that can be tested for at compile-time.