Skip to main content

box_pointee_pointer_assignment

charon_lib::transform::resugar::reconstruct_box_derefs

Function box_pointee_pointer_assignment 

Source 
fn box_pointee_pointer_assignment(rvalue: &Rvalue) -> Option<Place>
Expand description

Look for

ⓘ
transmute::<NonNull<T>, *const T>(copy (*b).0)

Returns *b