// Test case for Issue 1416. | |
// https://github.com/typetools/checker-framework/issues/1416 | |
import java.util.Comparator; | |
import java.util.stream.Stream; | |
public class Issue1416 { | |
@SuppressWarnings("signedness") | |
long order(Stream<Long> sl) { | |
return sl.max(Comparator.naturalOrder()).orElse(0L); | |
} | |
} |