On 12.04.20 22:39, Walter Bright wrote: > 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. > ? The compiler is not even expected to diagnose wrong casting.