컴파일러는 catch로 복구하거나 throws로 전달하라는 선택을 강제합니다.
구체 catch
throws
컴파일 실패
핵심: 문법적 처리 강제는 의미 있는 복구와 충분한 진단 문맥을 자동으로 보장하지 않습니다.