JSpecify mode: initial support for generic methods (with explicit type arguments at calls)

JSpecify mode: initial support for generic methods (with explicit type arguments at calls) #2609