[Checkers] Lines in checkMethodInvocability

Artemus Harper subanark at gmail.com
Tue Oct 7 16:33:37 EDT 2008

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


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
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 

More information about the checkers mailing list