It turns out it's quite hard to have @safe pure nothrow functions. Oh, and const.

[Kagamin via Digitalmars-d]

On Saturday, 13 September 2014 at 18:36:53 UTC, Timon Gehr wrote:
> (But the situation needs to change in any case. The inout 
> delegate semantics DMD 2.066.0 implements cause type 
> unsoundness as explained here: 
> https://issues.dlang.org/show_bug.cgi?id=10850 .)

BTW, how the change manifests? Your examples show the qualifier 
is not really bound to the outermost function.