변수 타입이 타입 가드에 의해 좁혀진 변수의 사용 위치를 보고합니다. 심각도는 이 검사에 영향을 미치지 않습니다.