Type argument inference depends on irrelevant annotations

[wmdietl]

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.