destination_nonnull_alignment

rapx::verify::call_summary

Function destination_nonnull_alignment 

Source 
fn destination_nonnull_alignment<'tcx>(
    tcx: TyCtxt<'tcx>,
    caller: DefId,
    destination: Option<Local>,
) -> Option<(u64, String)>
Expand description

Return pointee alignment when the destination is NonNull<T>.