Отлов checked Exception в блоке try-catch

В сигнатуре метода может быть определено выбрасывание Exception любого типа (checked или unchecked), даже если в теле метода никакой Exception не выбрасывается.

Но блок try-catch не может отлавливать checked Exception, если он не выбрасывается в теле try.

// скомпилируется успешно
void method1() throws IOException { }

void method2()  {
        try { 
        } catch(IOException e) { } // ошибка компиляции. IOException никогда не будет выброшен
    }