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