docs: public static boolean isCheckedExceptionType(Type t, VisitorState state) {
      Symtab symtab = state.getSymtab();
      return isSubtype(t, symtab.exceptionType, state)
          && !isSubtype(t, symtab.runtimeExceptionType, state);
    }