H. S. Teoh:
One area where I'd like const to be improved, though, is a way to indicate that const-ness depends on the arguments, specifically, on the behaviour of a delegate argument.
There was a long discussion about this, with proposals like @pure(compile_time_predicate) to define a conditional purity. But Walter decided for a simpler solutions, where the purity and "non-throwness" of templates is inferred.
Bye, bearophile