On 4/11/2020 7:30 PM, Timon Gehr wrote: > the rule is weird. The rule is a consequence of not requiring Data Flow Analysis to diagnose whether a mutable reference outlives it and is used.