Never Say Never, Part Two

Whether we have a "never" return type or not, we need to be able to determine when the end point of a method is unreachable for error reporting in methods that have non-void return type. The compiler is pretty clever about working that out; it can handle situations like int M(){  try  {    while(true) N();  }  catch(Exception ex)   {     throw new WrappingException(ex);    }}The compiler knows