Incomplete idea for @safe enhancement

[Adam D. Ruppe]

On Thursday, 25 April 2019 at 06:26:43 UTC, RazvanN wrote:
> There are situations where you do not have access to the 
> function body, so the compiler cannot assess whether the 
> @system function you are calling is actually
> @system.

In those situations, the compiler just leaves it alone.

I could see a -vsafe flag that gets as verbose as it can about 
*potentially* @safe functions, those that aren't but the compiler 
can see that maybe they could be.