From their description, the only difference should be whether type arguments need to be inferred.
However, in reality, there is also a difference in whether varargs are resolved.
A nice simplification https://github.com/eisop/checker-framework/pull/1703/changes#diff-c673b7cd25ba4a9498c70d5aac4b4a2b88fd5ba96689187ed2150cfcd9285d6dR2170 did not work out.
Quick work-arounds did not work, so I'm opening this issue to investigate more deeply.
See 7c9cd78
From their description, the only difference should be whether type arguments need to be inferred.
However, in reality, there is also a difference in whether varargs are resolved.
A nice simplification https://github.com/eisop/checker-framework/pull/1703/changes#diff-c673b7cd25ba4a9498c70d5aac4b4a2b88fd5ba96689187ed2150cfcd9285d6dR2170 did not work out.
Quick work-arounds did not work, so I'm opening this issue to investigate more deeply.
See 7c9cd78