Merge pull request #6119 from alexkazik/empty-impl

Provide empty implementations for Args and Subcommand

Author: epage

clap_builder/src/derive.rs

@@ -3,6 +3,7 @@
 
 use crate::builder::PossibleValue;
 use crate::{ArgMatches, Command, Error};
+use std::convert::Infallible;
 
 use std::ffi::OsString;
 
@@ -387,3 +388,66 @@ fn format_error<I: CommandFactory>(err: Error) -> Error {
     let mut cmd = I::command();
     err.format(&mut cmd)
 }
+
+impl FromArgMatches for () {
+    fn from_arg_matches(_matches: &ArgMatches) -> Result<Self, Error> {
+        Ok(())
+    }
+
+    fn update_from_arg_matches(&mut self, _matches: &ArgMatches) -> Result<(), Error> {
+        Ok(())
+    }
+}
+
+impl Args for () {
+    fn augment_args(cmd: Command) -> Command {
+        cmd
+    }
+
+    fn augment_args_for_update(cmd: Command) -> Command {
+        cmd
+    }
+}
+
+impl Subcommand for () {
+    fn augment_subcommands(cmd: Command) -> Command {
+        cmd
+    }
+
+    fn augment_subcommands_for_update(cmd: Command) -> Command {
+        cmd
+    }
+
+    fn has_subcommand(_name: &str) -> bool {
+        false
+    }
+}
+
+impl FromArgMatches for Infallible {
+    fn from_arg_matches(_matches: &ArgMatches) -> Result<Self, Error> {
+        Err(Error::raw(
+            crate::error::ErrorKind::MissingSubcommand,
+            "a subcommand is required but one was not provided",
+        ))
+    }
+
+    fn update_from_arg_matches(&mut self, _matches: &ArgMatches) -> Result<(), Error> {
+        unreachable!(
+            "there will never be an instance of Infallible and thus &mut self can never be called"
+        );
+    }
+}
+
+impl Subcommand for Infallible {
+    fn augment_subcommands(cmd: Command) -> Command {
+        cmd
+    }
+
+    fn augment_subcommands_for_update(cmd: Command) -> Command {
+        cmd
+    }
+
+    fn has_subcommand(_name: &str) -> bool {
+        false
+    }
+}

tests/derive_ui/enum_variant_not_args.stderr

@@ -4,4 +4,6 @@ error[E0277]: the trait bound `SubCmd: clap::Args` is not satisfied
 3 |     Sub(SubCmd),
   |         ^^^^^^ the trait `clap::Args` is not implemented for `SubCmd`
   |
-  = help: the trait `clap::Args` is implemented for `Box<T>`
+  = help: the following other types implement trait `clap::Args`:
+            ()
+            Box<T>

tests/derive_ui/flatten_enum_in_struct.stderr

@@ -5,5 +5,6 @@ error[E0277]: the trait bound `SubCmd: clap::Args` is not satisfied
   |          ^^^^^^ the trait `clap::Args` is not implemented for `SubCmd`
   |
   = help: the following other types implement trait `clap::Args`:
+            ()
             Box<T>
             Opt

tests/derive_ui/flatten_struct_in_enum.stderr

@@ -5,5 +5,7 @@ error[E0277]: the trait bound `SubCmd: Subcommand` is not satisfied
   |         ^^^^^^ the trait `Subcommand` is not implemented for `SubCmd`
   |
   = help: the following other types implement trait `Subcommand`:
+            ()
             Box<T>
+            Infallible
             Opt