Closed
Description
When translating something like a += b
to MIR, an uncertainty arose about what the semantics of
a = 0;
a += { a = 22; 2 }
ought to be. Should resulting value of a
be 24
or 2
, basically? The current MIR yields 24, on the basis that this is more-or-less what will happen in the case of overloading as well (presuming non-lexical lifetimes, since I think otherwise you get a borrowck error).