bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

add comments

Browse source 
Co-authored-by: lcnr <rust@lcnr.de>
This commit is contained in:
Boxy 2023-03-17 13:34:20 +00:00
parent ea08d3a47c
commit ce14a1eba0
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
compiler/rustc_trait_selection/src/solve/eval_ctxt.rs
View file

@ -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)] #[instrument(level = "debug", skip(self, param_env), ret)]
pub(super) fn eq_and_get_goals<T: ToTrace<'tcx>>( pub(super) fn eq_and_get_goals<T: ToTrace<'tcx>>(
&self, &self,