Make retags an implicit part of typed copies#154341

RalfJung wants to merge 1 commit intorust-lang:mainrust-lang/rust:mainfrom

RalfJung:retag-on-typed-copyRalfJung/rust:retag-on-typed-copyCopy head branch name to clipboard