- Should check `@throws` declarations for methods with `throw`s statements; - Should check types (as well as returns do); - Should check throws only in current scope (as well as returns do). Any suggestions?