Begin resolving `cargo-semver-checks` blockers for merging into cargo

[nikomatsakis]

Metadata
Owner(s)	@obi1kenobi
Team(s)	cargo
Goal document	2024h2/cargo-semver-checks

Summary

Design and implement cargo-semver-checks functionality that lies on the critical path for merging the tool into cargo itself.

Tasks and status

• [ ] Implementation of cargo manifest linting + CLI (@obi1kenobi)
• [ ] Initial design for cross-crate checking (@obi1kenobi)
• [ ] Initial design for type-checking lints (@obi1kenobi)
• [ ] Discussion and moral support (cargo )

[nikomatsakis]

This issue is intended for status updates only.

For general questions or comments, please contact the owner(s) directly.

[obi1kenobi]

Status update as of September 1.

Key developments: We've laid a lot of the groundwork to make manifest linting possible.

• In preparation for the significant expansion of our CLI, we now have the ability to test how CLI invocations get interpreted internally. We can also now snapshot the output of any CLI invocation over a given workspace, allowing us to proceed with refactoring the implementation without breaking existing use cases.
• We have a concrete design for the expansion of the CLI, and for the Trustfall schema changes that will be necessary to enable manifest linting.

Not blocked on anything. No opportunities to contribute yet, but stay tuned — there will be some in future updates!