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 /compiler/rustc_mir_transform/src/errors.rs | |
| 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 'compiler/rustc_mir_transform/src/errors.rs')
0 files changed, 0 insertions, 0 deletions