rust-lang / miri

An interpreter for Rust's mid-level intermediate representation
Apache License 2.0
4.64k stars 349 forks source link

sync support: dont implicitly clone inside the general sync machinery #4027

Closed RalfJung closed 2 weeks ago

RalfJung commented 2 weeks ago

Instead, push this down to the users where we have local knowledge that this is fine (because it's all Rcs).