This is something that I&#x27;m actually writing for my own programming language, coincidentally also written in Rust.<p>My idea was to label each expression with these flags, i.e. is the expression constant?, tail recursive?, etc., and then make that information available for the text editor and other tooling, so the user can instantly see certain things about their program, and see the type of optimizations the compiler will do for them.