]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #49758 - bjorn3:miri_public_write_discriminant_value, r=oli-obk
authorbors <bors@rust-lang.org>
Sun, 8 Apr 2018 14:12:13 +0000 (14:12 +0000)
committerbors <bors@rust-lang.org>
Sun, 8 Apr 2018 14:12:13 +0000 (14:12 +0000)
miri: Make write_discriminant_value public

src/librustc_mir/interpret/eval_context.rs

index cf3241fe9be662d6938e7d551020cbee98db5a4d..3220d4d96b36bd1ed7db3a01745156842101d14f 100644 (file)
@@ -893,7 +893,7 @@ pub fn read_discriminant_value(
     }
 
 
-    pub(crate) fn write_discriminant_value(
+    pub fn write_discriminant_value(
         &mut self,
         dest_ty: Ty<'tcx>,
         dest: Place,