@Sixte > Anything that can be inferred takes a burden from the programmer, makes > programs shorter and reduces errors.
IME the complexity quickly comes up, especially for newcomers: the inferred rules show up in error messages and they usually break when you have an indirect function call. The more complexity you can avoid in a type system, the better. Look, I _don 't want to add_ `owned` to Nim's type system. But I consider it our best option, all things considered, having studied these problems for years. You don't even have to do anything, you can compile your Nim code like before but the stdlib grew some pointless `owned` annotations that are ignored when you use the older runtime with its GC.
