···182182 };
183183184184 if sub.stdin {
185185+ if !sub.paths.is_empty() {
186186+ return Err(anyhow!(
187187+ "No paths can be specified on the command line with --stdin"
188188+ ));
189189+ }
190190+185191 push_ctx.push_stdin().await?;
186192 } else {
187193 push_ctx.push_static(sub.paths.clone()).await?;