On 05/31/2017 02:10 AM, Vasileios Anagnostopoulos wrote:
> compiler enforced @throwsFor that to be possible, the compiler would have to see all definitions, which is not possible with separate compilation.
Besides, I think the only meaning of @throws would be "may throw". If so, since the implementation of every function can be changed to call any other function, the possibility of throwing would always exist.
Ali