Comment says 'this isn't legal, per se..' which is cute but could do with a bit more explanation of why it's even working.
Activity
nikomatsakis commentedon Jun 22, 2012
Actually I think that's legal now. I recently updated the rules to allow
moves out of unsafe pointers (it's very useful sometimes!)
We were "allowing" it before just because we weren't treating
let x <- y
as a move.
eholk commentedon Jun 22, 2012
It's legal now, so I'll remove the comment.
Use must_have_lock instead of private functions. (Issue #2700)
Unify Kani bundle CI jobs (rust-lang#2841)