// Test case for Issue 369: | |
// https://github.com/typetools/checker-framework/issues/369 | |
import static java.util.stream.Collectors.toSet; | |
import java.util.stream.Stream; | |
public class Issue369 { | |
static void test(Stream<Integer> stream) { | |
stream.collect(toSet()); | |
} | |
} |