New type checker doesn't allow comparisons between unknown types: Status History

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