diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2023-07-27 16:05:15 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-07-27 16:05:15 +0200 |
| commit | 0bebfa39cc250c3341e574776ac3999ad21c925c (patch) | |
| tree | 1b4a09a849a2e2fea97a78f3e6e065689d85c10b /tests/rustdoc/inline_cross/impl-inline-without-trait.rs | |
| parent | eb1f1a4cc017d383ab1c6b1e24061ffa83d75555 (diff) | |
| parent | 1ffc6ca9a513d1a3a928cc1d32b21d55d6326bb3 (diff) | |
| download | rust-0bebfa39cc250c3341e574776ac3999ad21c925c.tar.gz rust-0bebfa39cc250c3341e574776ac3999ad21c925c.zip | |
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.
Diffstat (limited to 'tests/rustdoc/inline_cross/impl-inline-without-trait.rs')
0 files changed, 0 insertions, 0 deletions