메서드의 내용을 검증하고 다음의 점검 사항을 지원합니다.
메서드에 반환 타입이 정의되어 있음 + 빠른 수정
필요할 때 메서드가 반환하지 않음
메서드의 반환 타입이 상위 항목과 일치하지 않음 + 빠른 수정
도달할 수 없는 코드 탐지
모든 코드 경로의 값 반환 탐지
생성자 super 검증
2.2.4