From 63eedfcf536f02e09e7dca7290b803ad8aa243f9 Mon Sep 17 00:00:00 2001 From: Niko Matsakis Date: Fri, 21 Aug 2015 14:45:25 -0400 Subject: [PATCH] missed one reference to "best" --- src/librustc_data_structures/transitive_relation.rs | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/src/librustc_data_structures/transitive_relation.rs b/src/librustc_data_structures/transitive_relation.rs index 374c0a93a74c..9d99f77deb9c 100644 --- a/src/librustc_data_structures/transitive_relation.rs +++ b/src/librustc_data_structures/transitive_relation.rs @@ -93,10 +93,11 @@ impl TransitiveRelation { } } - /// 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