Rollup merge of #82635 - pierwill:edit-infer, r=oli-obk
Fix typos in rustc_infer::infer::nll_relate
This commit is contained in:
commit
6873831139
1 changed files with 2 additions and 2 deletions
|
@ -44,7 +44,7 @@ where
|
||||||
{
|
{
|
||||||
infcx: &'me InferCtxt<'me, 'tcx>,
|
infcx: &'me InferCtxt<'me, 'tcx>,
|
||||||
|
|
||||||
/// Callback to use when we deduce an outlives relationship
|
/// Callback to use when we deduce an outlives relationship.
|
||||||
delegate: D,
|
delegate: D,
|
||||||
|
|
||||||
/// How are we relating `a` and `b`?
|
/// How are we relating `a` and `b`?
|
||||||
|
@ -768,7 +768,7 @@ impl<'me, 'tcx> TypeVisitor<'tcx> for ScopeInstantiator<'me, 'tcx> {
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
/// The "type generalize" is used when handling inference variables.
|
/// The "type generalizer" is used when handling inference variables.
|
||||||
///
|
///
|
||||||
/// The basic strategy for handling a constraint like `?A <: B` is to
|
/// The basic strategy for handling a constraint like `?A <: B` is to
|
||||||
/// apply a "generalization strategy" to the type `B` -- this replaces
|
/// apply a "generalization strategy" to the type `B` -- this replaces
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue