7 Commits

Author	SHA1	Message	Date
Michael Goulet	8f579497f7	Don't call const normalize in error reporting	2024-09-22 13:55:06 -04:00
Alex Macleod	d0112c6849	Spell out other trait diagnostic	2024-06-12 12:34:47 +00:00
Oli Scherer	6cca6da126	Revert "When checking whether an impl applies, constrain hidden types of opaque types." ... This reverts commit 29a630eb72.	2024-06-11 08:08:25 +00:00
Oli Scherer	29a630eb72	When checking whether an impl applies, constrain hidden types of opaque types. ... We already handle this case this way on the coherence side, and it matches the new solver's behaviour. While there is some breakage around type-alias-impl-trait (see new "type annotations needed" in tests/ui/type-alias-impl-trait/issue-84660-unsoundness.rs), no stable code breaks, and no new stable code is accepted.	2024-05-23 15:52:10 +00:00
Oli Scherer	ae24fef028	Use TraitRef::to_string sorting in favor of TraitRef::ord, as the latter compares DefIds which we need to avoid	2024-03-27 14:02:15 +00:00
Michael Goulet	2c33dfea76	Don't sort strings right after we just sorted by types	2023-06-27 23:31:06 +00:00
Albert Larsan	cf2dff2b1e	Move /src/test to /tests	2023-01-11 09:32:08 +00:00