mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-26 03:13:40 +07:00
testdata for IDEA-126809
This commit is contained in:
+27
@@ -0,0 +1,27 @@
|
||||
import java.util.Optional;
|
||||
import java.util.Set;
|
||||
import java.util.stream.Stream;
|
||||
|
||||
import static java.util.stream.Collectors.toSet;
|
||||
|
||||
class App {
|
||||
|
||||
{
|
||||
final User user = new User("test", Stream.of("TEST").collect(toSet()));
|
||||
Optional.of(user).map(u -> new User(u.getName(),
|
||||
u.getAttributes().stream().filter(a -> !a.equals("TEST")).collect(toSet())));
|
||||
}
|
||||
|
||||
private static final class User {
|
||||
User(final String name, final Set<String> attributes) {
|
||||
}
|
||||
|
||||
public String getName() {
|
||||
return null;
|
||||
}
|
||||
|
||||
public Set<String> getAttributes() {
|
||||
return null;
|
||||
}
|
||||
}
|
||||
}
|
||||
Reference in New Issue
Block a user