Skip to main content

ownership_transfer_violation

rapx::verify::alias_hazard

Function ownership_transfer_violation 

Source 
pub fn ownership_transfer_violation(
    tcx: TyCtxt<'_>,
    caller: DefId,
    call_block: BasicBlock,
    destination: Option<Local>,
    origin_place: &PlaceKey,
) -> Option<String>