Add a subcommand to verify all dependencies are inherited

[MarcoIeni]

It would be great to run this tool in CI to check if there are no duplicate dependencies across the workspace (i.e. all compatible dependencies are inherited).

Something like cargo autoinherit check.

This command should:

• exit with a non zero status code if there are dependencies that could be inherited.
• exit with status code zero if all dependencies are inherited

additional feature

There could be an additional flag to forbid dependencies which aren't inherited. Useful for maintainers who wants to specify all dependencies verdions in the main Cargo.toml

[LukeMathWalker]

That'd be quite nice!

I would use the same CLI structure of cargo fmt (i.e. cargo autoinherit --check) though.

[MarcoIeni]

Yes, I think it's fine 👍 The only downside I see is that there could be confusion if we want to add other flags to the check operation. We should explain that certain flags only apply if the check flag is passed.

This risk can be mitigated with a configuration file. I.e. devs specify their desired behavior with the config file instead of flags.

[LukeMathWalker]

I lean towards having minimal or no configuration options, although it's always difficult to predict the future. A proper sub-command is certainly more flexible.

[ModProg]

There could also be a flag to warn on mismatched versions as described in the readme, so they can be resolved manually

[LukeMathWalker]

There could also be a flag to warn on mismatched versions as described in the readme, so they can be resolved manually

That's already the case—any version conflict is reported in the terminal. We exit with a success status code though.