필수 특성을 구현하지 않는 타입이 사용된 경우를 보고합니다. 이 검사는 `타입이 특성을 구현하지 않음`보다 많은 사례에 적용되지만 위양성을 생성할 수 있습니다.