[Checkers] Javac Bug Reports

Matt Papi mpapi at csail.mit.edu
Sat May 17 17:18:03 EDT 2008

> Actually upon more investigation, I realized that it's a bug in Flow, as the
> assertion always fails when accessing fields on other objects, as the field
> wouldn't exist in the scope.

I thought I'd added recently addressed that possibility. I can't check
at the moment (on a borrowed computer), so I'll take a look when I'm
back at my machine.

- Matt

More information about the checkers mailing list