Labelled @nogc Working With Inner Scopes

[Mike Parker]

On Monday, 30 August 2021 at 20:26:46 UTC, Benoît Dubreuil wrote:
>
>
> My question is:
>> In the source file `dummy.dummy.d`, why the first labelled 
>> attributes `@safe` and `@nogc` have no effect inside the 
>> struct's scope? In other words, why do I need to repeat 
>> labelled attributes statements in order to affect inner scopes?
>
> To test this, simply remove in `dummy.dummy.d` the *TODO* 
> comment and its following labelled attributes.

Attributes used to propagate into aggregate definitions, but it 
was changed a long time ago. I don't recall the reason why.