Infallible — 절대 실패하지 않는 타입
Infallible — 절대 실패하지 않는 타입
Infallible은 "실패"라는 개념 자체가 존재할 수 없는 타입이에요. 값이 하나도 없는 빈 enum이라 실제로 인스턴스를 만들 수 없어요.
출처: Rust 공식 문서
본문
pub enum Infallible {}
주로 "이 작업은 절대 오류가 나지 않는다"를 타입 레벨로 표현할 때 사용해요. 예를 들어 실패 가능성이 없는데 Result<T, E>의 E 자리가 필요한 경우 E = Infallible로 둘 수 있어요. 이전에는 !(never type)이 이 역할을 했지만, 안정화 이후로는 Infallible로 표현하는 걸 권장해요.