From 1c08ced99589114164f057bc4cd020a6bad48af9 Mon Sep 17 00:00:00 2001 From: Oliver Scherer Date: Wed, 14 Nov 2018 13:28:38 +0100 Subject: [PATCH] Explain early abort legality --- src/librustc_mir/interpret/validity.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/librustc_mir/interpret/validity.rs b/src/librustc_mir/interpret/validity.rs index 4b9ded4c17ee..8ce5a0365cf6 100644 --- a/src/librustc_mir/interpret/validity.rs +++ b/src/librustc_mir/interpret/validity.rs @@ -522,6 +522,7 @@ impl<'rt, 'a, 'mir, 'tcx, M: Machine<'a, 'mir, 'tcx>> _ => false, } } => { + // bailing out for zsts is ok, since the array element type can only be int/float if op.layout.is_zst() { return Ok(()); }