On Friday, 22 May 2020 at 17:40:59 UTC, Atila Neves wrote: > [snip] >> >> That is a failure of the language that should be resolved. > > And how do you suggest we fix it? > @safe as whitelist instead of blacklist. When the compiler cannot verify that it is @safe, then it cannot be @safe.