러스트, 차세대 트레이트 솔버 나이틀리에 기본 활성화

Rust 프로젝트가 공식 블로그를 통해 차세대 트레이트 솔버를 나이틀리 채널에서 기본 활성화했다고 밝혔다. 약 4년간 개발한 새 솔버는 where 절의 증명과 연관 타입 정규화 등 컴파일러 내부의 타입 해석 방식을 대체하며, 프로젝트는 앞으로 수개월 내 안정화를 목표로 하고 있다.

Rust 프로젝트는 이번 변경을 초기 출시 이후 컴파일러에 들어가는 가장 큰 단일 변화로 설명했다. 새 솔버는 Type Alias Impl Trait(TAIT), Return Type Notation(RTN) 같은 기능의 안정화를 뒷받침하고, Move·Forget과 같은 암묵적 기본 트레이트 경계 도입, 남은 타입 시스템 건전성 문제 보완의 기반이 될 것으로 봤다.

공식 발표에 따르면 새 구현으로 해결되는 것으로 파악된 GitHub 이슈는 200건 이상이다. 다만 타입 추론의 동작이 달라지거나 기존의 바람직하지 않은 동작이 제거되면서 일부 코드가 영향을 받을 수 있다. Rust 프로젝트는 알려진 호환성 문제를 별도 이슈에서 추적하고 있다.

나이틀리 사용자는 최신 채널로 업데이트해 기존 프로젝트와 라이브러리를 시험해 볼 수 있다. 문제가 발생하면 버그를 보고해 달라고 요청했으며, 필요할 경우 `-Znext-solver=coherence` 옵션으로 새 솔버를 끌 수 있다고 안내했다.

컴파일 시간도 주요 점검 대상이다. Rust 프로젝트는 crates.io 상위 2만 개 크레이트를 대상으로 기존 구현과 성능을 비교했으며, 대부분은 사실상 같은 성능을 보였다고 밝혔다. 다만 일부 예외 사례는 여전히 최적화 과제로 남아 있다.

출처: Rust 공식 블로그 https://blog.rust-lang.org/2026/08/21/enabling-next-solver-on-nightly/