From f8f80334872cf63412b0fe2e79b87505af2ba6a1 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Sat, 23 May 2020 13:22:13 +0200 Subject: [PATCH] assert that types without discriminant use variant idx of 0 --- src/librustc_mir/interpret/operand.rs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/librustc_mir/interpret/operand.rs b/src/librustc_mir/interpret/operand.rs index 17dfe8b656c..81ef8172da7 100644 --- a/src/librustc_mir/interpret/operand.rs +++ b/src/librustc_mir/interpret/operand.rs @@ -596,7 +596,8 @@ pub fn read_discriminant( Scalar::from_uint(discr.val, discr_layout.size) } None => { - // On a type without actual discriminants, return variant idx as `u8`. + // On a type without actual discriminants, variant is 0. Return variant idx as `u8`. + assert_eq!(index.as_u32(), 0); let discr_layout = self.layout_of(self.tcx.types.u8)?; Scalar::from_uint(index.as_u32(), discr_layout.size) } -- GitLab