On Saturday, 28 December 2013 at 15:40:41 UTC, Dicebot wrote:
This is a solid approach and rationale behind trying to minimize warnings in D as much as possible (and potentially remove at all once standard lint-like tool will appear).
Not sure what "This" refers to, but if you can change semantics by adding a new function to a class without using it yourself, then you have potential for debugging hell when using large frameworks written by others. Therefore I dislike @disable, I thought it worked like a @forbid would.
Anything that directly impacts basic semantical correctness of program is business of compiler core.
Invariants should not impact correctness. They detect lack of correctness.
used only by lints may be useful but is not worth discussing until at least on such tool will mature.
The language/compiler should do the job of lint. Having a separate tool just makes IDE integration more troublesome and few programmers will bother with it.
