Why D const is annoying

[bearophile]

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