[Checkers] BasicChecker Question

[Mahmood Ali]

Hi Matt,

Does the Flow class operate on non-polymorphic types only?  I noticed  
that in BasicChecker flowQuals contains all supported qualifiers but  
polymorphic ones.  I am thinking of the following trivial method:

@NullPoly identity(@NullPoly String s) {
     String m = s;
     return m;
}

- Mahmood