On Friday, 22 May 2020 at 18:44:09 UTC, Steven Schveighoffer
wrote:
[snip]
You are using library fubar.
fubar defines a function foo:
I agree with most of what you said.
I was trying to make the point that this is a contrived example
where we know for sure that one function should be @system and is
actually @safe. For one function where you know it should be
@system, then you can create a fix. However, it's unreasonable to
require that for all of the code from outside modules without
attributes (even if it could be possible to write something in D
that makes it relatively less painful to do this).
