On 8/3/2012 1:48 PM, Alex Rønne Petersen wrote:
The problem here is that making invariants const *now* means that using them in conjunction with Phobos code becomes next to impossible. Casting away const will become common practice, and that ain't exactly the way we want to go. :/
Understood and agreed. Casting away const just to get the thing to compile, rather than correcting the code that throws the const-downcheck, is wasted effort (or worse, since it hides the problem.)
Perhaps make the invariant const-downcheck a compiler warning, with the understanding that it will become a compiler *error* in some future release? Kind of like an automatic "deprecated" for invariants re this issue?
