And the type checker is just surfacing that reality.