Use adapted bounds for method/constructor type arguments - #1850

[argument.type.incompatible] incompatible argument for parameter arg0 of Set.add" Out.txt

[argument.type.incompatible] incompatible argument for parameter name of Demo.generateGreeting." Out.txt) \

[assignment.type.incompatible] incompatible types in assignment." Out.txt || (echo "FAILURE. Here is file Out.txt:" && cat Out.txt && echo "End of file Out.txt." && false)

[argument.type.incompatible] incompatible argument for parameter arg0 of Set.add." Out.txt

[assignment.type.incompatible] incompatible types in assignment." Out.txt \

[argument.type.incompatible] incompatible argument for parameter y of FooBuilder.y." Out.txt \

no @PARAM for <S>

no @PARAM for <V>

no @PARAM for <T>

no @PARAM for <S>

no @PARAM for <V>

no @PARAM for <P>

no @PARAM for <R>

no @PARAM for <Factory>

[NullAway] passing @nullable parameter 'null' where @nonnull is required" Out.txt \