[Checkers] Lines in checkMethodInvocability

[Artemus Harper]

The method checkMethodInvocability in the BaseTypeVisitor has the following:
        AnnotatedTypeMirror treeReceiver = methodReceiver.getCopy(false);

treeReceiver.addAnnotations(atypeFactory.getReceiver(node).getAnnotations());

This is copying the annotations from the current method receiver to those on
a copy of the invoked method.
If the invoked method has a different type then this could cause a problem
with generic resolution (and it prevents the type factory from making any
changes).
Otherwise this is unnecessary.

It seems that the visitMethodInvocation which calls this has already
transformed the receiver to the correct type.

-- 
Artemus Harper
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.csail.mit.edu/mailman/private/checkers/attachments/20081007/8af924af/attachment.htm