Skip to main content

dest_is_pointer

rapx::verify::call_summary::builtin_models

Function dest_is_pointer 

Source 
fn dest_is_pointer(tcx: TyCtxt<'_>, caller: DefId, dest: Option<Local>) -> bool