On 25.05.20 14:22, Johannes T wrote:
Sorry, I phrased it poorly. I meant @trusted would be used more frequently. The focus would spread and lead to less rigorous checks.
The focus is as wide as it's ever been. If you want to verify a program, you have to check those prototypes, whether they're explicitly @trusted or implicitly @safe. @safe-by-default only makes them harder to find.
