Correct typo
This commit is contained in:
parent
1f72129ffe
commit
5a685a10ec
1 changed files with 1 additions and 1 deletions
|
@ -23,7 +23,7 @@ impl<'tcx> EvalCtxt<'_, 'tcx> {
|
||||||
&mut self,
|
&mut self,
|
||||||
goal: Goal<'tcx, ProjectionPredicate<'tcx>>,
|
goal: Goal<'tcx, ProjectionPredicate<'tcx>>,
|
||||||
) -> QueryResult<'tcx> {
|
) -> QueryResult<'tcx> {
|
||||||
// To only compute normalization ones for each projection we only
|
// To only compute normalization once for each projection we only
|
||||||
// normalize if the expected term is an unconstrained inference variable.
|
// normalize if the expected term is an unconstrained inference variable.
|
||||||
//
|
//
|
||||||
// E.g. for `<T as Trait>::Assoc = u32` we recursively compute the goal
|
// E.g. for `<T as Trait>::Assoc = u32` we recursively compute the goal
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue