diff options
Diffstat (limited to 'src/librustc/traits/util.rs')
| -rw-r--r-- | src/librustc/traits/util.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/librustc/traits/util.rs b/src/librustc/traits/util.rs index d8b1effe09b..c15915a9d56 100644 --- a/src/librustc/traits/util.rs +++ b/src/librustc/traits/util.rs @@ -80,7 +80,7 @@ impl<T: AsRef<ty::Predicate<'tcx>>> Extend<T> for PredicateSet<'tcx> { /////////////////////////////////////////////////////////////////////////// /// "Elaboration" is the process of identifying all the predicates that -/// are implied by a source predicate. Currently this basically means +/// are implied by a source predicate. Currently, this basically means /// walking the "supertraits" and other similar assumptions. For example, /// if we know that `T: Ord`, the elaborator would deduce that `T: PartialOrd` /// holds as well. Similarly, if we have `trait Foo: 'static`, and we know that |