On Sunday, 24 May 2020 at 05:43:45 UTC, Timon Gehr wrote:
@safe is advertised to give mechanical guarantees, where @trusted is a way for programmers to take responsibility for parts of the code. It is not advertised to be an unsound linter with pseudo-pragmatic trade-offs and implicit false negatives.
And turns back to my previous question, that Walter (or Atila) never replied: what I need to reply back to customers asking us about @safe.
@safe is for mechanical check or not? An official and public declaration please. /P