diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2025-05-25 15:11:49 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-05-25 15:11:49 +0200 |
| commit | 43cb506383b0aa98924305804547f461653650f8 (patch) | |
| tree | 406054a6c230d35e73da8072382f570897b7faca /compiler/rustc_trait_selection/src/solve/select.rs | |
| parent | 5cc27332b56464f6dc76fdc611959f9187889ac9 (diff) | |
| parent | 9a8cf3dd0c92afeaac7a83e8d178f1b002ac42b0 (diff) | |
| download | rust-43cb506383b0aa98924305804547f461653650f8.tar.gz rust-43cb506383b0aa98924305804547f461653650f8.zip | |
Rollup merge of #141541 - compiler-errors:nits, r=lcnr
Random nits Two completely random commits that I didn't know where to integrate into another PR. * Don't use the full type relation machinery to equate two regions (it's overkill). * Add a comment that `select_in_new_trait_solver` shouldn't be used directly. r? lcnr or reassign
Diffstat (limited to 'compiler/rustc_trait_selection/src/solve/select.rs')
| -rw-r--r-- | compiler/rustc_trait_selection/src/solve/select.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/rustc_trait_selection/src/solve/select.rs b/compiler/rustc_trait_selection/src/solve/select.rs index 1f3168fafb1..21812c8017d 100644 --- a/compiler/rustc_trait_selection/src/solve/select.rs +++ b/compiler/rustc_trait_selection/src/solve/select.rs @@ -15,6 +15,7 @@ use crate::solve::inspect::{self, ProofTreeInferCtxtExt}; #[extension(pub trait InferCtxtSelectExt<'tcx>)] impl<'tcx> InferCtxt<'tcx> { + /// Do not use this directly. This is called from [`crate::traits::SelectionContext::select`]. fn select_in_new_trait_solver( &self, obligation: &TraitObligation<'tcx>, |