Rust 컴파일러의 핵심인 차세대 트레이트 솔버(next-solver)가 약 4년간의 개발 끝에 nightly 채널에서 기본적으로 활성화됩니다! 이번 업데이트는 `where` 절 증명과 연관 타입 정규화 방식을 전면 교체하는 매우 큰 변화인데요. 이를 통해 Type Alias Impl Trait(TAIT)나 Return Type Notation(RTN) 같은 기능의 안정화가 가능해지고, 타입 추론 능력도 크게 개선될 예정입니다. 실제로 `datafusion` 같은 크레이트는 컴파일 속도가 8배 이상 빨라지는 등 눈에 띄는 성능 향상을 보였습니다. 다만, 타입 추론 방식의 변화로 인해 기존 프로젝트에서 호환성 문제가 발생할 수 있으니, `rustup update nightly`로 직접 테스트해보시고 문제가 있다면 `-Znext-solver=coherence` 옵션으로 새 솔버를 비활성화하여 확인해보시길 권장합니다.