Guillaume Gomez 0bebfa39cc Rollup merge of #114117 - compiler-errors:return-to-uniq, r=lcnr ... Restore region uniquification in the new solver 🎉 All of the bugs that were "due" to uniquification have been settled via other means (e.g. bidirectional alias-relate, param-env incompleteness, etc). Firstly, revert the functional changes in #110180. 😸 Secondly, we need to ignore regions when considering if a goal has changed (the "has_changed" boolean returned from `evaluate_goal`) -- otherwise, because we're doing region uniquification, we may perpetually consider a goal to be changed. See the UI test I committed for an explanation.		2023-07-27 16:05:15 +02:00
..
solve	Consider a goal as NOT changed if its response is identity modulo regions	2023-07-27 04:00:49 +00:00
traits	Don't treat negative trait predicates as always knowable	2023-07-26 01:35:51 +00:00
errors.rs	convert to fluent, make plurals work	2023-06-28 18:08:21 +00:00
infer.rs	allow opaques to be defined by trait queries	2023-07-14 12:35:33 +00:00
lib.rs	remove hash_drain_filter feature uses	2023-06-14 09:28:56 +02:00