diff options
| author | bors <bors@rust-lang.org> | 2024-03-11 19:01:15 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-03-11 19:01:15 +0000 |
| commit | 4ccbb7dc95596c7fc0c5756fdc47a17a56c085d3 (patch) | |
| tree | b36a408d7aff94b9359528d7e50ffebef00a66c5 /compiler/rustc_middle/src/traits/solve.rs | |
| parent | 6554a5645a13e4d9331fd028960d69be91d7492d (diff) | |
| parent | b0328c20ce75a56879bda08235242c21c1a451a1 (diff) | |
| download | rust-4ccbb7dc95596c7fc0c5756fdc47a17a56c085d3.tar.gz rust-4ccbb7dc95596c7fc0c5756fdc47a17a56c085d3.zip | |
Auto merge of #121796 - oli-obk:eager_opaque_checks3, r=lcnr
Make `DefiningAnchor::Bind` only store the opaque types that may be constrained, instead of the current infcx root item. This makes `Bind` almost always be empty, so we can start forwarding it to queries, allowing us to remove `Bubble` entirely (not done in this PR) The only behaviour change is in diagnostics. r? `@lcnr` `@compiler-errors`
Diffstat (limited to 'compiler/rustc_middle/src/traits/solve.rs')
| -rw-r--r-- | compiler/rustc_middle/src/traits/solve.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_middle/src/traits/solve.rs b/compiler/rustc_middle/src/traits/solve.rs index 95139b50cb8..dc4cd203415 100644 --- a/compiler/rustc_middle/src/traits/solve.rs +++ b/compiler/rustc_middle/src/traits/solve.rs @@ -114,7 +114,7 @@ impl MaybeCause { #[derive(Debug, PartialEq, Eq, Clone, Copy, Hash, HashStable, TypeFoldable, TypeVisitable)] pub struct QueryInput<'tcx, T> { pub goal: Goal<'tcx, T>, - pub anchor: DefiningAnchor, + pub anchor: DefiningAnchor<'tcx>, pub predefined_opaques_in_body: PredefinedOpaques<'tcx>, } |