diff options
| author | bors <bors@rust-lang.org> | 2024-03-14 18:58:53 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-03-14 18:58:53 +0000 |
| commit | fd27e8745f0f04dc7c289893ef54a618c7c9e1da (patch) | |
| tree | a857dd72996ec0e6af62e0441b7e87f19701d2d3 /src | |
| parent | 30f74ff0dc4d66debc8b50724c446f817e5f75f4 (diff) | |
| parent | c8f0f17ed2182f6eca05e112e6ec7d2ceeebb8f5 (diff) | |
Auto merge of #119849 - lcnr:eagerly-instantiate-binders, r=compiler-errors
more eagerly instantiate binders The old solver sometimes incorrectly used `sub`, change it to explicitly instantiate binders and use `eq` instead. While doing so I also moved the instantiation before the normalize calls. This caused some observable changes, will explain these inline. This PR therefore requires a crater run and an FCP. r? types
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/tidy/src/issues.txt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/tools/tidy/src/issues.txt b/src/tools/tidy/src/issues.txt index 91bbf5041ff..0ef962c2df8 100644 --- a/src/tools/tidy/src/issues.txt +++ b/src/tools/tidy/src/issues.txt @@ -1107,7 +1107,6 @@ "ui/generic-associated-types/issue-92954.rs", "ui/generic-associated-types/issue-93141.rs", "ui/generic-associated-types/issue-93262.rs", -"ui/generic-associated-types/issue-93340.rs", "ui/generic-associated-types/issue-93341.rs", "ui/generic-associated-types/issue-93342.rs", "ui/generic-associated-types/issue-93874.rs", |