Does the spec take priority over the compiler?

[Stanislav Blinov]

On Sunday, 16 December 2018 at 18:16:58 UTC, Neia Neutuladh wrote:

> The specific question here is whether attributes like @nogc 
> should propagate into nested declarations the same as @trusted 
> (as the spec says) or not (as the compiler implements).

On that topic specifically, I say no, @nogc shouldn't propagate. 
Unless we introduce a @nonogc. Because once you @nogc, you can't 
opt out.