avoid mixing accesses of ptrs derived from a mutable ref and parent ptrs#107954

Merged

bors merged 1 commit intorust-lang:masterfrom RalfJung:tree-borrows-fix

Feb 13, 2023

Commits on Feb 12, 2023

avoid mixing accesses of ptrs derived from a mutable ref and parent ptrs
RalfJung
committed