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

import java.util.List;
import java.util.stream.*;

public class Issue529 {

  // Crashes:
  public Stream<String> test(List<String> list) {
    return list.stream().map(e -> e);
  }

  // OK:
  public Stream<String> test2(List<String> list) {
    return list.stream();
  }

  // OK:
  public Stream<String> test3(Stream<String> stream) {
    return stream.map(e -> e);
  }
}