Add missing @Nullable annotation to Locale.getExtension. (#74)

This isn't a new API; we just missed this one.
jspecify · Oct 7, 2024 · 6cf6447 · 6cf6447
1 parent 416afad
commit 6cf6447
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/java.base/share/classes/java/util/Locale.java b/src/java.base/share/classes/java/util/Locale.java
@@ -1465,7 +1465,7 @@ public Locale stripExtensions() {
      * @see #UNICODE_LOCALE_EXTENSION
      * @since 1.7
      */
-    public String getExtension(char key) {
+    public @Nullable String getExtension(char key) {
         if (!LocaleExtensions.isValidKey(key)) {
             throw new IllegalArgumentException("Ill-formed extension key: " + key);
         }