checker/tests/nullness-extra/issue559/myjdk.astub

package java.util;

public class Optional<T> {
    // In contrast to the annotated JDK, here
    // we have no @Nullable on the parameter and return types.
    public T orElse(T other);
}