Closed
Description
Some pass should check whether code doesn't move from locations that should never be moved from (data structure fields can be swapped, if mutable, but never moved out, I think). The same pass can probably verify that no non-copyable values (currently only ty_res) are being copied.
I think that var x = rec(...) (moving from a temporary) should be valid. It doesn't really work at the moment.