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.
