bug: type checker forgets non-nullness after 1 line: Status History

Below is the history of changes to this idea's status. Return to the idea.