E143: Erased Types Can Only Be Function Types — erased 타입은 함수 타입에만 쓸 수 있어요

E143: Erased Types Can Only Be Function Types — erased 타입은 함수 타입에만 쓸 수 있어요

erased 키워드가 함수 타입이 아닌 타입 맥락에서 사용될 때 발생하는 에러예요.

출처: Scala 3 Reference

본문

erased 키워드가 함수 타입이 아닌 타입 맥락에서 사용될 때 발생해요.

erased 키워드는 런타임에 파라미터가 지워지도록 표시하는 실험적 기능이에요. 타입 어노테이션에 쓸 때는 (erased ...) => ... 형태의 함수 타입에만 나타날 수 있어요.

참고: 이 에러 코드는 실제로 재현하기 어려운 편이에요. 파서가 이 특정 에러에 도달하기 전에 보통 E040("=> expected")을 먼저 보고하기 때문이에요. E143 에러는 특정 내부 파싱 경로에서만 발동될 수 있어요.