FYI: Duplicate extension method.

[a1730]

Java 17 has toList in its Stream class.

warning: Duplicate extension method. 'toList(java.util.stream.Stream)' from 'manifold.collections.extensions.java.util.stream.Stream.ManifoldStreamCollectionsExt' duplicates a method in the extended class 'java.util.stream.Stream'

Thank you for Manifold.

[rsmckinney]

Hi @a1730. This is expected since Manifold targets all Java versions (currently 8-18) with a single library. As such ManifoldStreamCollectionsExt#toList is always present and duplicates the method in newer Java releases, however it is safe because a duplicate extension method is ignored, hence the warning.

I'm going to add an annotation so extension method authors can tag known duplicates that are semantically the same. In this case manifold will skip the method and avoid the warning. Thanks for bringing this up. See #364

[a1730]

Hi @rsmckinney ,
Thank you for the quick response, and near instantaneous technical resolution in #364.
I am closing this issue in difference to #134.
Thank you for manifold.