On Friday, 22 May 2020 at 18:27:42 UTC, Atila Neves wrote:
Sorry, I didn't express myself well. I meant that the user can still mark functions as @system, they just have to do it explicitly.
Hm, DPP might be of help here. Becuse I quess you are going to make sure it'll mark everything `@system`?