treat ref-to-raw cast like a reborrow: do a special kind of retag - #571
Closed
RalfJung wants to merge 2 commits into
Closed
treat ref-to-raw cast like a reborrow: do a special kind of retag#571RalfJung wants to merge 2 commits into
RalfJung wants to merge 2 commits into