指定したコード行に到達不能なことを示します。また、到達可能であっても、この事を示すエラーをスローします。