Purity, @safety, etc., in generic code

[deadalnix]

On Saturday, 23 February 2013 at 06:15:38 UTC, Jonathan M Davis 
wrote:
> Which then makes it so that the function can't be pure. While 
> overloading on
> constness may be infrequently needed, we're definitely losing 
> something useful
> if we can't do it anymore.
>

Note that is const is considered to be mutable or immutable and 
do not mute immutable, then a mutable and immutable version of 
the function can be conflated into a const one (and a different 
entry in mutable/immutable objects).

This isn't much of a problem because mutable and immutable cannot 
convert to each other anyway.