miri: Make write_discriminant_value public

This commit is contained in:
bjorn3 2018-04-07 14:39:24 +02:00 committed by GitHub
parent e0a9bd0f3c
commit 2ff7e73cb5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -893,7 +893,7 @@ impl<'a, 'mir, 'tcx: 'mir, M: Machine<'mir, 'tcx>> EvalContext<'a, 'mir, 'tcx, M
}
pub(crate) fn write_discriminant_value(
pub fn write_discriminant_value(
&mut self,
dest_ty: Ty<'tcx>,
dest: Place,