this() immutable

Jonathan M Davis jmdavisProg at gmx.com
Wed Oct 16 14:19:22 PDT 2013


On Wednesday, October 16, 2013 14:10:02 H. S. Teoh wrote:
> This is just a hack, of course. The compiler *should* be able to
> correctly infer that the ctor is pure. So the real fix is to find out
> why the compiler isn't doing that.

Because it sucks at attribute inference. The inference that it does right now 
is very shallow:

http://d.puremagic.com/issues/show_bug.cgi?id=10329

The compiler could use a considerable improvements with regards to how much 
inference it's doing for templated stuff. Without it, the attribute inference 
for Phobos is nowhere near good enough.

- Jonathan m Davis


More information about the Digitalmars-d-learn mailing list