[Checkers] Exception in checker's API

Mahmood Ali mahmood at MIT.EDU
Mon Sep 8 10:08:18 EDT 2008

Hi Artemus,

I am glad that you figured it out.  Unfortunately, the compiler only  
enrich type annotations with proper targets after type-checking (we  
should change that), so TypeFromElement fails when operating on an  
element directly if its corresponding declaration tree is available.


More information about the checkers mailing list