docs: public Label removeCatchClause(TypeId<? extends Throwable> toCatch) {
          int index = catchTypes.indexOf(toCatch);
          if (index == -1) {
              throw new IllegalArgumentException("No catch clause: " + toCatch);
          }
          catchTypes.remove(index);
          catches = toTypeList(catchTypes);
          return catchLabels.remove(index);
      }