status of D optimizers benefiting from contracts ?

[H. S. Teoh via Digitalmars-d-learn]

On Sun, Nov 09, 2014 at 02:45:29PM +0000, bearophile via Digitalmars-d-learn wrote:
> Laeeth Isharc:
> 
> >Walter Bright suggests that a supplementary benefit of using contrats
> >is helping the compiler make optimisations.
> 
> I think no D compilers do this, currently. And no one knows when such
> things will be added, if ever.
[...]

Walter *did* mention recently that he was planning to eventually take
advantage of information in assert()'s as optimizer hints. Not sure when
this will happen, though, but it seems inevitable at some point.


T

-- 
Nothing in the world is more distasteful to a man than to take the path that leads to himself. -- Herman Hesse