Disposed Closure VS Null Verification Follow

I believe these two are contradicting each other. The first one checks if the variable is null and says it is never null. Another one says "Access to disposed closure" and asks to verify for null: