bug: type checker behaves differently when module used explicitly with regards of null check, poly-type: Status History

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