diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2015-08-21 14:45:25 -0400 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2015-08-21 14:45:25 -0400 |
| commit | 63eedfcf536f02e09e7dca7290b803ad8aa243f9 (patch) | |
| tree | fa2d025c0babcc6466567ac2627054aee75ad965 | |
| parent | 1630c7912f986f788b808160a004baea4180b64f (diff) | |
| download | rust-63eedfcf536f02e09e7dca7290b803ad8aa243f9.tar.gz rust-63eedfcf536f02e09e7dca7290b803ad8aa243f9.zip | |
missed one reference to "best"
| -rw-r--r-- | src/librustc_data_structures/transitive_relation.rs | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/librustc_data_structures/transitive_relation.rs b/src/librustc_data_structures/transitive_relation.rs index 374c0a93a74..9d99f77deb9 100644 --- a/src/librustc_data_structures/transitive_relation.rs +++ b/src/librustc_data_structures/transitive_relation.rs @@ -93,10 +93,11 @@ impl<T:Debug+PartialEq> TransitiveRelation<T> { } } - /// Picks what I am referring to as the "best" upper-bound for `a` - /// and `b`. This is usually the least upper bound, but in cases where - /// there is no single least upper bound, it is the "mutual immediate postdominator", - /// if you imagine a graph where `a < b` means `a -> b`. + /// Picks what I am referring to as the "postdominating" + /// upper-bound for `a` and `b`. This is usually the least upper + /// bound, but in cases where there is no single least upper + /// bound, it is the "mutual immediate postdominator", if you + /// imagine a graph where `a < b` means `a -> b`. /// /// This function is needed because region inference currently /// requires that we produce a single "UB", and there is no best |
