Incomplete idea for @safe enhancement

[RazvanN]

On Thursday, 25 April 2019 at 12:38:29 UTC, Adam D. Ruppe wrote:
> 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.

I would argue that this would be a good fit for a 3rd party tool 
that
uses dmd as a library,

Cheers,
RazvanN