Tracking issue for MCP 996: Test new solver and polonius alpha on CI

[rustbot]

This is a tracking issue for MCP "Test new solver and polonius alpha on CI" (rust-lang/compiler-team#996).

Note

Tracking issues are used to record the overall progress of implementation.
They are also used as hubs connecting to other relevant issues, e.g., bugs or open design questions.

A tracking issue is however not meant for large scale discussion, questions, or bug reports.
Instead, open a dedicated issue for the specific matter, link to this tracking issue and ping the MCP author.
Alternatively, post in the Zulip stream linked from the MCP.

Discussion comments will get marked as off-topic or deleted.
Repeated discussions on the tracking issue may lead to the tracking issue getting locked.

Steps

• Implement the MCP
• Adjust the documentation
  • In the Rust Compiler Development Guide if applicable (e.g., for refactorings)
  • In the Rust Forge if applicable (e.g., for policy changes)
  • In the rustc book if applicable (e.g., for target tier or CLI changes)
  • In the Unstable Book if applicable (e.g., for unstable CLI changes)

Unresolved questions

None so far.

Implementation history

• test pre-stabilization items on CI #157322 adds the dedicated CI job with:
  • tests that the new solver can build the stdlib, at stage 1
  • runs the UI tests under the polonius compare-mode