diff options
| author | Chayim Refael Friedman <chayimfr@gmail.com> | 2025-09-04 02:09:59 +0300 |
|---|---|---|
| committer | Chayim Refael Friedman <chayimfr@gmail.com> | 2025-09-04 02:09:59 +0300 |
| commit | 5d13845e5be03ec3cbe0da3ce67b8272bc4c2e69 (patch) | |
| tree | cb1e8a3b5a423f3b5706c2a098f0ac5d737273ac /compiler/rustc_middle | |
| parent | a1208bf765ba783ee4ebdc4c29ab0a0c215806ef (diff) | |
| download | rust-5d13845e5be03ec3cbe0da3ce67b8272bc4c2e69.tar.gz rust-5d13845e5be03ec3cbe0da3ce67b8272bc4c2e69.zip | |
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.
Diffstat (limited to 'compiler/rustc_middle')
| -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( |