super(message, cause);
    }
  }

  public static final class ExceptionWithManyConstructorsButOnlyOneThrowable extends Exception {
    private @Nullable Throwable antecedent;

    public ExceptionWithManyConstructorsButOnlyOneThrowable(String message, String a1) {
      super(message);
    }

    public ExceptionWithManyConstructorsButOnlyOneThrowable(String message, String a1, String a2) {
      super(message);
    }

      super(message, cause);
    }
  }

  public static final class ExceptionWithManyConstructorsButOnlyOneThrowable extends Exception {
    private @Nullable Throwable antecedent;

    public ExceptionWithManyConstructorsButOnlyOneThrowable(String message, String a1) {
      super(message);
    }

    public ExceptionWithManyConstructorsButOnlyOneThrowable(String message, String a1, String a2) {
      super(message);
    }

  public void testPrefersConstructorWithThrowableParameter() {
    ExceptionWithManyConstructorsButOnlyOneThrowable exception =
        assertThrows(
            ExceptionWithManyConstructorsButOnlyOneThrowable.class,
            () ->
                getChecked(
                    FAILED_FUTURE_CHECKED_EXCEPTION,
                    ExceptionWithManyConstructorsButOnlyOneThrowable.class));