특성 정의와 구현의 안전성이 불일치하는 경우를 보고합니다.