If you mouse over a local, field, etc., and we have computed nullable
flow analysis for it, we'll tell you whether the compiler thinks the
item is null or not at that point.