DIP1028 - Rationale for accepting as is

[Adam D. Ruppe]

On Sunday, 24 May 2020 at 08:55:32 UTC, Walter Bright wrote:
> I can't see a practical difference between:
>
> @safe extern (C) void whatevs(parameters);
> @trusted extern (C) void whatevs(parameters);
>
> Both require that whatevs() provide a safe interface.

Remember that D has reflection. If we ever do a reflection check 
on these, @trusted stands out better there than @safe. Of course 
it could also just return null in reflection meaning "default 
applied" and that could be detected as well.

Otherwise it is the same, yes, but this reflection thing is a 
small nice benefit.