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 20:01:49 UTC, Kagamin wrote:
> 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.

Ah, I see, but the error message is strange.