관찰 가능한 결과
attempts=1
변수 선언과 초기화의 성공과 실패 증거
모든 if 경로에서 attempts를 대입하므로 확정 할당 검사를 통과합니다.
왜 실패하는가
모든 if 경로에서 attempts를 대입하므로 확정 할당 검사를 통과합니다.
코드에 남길 계약
좋은 변수 선언은 타입뿐 아니라 언제부터 유효하고 어디까지 같은 의미를 유지하는지를 드러냅니다.
관찰 증거 좋은 변수 선언은 타입뿐 아니라 언제부터 유효하고 어디까지 같은 의미를 유지하는지를 드러냅니다.