Remove some dead code for dumping MIR for a single DefId#156384

rust-bors[bot] merged 1 commit into

rust-lang:mainrust-lang/rust:mainfrom

Zalathar:pretty-def-idZalathar/rust:pretty-def-idCopy head branch name to clipboard