diff options
| author | bors <bors@rust-lang.org> | 2022-09-08 19:01:39 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-09-08 19:01:39 +0000 |
| commit | 1120c5e01df508de64fe6642f22fadeb574afd6d (patch) | |
| tree | 78f3a29b504586b16e14494ce72239c39b69a4fe /compiler/rustc_parse/src | |
| parent | 87788097b776f8e3662f76627944230684b671bd (diff) | |
| parent | 76b494a9dd7ba5a151882afc7c85a75c5aeb94db (diff) | |
| download | rust-1120c5e01df508de64fe6642f22fadeb574afd6d.tar.gz rust-1120c5e01df508de64fe6642f22fadeb574afd6d.zip | |
Auto merge of #101437 - compiler-errors:erase-normalize-ordering, r=tmandry
Normalize before erasing late-bound regions in `equal_up_to_regions` Normalize erasing regions **first**, before passing the type through a `BottomUpFolder` which erases late-bound regions too. The root cause of this issue is due to 96d4137deed6c52c6db2dd19568c37d1c160f1e7, which removes a `normalize_erasing_regions` that happens before this call to `equal_up_to_regions`. While reverting that commit might be a fix, I think it was suspicious to be erasing late-bound regions first _then_ normalizing types in the first place in `equal_up_to_regions`. ----- I am tempted to ask the reviewer to review and `r+` this without a UI test, since the existing issues that I think this fixes are all incredibly difficult to minimize (anything hyper/warp related, given the nature of those libraries :sweat:) or impossible to reproduce locally (the miri test), namely: * This recently reported issue with tokio + warp: #101430 * This issue from `@RalfJung` about Miri being broken: #101344 * This additional issue reported in a comment by `@tmandry` (issue with fuchsia + hyper): https://github.com/rust-lang/rust/issues/101344#issuecomment-1235974564 I have locally verified that the repro in #101430 is fixed with this PR, but after a couple of hours of attempting to minimize this error and either failing to actually repro the ICE, or being overwhelmed with the number of traits and functions I need to inline into a UI test, I have basically given up. Thoughts are appreciated on how best to handle this. r? `@oli-obk` who is at the intersection of MIR and types-related stuff who may be able to give advice :sweat_smile:
Diffstat (limited to 'compiler/rustc_parse/src')
0 files changed, 0 insertions, 0 deletions
