On Saturday, 23 May 2020 at 10:55:40 UTC, Dukc wrote:
The more I think of Atila's and Walter's responses, the more they are starting to make sense.[snip]
In fact this former antipattern means that it'd make sense to have an inverse of `@trusted` attribute, lets say `@suspect`. It would mean that the body of the function is verified just like `@safe`, but calling it is allowed only within `@system` or `@trusted` code.