On Tue, Aug 11, 2009 at 3:59 PM, Eric Seidel <eric@webkit.org> wrote:

Didn't we just have a thread about this a couple weeks ago, and decided that it's better if the Compiler checked/documented this sort of thing?  Oliver had worked on some classes to enforce null checking iirc...

This is related but different.  It's more about documenting the dependencies and how/when things become null rather than whether they _can_ become null.