diff options
| -rw-r--r-- | compiler/rustc_trait_selection/src/solve/eval_ctxt.rs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/compiler/rustc_trait_selection/src/solve/eval_ctxt.rs b/compiler/rustc_trait_selection/src/solve/eval_ctxt.rs index 20ed572df80..be138e0ab54 100644 --- a/compiler/rustc_trait_selection/src/solve/eval_ctxt.rs +++ b/compiler/rustc_trait_selection/src/solve/eval_ctxt.rs @@ -189,6 +189,11 @@ impl<'tcx> EvalCtxt<'_, 'tcx> { }) } + /// Equates two values returning the nested goals without adding them + /// to the nested goals of the `EvalCtxt`. + /// + /// If possible, try using `eq` instead which automatically handles nested + /// goals correctly. #[instrument(level = "debug", skip(self, param_env), ret)] pub(super) fn eq_and_get_goals<T: ToTrace<'tcx>>( &self, |