diff --git a/src/librustc_trans/mir/place.rs b/src/librustc_trans/mir/place.rs index 3bcbb7f3b46eb..47d0e6f4ecfa7 100644 --- a/src/librustc_trans/mir/place.rs +++ b/src/librustc_trans/mir/place.rs @@ -359,14 +359,12 @@ impl<'a, 'tcx> PlaceRef<'tcx> { /// Set the discriminant for a new value of the given case of the given /// representation. pub fn trans_set_discr(&self, bcx: &Builder<'a, 'tcx>, variant_index: usize) { - match self.layout.variants { + if self.layout.for_variant(bcx.ccx, variant_index).abi == layout::Abi::Uninhabited { + return; + } + match self.layout.variants { layout::Variants::Single { index } => { - if index != variant_index { - // If the layout of an enum is `Single`, all - // other variants are necessarily uninhabited. - assert_eq!(self.layout.for_variant(bcx.ccx, variant_index).abi, - layout::Abi::Uninhabited); - } + assert_eq!(index, variant_index); } layout::Variants::Tagged { .. } => { let ptr = self.project_field(bcx, 0); diff --git a/src/test/run-pass/issue-46519.rs b/src/test/run-pass/issue-46519.rs new file mode 100644 index 0000000000000..878cae4e387f4 --- /dev/null +++ b/src/test/run-pass/issue-46519.rs @@ -0,0 +1,37 @@ +// Copyright 2017 The Rust Project Developers. See the COPYRIGHT +// file at the top-level directory of this distribution and at +// http://rust-lang.org/COPYRIGHT. +// +// Licensed under the Apache License, Version 2.0 or the MIT license +// , at your +// option. This file may not be copied, modified, or distributed +// except according to those terms. + +// compile-flags:--test -O + +#[test] +#[should_panic(expected = "creating inhabited type")] +fn test() { + FontLanguageOverride::system_font(SystemFont::new()); +} + +pub enum FontLanguageOverride { + Normal, + Override(&'static str), + System(SystemFont) +} + +pub enum SystemFont {} + +impl FontLanguageOverride { + fn system_font(f: SystemFont) -> Self { + FontLanguageOverride::System(f) + } +} + +impl SystemFont { + fn new() -> Self { + panic!("creating inhabited type") + } +}