From 36809bf260dd3951fd9ffaa14556246abb17e5ea Mon Sep 17 00:00:00 2001
From: Niko Matsakis <niko@alum.mit.edu>
Date: Fri, 21 Aug 2015 10:54:24 -0400
Subject: [PATCH] clarify diagonal arrows

---
 src/librustc_data_structures/transitive_relation.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/librustc_data_structures/transitive_relation.rs b/src/librustc_data_structures/transitive_relation.rs
index 384e94fcc5eb5..311ca054e8702 100644
--- a/src/librustc_data_structures/transitive_relation.rs
+++ b/src/librustc_data_structures/transitive_relation.rs
@@ -112,6 +112,7 @@ impl<T:Debug+PartialEq> TransitiveRelation<T> {
     /// b -> b1 ---+
     ///
     /// // returns Some(x), which is not LUB (there is none)
+    /// // diagonal edges run left-to-right
     /// a -> a1 -> x
     ///   \/       ^
     ///   /\       |
@@ -400,6 +401,7 @@ fn mubs_best_choice_scc() {
 
 #[test]
 fn bub_crisscross() {
+    // diagonal edges run left-to-right
     // a -> a1 -> x
     //   \/       ^
     //   /\       |
@@ -419,6 +421,7 @@ fn bub_crisscross() {
 
 #[test]
 fn bub_crisscross_more() {
+    // diagonal edges run left-to-right
     // a -> a1 -> a2 -> a3 -> x
     //   \/    \/             ^
     //   /\    /\             |