treat ref-to-raw cast like a reborrow: do a special kind of retag#56741

Merged

bors merged 1 commit intorust-lang:masterfrom RalfJung:retag-to-raw

Dec 20, 2018

+76-128

Commits on Dec 18, 2018

treat ref-to-raw cast like a reborrow: do a special kind of retag
RalfJung
committed