• 메서드에 반환 유형이 정의되어 있음 + 빠른 수정
• 필요한 경우 메서드가 반환하지 않음
• 메서드 반환 유형이 부모와 일치하지 않음 + 빠른 수정
• 도달할 수 없는 코드 감지
• 모든 코드 경로의 값 반환 감지
• 생성자 슈퍼 검증

2.2.4