Skip to main content

lookup_effect

rapx::verify::call_summary::builtin_models

Function lookup_effect 

Source 
pub(crate) fn lookup_effect<'tcx>(
    tcx: TyCtxt<'tcx>,
    caller: DefId,
    callee: Option<DefId>,
    func: &Operand<'tcx>,
    destination: Local,
) -> Option<CallEffectSummary>