diff options
| author | Jacob Pratt <jacob@jhpratt.dev> | 2025-09-04 01:43:22 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-09-04 01:43:22 -0400 |
| commit | b4f76b3de821b460e32934c8d80cd731434df4af (patch) | |
| tree | b85054f4bdaa0938c9c17b1c7a30965aa7800ec0 /compiler/rustc_middle/src | |
| parent | fbaf7ffba5decc556230d2ade0d1d592df8263a2 (diff) | |
| parent | 5d13845e5be03ec3cbe0da3ce67b8272bc4c2e69 (diff) | |
| download | rust-b4f76b3de821b460e32934c8d80cd731434df4af.tar.gz rust-b4f76b3de821b460e32934c8d80cd731434df4af.zip | |
Rollup merge of #146182 - ChayimFriedman2:ns-probe, r=jackh726
Don't require next-solver `ProbeRef` to be `Copy` rust-analyzer would like to use a non-interned `Probe` there. Also rename it to `Probe` for this reason. We can make it `Copy` (although then `Probe` will need to be `Clone` for rust-analyzer) but it seems just non-needed. r? types
Diffstat (limited to 'compiler/rustc_middle/src')
| -rw-r--r-- | compiler/rustc_middle/src/ty/context.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/rustc_middle/src/ty/context.rs b/compiler/rustc_middle/src/ty/context.rs index 72ab6ac612c..97c8a0336c2 100644 --- a/compiler/rustc_middle/src/ty/context.rs +++ b/compiler/rustc_middle/src/ty/context.rs @@ -738,8 +738,8 @@ impl<'tcx> Interner for TyCtxt<'tcx> { ) } - type ProbeRef = &'tcx inspect::Probe<TyCtxt<'tcx>>; - fn mk_probe_ref(self, probe: inspect::Probe<Self>) -> &'tcx inspect::Probe<TyCtxt<'tcx>> { + type Probe = &'tcx inspect::Probe<TyCtxt<'tcx>>; + fn mk_probe(self, probe: inspect::Probe<Self>) -> &'tcx inspect::Probe<TyCtxt<'tcx>> { self.arena.alloc(probe) } fn evaluate_root_goal_for_proof_tree_raw( |