Incomplete idea for @safe enhancement

[RazvanN]

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.