Closed
Description
Today we accept this:
let i <- *p
where p
is an unsafe ptr. This is ok. However, I think we accept it because we are not properly checking for moves in initializers and not for any good reason. We should probably accept moves out of unsafe ptrs (it's useful) but also check initializers properly. I'm not sure whether this is a borrowck or liveness bug but I think borrowck.
Metadata
Metadata
Assignees
Labels
No labels