Receiver of orElseThrow(Supplier) is @MaybePresent

Author: mernst

src/java.base/share/classes/java/util/Optional.java

@@ -434,8 +434,10 @@ public T orElseThrow(@Present Optional<T> this) {
      * @throws NullPointerException if no value is present and the exception
      *          supplying function is {@code null}
      */
+    @CFComment({"optional: orElseThrow(Supplier) does not throw NoSuchElementException, so its receiver is @MaybePresent.",
+                "Contrast with orElseThrow(), defined just above, whose receiver is @Present."})
     @EnsuresQualifier(expression = "this", qualifier = Present.class)
-    public <X extends Throwable> T orElseThrow(@Present Optional<T> this, Supplier<? extends X> exceptionSupplier) throws X {
+    public <X extends Throwable> T orElseThrow(Supplier<? extends X> exceptionSupplier) throws X {
         if (value != null) {
             return value;
         } else {