diff options
| author | bors <bors@rust-lang.org> | 2024-04-08 23:01:50 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-04-08 23:01:50 +0000 |
| commit | b234e449443a49ab19ef6b712bf56cc65927d98f (patch) | |
| tree | 0bcbc6cc6c7c3537f2d7fdd56ab6cc703f49552d /src/tools | |
| parent | ab5bda1aa70f707014e2e691e43bc37a8819252a (diff) | |
| parent | dc97b1eb587fe2db207bfe8c2e914034ab9b9306 (diff) | |
| download | rust-b234e449443a49ab19ef6b712bf56cc65927d98f.tar.gz rust-b234e449443a49ab19ef6b712bf56cc65927d98f.zip | |
Auto merge of #122077 - oli-obk:eager_opaque_checks4, r=lcnr
Pass list of defineable opaque types into canonical queries This eliminates `DefiningAnchor::Bubble` for good and brings the old solver closer to the new one wrt cycles and nested obligations. At that point the difference between `DefiningAnchor::Bind([])` and `DefiningAnchor::Error` was academic. We only used the difference for some sanity checks, which actually had to be worked around in places, so I just removed `DefiningAnchor` entirely and just stored the list of opaques that may be defined. fixes #108498 fixes https://github.com/rust-lang/rust/issues/116877 * [x] run crater - https://github.com/rust-lang/rust/pull/122077#issuecomment-2013293931
Diffstat (limited to 'src/tools')
| -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 060a6fa903f..e14932ad99d 100644 --- a/src/tools/tidy/src/issues.txt +++ b/src/tools/tidy/src/issues.txt @@ -4132,7 +4132,6 @@ ui/type-alias-impl-trait/issue-52843.rs ui/type-alias-impl-trait/issue-53092-2.rs ui/type-alias-impl-trait/issue-53092.rs ui/type-alias-impl-trait/issue-53096.rs -ui/type-alias-impl-trait/issue-53398-cyclic-types.rs ui/type-alias-impl-trait/issue-53598.rs ui/type-alias-impl-trait/issue-53678-coroutine-and-const-fn.rs ui/type-alias-impl-trait/issue-55099-lifetime-inference.rs |