Mark an unreachable match arm as such#153659

rust-bors[bot] merged 1 commit into

rust-lang:mainrust-lang/rust:mainfrom

oli-obk:brg_dc_merge_preludeoli-obk/rust:brg_dc_merge_preludeCopy head branch name to clipboard