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