CI에서 차세대 솔버와 polonius 알파의 안정화 전 테스트

2026년에 차세대 솔버와 polonius 알파를 안정화하는 것을 목표로, 두 기능의 지속적인 테스트 커버리지를 개선하고자 합니다. 이를 위해 이 불안정 기능들이 회귀하지 않도록 충분히 테스트되고, 앞으로도 계속 충분히 테스트되도록 보장해야 합니다.

따라서 회귀를 잡아내기 위한 전용 CI 작업 test-x86_64-gnu-next-trait-solver-polonius이 필요하며, 이 작업은 PR CI에서 차단 작업이므로 Merge CI에서도 차단 작업입니다.

자세한 배경은 다음을 참고하십시오.

• MCP 996: CI에서 새 솔버와 polonius 알파 테스트하기
• 추적 이슈: https://github.com/rust-lang/rust/issues/157780

테스트 대상

• 차세대 솔버의 경우:
  • 차세대 솔버로 표준 라이브러리를 빌드할 수 있는지 확인하고자 합니다.
  • 차세대 솔버로 전체 툴체인을 부트스트랩할 수 있는지 확인하고자 합니다.
  • stage 1에서 차세대 솔버를 활성화한 상태로 stage 2 라이브러리를 빌드하여 두 가지를 모두 확인합니다.
• polonius 알파의 경우:
  • 차세대 솔버를 활성화하여 빌드한 stage 1 컴파일러/std를 대상으로, polonius 비교 모드에서 UI 테스트 스위트를 실행합니다.

참고

실패를 로컬에서 재현하려면 다음과 같이 하십시오.

$ RUSTFLAGS_NOT_BOOTSTRAP="-Znext-solver=globally" ./x build library --stage 2

$ RUSTFLAGS_NOT_BOOTSTRAP="-Znext-solver=globally" ./x test tests/ui --compare-mode polonius --stage 1

이 조합에만 해당할 수 있는 실패와 해결 방법에는 어떤 것이 있습니까?

• 표준 라이브러리나 컴파일러에서 불안정 기능을 사용할 때 새로운 오류가 발생할 수 있습니다.
• 때로는 새 테스트를 bless해야 할 수 있으며, 드물게는 테스트 어노테이션이나 리비전을 추가해야 할 수도 있습니다.

문의처

이 작업의 테스트 실패와 관련하여 질문이 있거나 조언이 필요하시면 t-compiler(컴파일러) zulip 채널에 새 토픽을 여십시오.