make retagging work even with 'unstable' places#105317

Merged

bors merged 2 commits intorust-lang:masterfrom RalfJung:retag-rework

Dec 9, 2022

+302-275

Commits on Dec 6, 2022

make retagging work even with 'unstable' places
RalfJung
committed
Stacked Borrows: factor the logic determining the new permissions on retag into a separate function
RalfJung
committed