[GSoC 2021] Tracking for typechecker’s type inference

[moatom]

I saw your post (C++ lambda captures, references, and lifetimes question)!
I didn't reach that conclusion because I debugged the arena allocation itself😅
Thank you so much.