comment

rust-lang · Nov 27, 2019 · 2869aba · 2869aba
1 parent 3e7a5a4
commit 2869aba
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/src/librustc_mir/interpret/place.rs b/src/librustc_mir/interpret/place.rs
@@ -658,6 +658,13 @@ where
                 PlaceTy {
                     place: match self.frame().return_place {
                         Some(p) => *p,
+                        // Even if we don't have a return place, we sometimes need to
+                        // create this place, but any attempt to read from / write to it
+                        // (even a ZST read/write) needs to error, so let us make this
+                        // a NULL place.
+                        //
+                        // FIXME: Ideally we'd make sure that the place projections also
+                        // bail out.
                         None => Place::null(&*self),
                     },
                     layout: self.layout_of(