> Specifically your post on write tracking. It's obviously a really old post > (from 2013), and it looks like it was never fully implemented.
It was implemented and produced impressive results. It makes Nim's effect system even more complex though and doesn't help much with destructors: It only computes "may escape" and not "does always escape" (the analysis is control flow agnostic) and so we're left with pessimistic destructor injections.
