rustc: Run destructors when dest=Ignore#13390

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

alexcrichton:run-some-destructorsalexcrichton/rust:run-some-destructorsCopy head branch name to clipboard