eisop / checker-framework

Pluggable type-checking for Java
https://eisop.github.io/
Other
18 stars 18 forks source link

Type argument inference depends on irrelevant annotations #705

Open wmdietl opened 8 months ago

wmdietl commented 8 months ago

While fixing #704 I noticed that the Regex Checker failed on the test case only if the @NonNull annotation was present on the return type of the or method.

As @NonNull is not part of the Regex type hierarchy, it should not make a difference for type inference whether that annotation is present or not.