Nikolai Zhubr wrote: > I'd guess this would require huge work and substantial modifications > to the language though. The compiler then has to assert all possible codepaths... Do you think that's a viable option?