Stream: t-compiler/wg-polonius

Topic: move errors


Albin Stjerna (Nov 05 2019 at 14:59, on Zulip):

I have a question. If we have a move error at some MIR statement x, should it happen at Start(x)or Mid(x)? Both make sense to me, if the evaluation happens before the effect (which is the only way I see there being any point to separating start/mid).

Matthew Jasper (Nov 05 2019 at 16:20, on Zulip):

Invalidates error are at the start point, so I would expect move errors to also be at the start point.

Albin Stjerna (Nov 05 2019 at 17:43, on Zulip):

Great thanks :)

Last update: Nov 15 2019 at 20:05UTC