diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2015-08-21 10:54:24 -0400 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2015-08-21 10:55:04 -0400 |
| commit | 36809bf260dd3951fd9ffaa14556246abb17e5ea (patch) | |
| tree | c48eecd583f0fb679b3cf863a36996b5e33c5023 /src/librustc_data_structures | |
| parent | d5b679b23de78728fc99ab96cada036a0f91c7a2 (diff) | |
clarify diagonal arrows
Diffstat (limited to 'src/librustc_data_structures')
| -rw-r--r-- | src/librustc_data_structures/transitive_relation.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/librustc_data_structures/transitive_relation.rs b/src/librustc_data_structures/transitive_relation.rs index 384e94fcc5e..311ca054e87 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 // \/ \/ ^ // /\ /\ | |
