Function local_must_write_args 

pub(super) fn local_must_write_args(
    tcx: TyCtxt<'_>,
    callee: DefId,
) -> Option<Vec<usize>>

Return callee argument indices that are definitely written on every reachable return path.