search

Manishearth / rust-gc

Simple tracing (mark and sweep) garbage collector for Rust
Mozilla Public License 2.0
972 stars 50 forks source link

Fix undefined behavior in GcCellRefMut::map #156

Closed andersk closed 1 year ago

andersk commented 1 year ago

This had been using pointer trickery to temporarily duplicate a mutable reference, which Miri detected as undefined behavior.