Fix #10495.
This change means that the intricate reasoning in TcErrors around getting messages just right for nominal equalities is skipped for representational equalities.
Please register or sign in to comment
This change means that the intricate reasoning in TcErrors around getting messages just right for nominal equalities is skipped for representational equalities.