Incomplete idea for @safe enhancement

[Zoadian]

On Thursday, 25 April 2019 at 06:26:43 UTC, RazvanN wrote:
> On Thursday, 25 April 2019 at 03:32:03 UTC, Nick Sabalausky 
> (Abscissa) wrote:
>> 'Know what I think would be helpful (just because I ran into a 
>> case just now where it would help me)...?
>>
>> [...]
>
> 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.
>
> The easiest way to achieve what you desire is to make @safe 
> default.

A way for the compiler to output all @system functions that could 
be marked @safe would be great. It's quite annoying to try @safe 
everywhere manually.

"@system function foo() could be marked @safe"