--- old/src/java.base/share/classes/java/time/format/DateTimeFormatterBuilder.java	2019-09-10 13:58:19.000000000 -0700
+++ new/src/java.base/share/classes/java/time/format/DateTimeFormatterBuilder.java	2019-09-10 13:58:19.000000000 -0700
@@ -3200,7 +3200,7 @@
                 char ch = text.charAt(pos++);
                 int digit = context.getDecimalStyle().convertToDigit(ch);
                 if (digit < 0) {
-                    if (pos < minEndPos) {
+                    if (pos <= minEndPos) {
                         return ~position;  // need at least min width digits
                     }
                     pos--;