DIP1028 - Rationale for accepting as is
Claude
claudemr at live.fr
Wed May 27 13:47:46 UTC 2020
On Wednesday, 27 May 2020 at 13:42:08 UTC, Andrej Mitrovic wrote:
> Is the actual problem those `@trusted:` declarations at the top
> of C headers?
>
> There could be a simple solution to that:
>
> Ban `@trusted:` and `@trusted { }` which apply to multiple
> symbols. Only allow `@trusted` to apply to a single symbol. For
IMO, it makes things worse. Because the careless programmer will
slap @trusted to every declaration (maybe with a script or
find/replace macro of his editor). So now, we don't know if the
annotation is greenwashing or careful examination of the
definition.
At least with "@trusted:" and "@trusted { }", the greenwashing is
obvious.
More information about the Digitalmars-d-announce
mailing list