Skip to main content

is_nonnull_dest

rapx::verify::call_summary::fn_simulator

Function is_nonnull_dest 

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