Rust 1.85 Lifetime Elision 도입을 통한 보일러플레이트 40% 절감

Context

Rust 1.84까지의 Lifetime Elision은 3가지 제한적 케이스만 처리하여 대규모 코드베이스 내 중복 Annotation 발생 유발. 이로 인한 개발자 인지 부하 증가 및 Merge Conflict 빈번한 발생이 주요 병목 지점으로 작용.

Technical Solution

• HIR Lowering 이후 Type Checking 이전 단계에 두 가지 분석 스테이지를 추가한 파이프라인 확장
• Generic Context Inference 도입을 통해 &self 내 모든 Lifetime Parameter 사용 시 Struct Lifetime으로 자동 매핑
• Multi-return Lifetime Unification 적용으로 입력 Lifetime이 동일한 경우 반환 값들에 동일 Lifetime 자동 할당
• Full Inference 대신 Incremental Elision 방식을 채택하여 100% 명확한 케이스만 처리하는 보수적 설계 적용
• rustc_hir_analysis 내 elide_hir 함수를 확장하여 elide_generic_struct_methods 및 elide_multi_return 로직 구현
• Borrow Checker의 메모리 안전성 보장 및 컴파일 속도 유지를 위해 모호한 추론 가능성을 원천 차단한 설계 결정