Function dependency_summary 

pub(crate) fn dependency_summary<'tcx>(
    tcx: TyCtxt<'tcx>,
    func: &Operand<'tcx>,
    arg_count: usize,
    context: &CallContext,
) -> CallDependencySummary

Return dependency information for a MIR call terminator.