sheaf authored Jul 03, 2023 and Marge Bot committed Jul 05, 2023

This extra bit of information was accidentally being discarded after
a refactoring of the way we reported problems when unifying a type
variable with another type. This patch rectifies that.