Eclipse Java-Compiler fails to interfere wildcard type

[HannesWell]

The Eclipse Java compiler fails to compile the following Java code snippet:

public static Stream<Class<? extends Annotation>> function(Stream<Annotation> annotations) {
	return annotations.map(Annotation::annotationType).filter(a -> true);
}

with the following error message

Type mismatch: cannot convert from Stream<Class<capture#31-of ? extends Annotation>> to Stream<Class<? extends Annotation>>

But javac compiles it successfully, in the Guice framework:
https://github.com/google/guice/blob/654032a954d55a00fc5ee90da815da98cb6676a1/core/src/com/google/inject/spi/BindingSourceRestriction.java#L348-L350

When you check out the guice git-repository that leads to one error in the project.

[iloveeclipse]

Which ECJ version?

[HannesWell]

Which ECJ version?

Version of org.eclipse.jdt.core.compiler.batch is 3.34.0.v20230405-0323.
I hope that's the right one.

[iloveeclipse]

OK, still broken on latest master, here is complete snippet:

import java.lang.annotation.Annotation;
import java.util.stream.Stream;

public class X {
	public static Stream<Class<? extends Annotation>> function(Stream<Annotation> annotations) {
		return annotations.map(Annotation::annotationType).filter(a -> true);
	}
}

We report: Type mismatch: cannot convert from Stream<Class<capture#1-of ? extends Annotation>> to Stream<Class<? extends Annotation>>

@srikanth-sankaran : FYI.

[trancexpress]

See also #366, #837. I think there might be a few more about wildcards.