Auto merge of #1841 - RalfJung:debug, r=RalfJung
Auto merge of #1841 - RalfJung:debug, r=RalfJung

use exhaustive struct match for manual Debug impl

rust-lang/miri,rust-lang/miri,rust-lang/miri,rust-lang/miri