Function effect_summary 

pub(crate) fn effect_summary<'tcx>(
    tcx: TyCtxt<'tcx>,
    caller: DefId,
    func: &Operand<'tcx>,
    destination: Local,
    context: &CallContext,
) -> CallEffectSummary

Return effect information for a MIR call terminator.