Skip to main content

peel_slice_elem

rapx::verify::vm::memory

Function peel_slice_elem 

Source 
fn peel_slice_elem(ty: Ty<'_>) -> Ty<'_>
Expand description

Peel a slice type [T] to its element T (other types unchanged).