extension_type_representation_type_bottom

확장 타입의 표현 타입으로는 Never 같은 bottom 타입을 쓸 수 없어요. 표현 타입이 bottom 타입으로 지정된 상황을 이 진단이 알려 주는 거예요.

출처: extension_type_representation_type_bottom

본문

analyzer는 확장 타입의 표현 타입이 bottom 타입인 Never일 때 이 진단을 내보내요. 확장할 수 있는 값이 하나도 없기 때문에 Never는 확장 타입의 표현 타입이 될 수 없어요.

아래 코드는 확장 타입 E의 표현 타입이 Never라서 이 진단이 발생해요.

extension type E(Never n) {}

확장 타입의 표현 타입을 다른 타입으로 바꿔 주면 돼요.

extension type E(String s) {}

bottom 타입인 Never는 값을 가질 수 없는 타입이에요. 무엇인가를 확장하기 위해서는 실제 값이 존재할 수 있는 타입을 표현 타입으로 정해 주세요.