Closed
Description
There are a litany of "make sure these two types are the same" functions in various places in typeck (require_same_types, require_same_types_in_infcx, are_compatible, compare_tys), some of which are only used in one place. We should consolidate these.