On 16.10.21 01:12, Walter Bright wrote: > On 10/12/2021 2:38 PM, Timon Gehr wrote: >> - non-lexical variable lifetimes (probably not happening) > > It's already implemented for @live. (Also, I want it based on the types of the involved values, not based on a non-modular function annotation.)