JDK-8072723: Enhance Stream.distinct() for customization

Backport of Java 8/9 java.util.stream API to Java 6/7 and Android

Brought to you by: stefan-zobel

Milestone: on hold

Status: open

Owner: Stefan Zobel

Labels: Java 11 (31) Feature (98) P3 (127)

Updated: 2018-04-07

Created: 2018-04-07

Private: No

Enhance Stream.distinct() to allow customization of what is considered "distinct"

Anonymous