JSpecify: properly support anonymous classes using diamond operator

[msridhar]

#1464 adds initial support for constructor invocations using the diamond operator, but it does not yet handle anonymous classes, just invocations without a class body.