DIP1028 - Rationale for accepting as is

[Paolo Invernizzi]

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