// Test case for Issue 363:
// https://github.com/typetools/checker-framework/issues/363
// @below-java8-jdk-skip-test
class Issue363 {
void foo(java.util.OptionalInt value) {
value.orElseThrow(() -> new Error());
}
void bar(java.util.OptionalInt value) {
java.util.function.Supplier<Error> s = () -> new Error();
value.orElseThrow(s);
}
}