On Monday, 25 May 2020 at 11:52:27 UTC, Timon Gehr wrote:
On 25.05.20 11:25, Johannes T wrote:@trusted can't be trustedThat's the point of @trusted. ._.The code is trusted by the programmer, not the annotation by the compiler.
Sorry, I phrased it poorly. I meant @trusted would be used more frequently. The focus would spread and lead to less rigorous checks.