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.