diff options
| author | bors <bors@rust-lang.org> | 2025-10-01 04:46:14 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2025-10-01 04:46:14 +0000 |
| commit | 1e1a39441bd11aba541a48ba714d939490fc7b85 (patch) | |
| tree | 658822e22dc6ec87d5afffd15f2c405c057238d9 /compiler/rustc_infer/src | |
| parent | fa3155a644dd62e865825087b403646be01d4cef (diff) | |
| parent | 598ba1f65f84e6627ba601bec669526c2f3cf128 (diff) | |
| download | rust-1e1a39441bd11aba541a48ba714d939490fc7b85.tar.gz rust-1e1a39441bd11aba541a48ba714d939490fc7b85.zip | |
Auto merge of #147198 - matthiaskrgr:rollup-b0ryvvu, r=matthiaskrgr
Rollup of 6 pull requests Successful merges: - rust-lang/rust#143069 (Add fast-path for accessing the current thread id) - rust-lang/rust#146518 (Improve the documentation around `ZERO_AR_DATE`) - rust-lang/rust#146596 (Add a dummy codegen backend) - rust-lang/rust#146617 (Don’t suggest foreign `doc(hidden)` types in "the following other types implement trait" diagnostics) - rust-lang/rust#146635 (cg_llvm: Stop using `as_c_char_ptr` for coverage-related bindings) - rust-lang/rust#147184 (Fix the bevy implied bounds hack for the next solver) r? `@ghost` `@rustbot` modify labels: rollup
Diffstat (limited to 'compiler/rustc_infer/src')
| -rw-r--r-- | compiler/rustc_infer/src/infer/outlives/obligations.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/compiler/rustc_infer/src/infer/outlives/obligations.rs b/compiler/rustc_infer/src/infer/outlives/obligations.rs index b989d419057..a640dcb1b4e 100644 --- a/compiler/rustc_infer/src/infer/outlives/obligations.rs +++ b/compiler/rustc_infer/src/infer/outlives/obligations.rs @@ -170,6 +170,10 @@ impl<'tcx> InferCtxt<'tcx> { std::mem::take(&mut self.inner.borrow_mut().region_obligations) } + pub fn clone_registered_region_obligations(&self) -> Vec<TypeOutlivesConstraint<'tcx>> { + self.inner.borrow().region_obligations.clone() + } + pub fn register_region_assumption(&self, assumption: ty::ArgOutlivesPredicate<'tcx>) { let mut inner = self.inner.borrow_mut(); inner.undo_log.push(UndoLog::PushRegionAssumption); |