Another Transitive const solution

[Janice Caron]

On 09/04/2008, Alex Burton <alexibu at mac.com> wrote:
> I wonder how many lurkers like me are waiting for D 2.0s const system to be sorted out so that we can start using it.

Just curious, but what exactly are you waiting for? Are you waiting
for D2 to become stable (i.e. when D3 springs into existence)?



>  I think that transitive const is still useless to the compiler for optimisation purposes, and that has to be left for the pure specifier.

It's a simple chain of logic: pure functions require transitive
invariant; transitive invariant requires transitive const.