I sounded to me like Animats was describing an "active lifetime" system, where the compiler will change where variables are placed, when they are deallocated (e

I sounded to me like Animats was describing an "active lifetime" system, where the compiler will change where variables are placed, when they are deallocated (etc.) to make whatever code work. Rust's lifetimes do not work like that.