Don:
(By contrast, something like 'pure' is a very simple language feature: you just need to iterate over all the code that's marked pure, and generate an error if you find anything that isn't pure).
D "pure" has required several iterations, and the design of its details is not finished yet (see Bugzilla)...
Bye, bearophile
