@safe by default

[Atila Neves]

On Monday, 3 June 2024 at 11:08:36 UTC, Quirin Schroll wrote:
> On Thursday, 30 May 2024 at 18:35:36 UTC, Atila Neves wrote:
>> [...]
>
> Because of a lack of mangling, `extern(X)` where `X` isn’t `D` 
> shouldn’t ever be allowed to be annotated `@safe` unless it’s a 
> definition.
>
> [...]

I could see changing it to this; but what if it's writen in D and 
someone wants to use a .di file?