outlives/env: fix comment, say must and not should

This commit is contained in:
Niko Matsakis 2017-12-04 10:54:38 -05:00
parent 271616088f
commit ab2bc9f073

View file

@ -152,7 +152,7 @@ impl<'a, 'gcx: 'tcx, 'tcx: 'a> OutlivesEnvironment<'tcx> {
/// Processes outlives bounds that are known to hold, whether from implied or other sources. /// Processes outlives bounds that are known to hold, whether from implied or other sources.
/// ///
/// The `infcx` parameter is optional; if the implied bounds may /// The `infcx` parameter is optional; if the implied bounds may
/// contain inference variables, it should be supplied, in which /// contain inference variables, it must be supplied, in which
/// case we will register "givens" on the inference context. (See /// case we will register "givens" on the inference context. (See
/// `RegionConstraintData`.) /// `RegionConstraintData`.)
fn add_outlives_bounds<I>( fn add_outlives_bounds<I>(