// Test case for issue #1000:
// https://github.com/typetools/checker-framework/issues/1000

import java.util.Optional;
import org.checkerframework.checker.nullness.qual.Nullable;

public class Issue1000 {
  void illegalInstantiation(Optional<@Nullable String> arg) {}

  String orElseAppliedToNonNull(Optional<String> opt) {
    return opt.orElse("");
  }

  String orElseAppliedToNullable(Optional<String> opt) {
    // :: error: (return)
    return opt.orElse(null);
  }
}