Auto merge of #49758 - bjorn3:miri_public_write_discriminant_value, r=oli-obk
miri: Make write_discriminant_value public
This commit is contained in:
commit
5f50718225
|
@ -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,
|
&mut self,
|
||||||
dest_ty: Ty<'tcx>,
|
dest_ty: Ty<'tcx>,
|
||||||
dest: Place,
|
dest: Place,
|
||||||
|
|
Loading…
Reference in New Issue