Function miri::interpret::get_slice_bytes

source · [−]
pub fn get_slice_bytes(
    cx: &impl HasDataLayout,
    val: ConstValue<'tcx>
) -> &'tcx [u8]ⓘNotable traits for &[u8]impl Read for &[u8]impl Write for &mut [u8]
Expand description

Gets the bytes of a constant slice value.