diff options
| author | bors <bors@rust-lang.org> | 2022-07-05 23:12:34 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-07-05 23:12:34 +0000 |
| commit | f342bea9d19f14616c6559312552e6d0ee529cfd (patch) | |
| tree | ebcd7b37e2b6a58192dd7e9a9d4f6e377fa23136 /compiler/rustc_mir_dataflow/src/framework | |
| parent | 7b46aa594c4bdc507fbd904b6777ca30c37a9209 (diff) | |
| parent | 0eded16705a493d53c8b5c646e2eb4be68ba9224 (diff) | |
| download | rust-f342bea9d19f14616c6559312552e6d0ee529cfd.tar.gz rust-f342bea9d19f14616c6559312552e6d0ee529cfd.zip | |
Auto merge of #98963 - GuillaumeGomez:rollup-n030us5, r=GuillaumeGomez
Rollup of 6 pull requests Successful merges: - #95503 (bootstrap: Allow building individual crates) - #96814 (Fix repr(align) enum handling) - #98256 (Fix whitespace handling after where clause) - #98880 (Proper macOS libLLVM symlink when cross compiling) - #98944 (Edit `rustc_mir_dataflow::framework::lattice::FlatSet` docs) - #98951 (Update books) Failed merges: r? `@ghost` `@rustbot` modify labels: rollup
Diffstat (limited to 'compiler/rustc_mir_dataflow/src/framework')
| -rw-r--r-- | compiler/rustc_mir_dataflow/src/framework/lattice.rs | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/compiler/rustc_mir_dataflow/src/framework/lattice.rs b/compiler/rustc_mir_dataflow/src/framework/lattice.rs index 9a462f6e1a4..d6b89eb8227 100644 --- a/compiler/rustc_mir_dataflow/src/framework/lattice.rs +++ b/compiler/rustc_mir_dataflow/src/framework/lattice.rs @@ -199,14 +199,16 @@ impl<T: JoinSemiLattice> MeetSemiLattice for Dual<T> { } /// Extends a type `T` with top and bottom elements to make it a partially ordered set in which no -/// value of `T` is comparable with any other. A flat set has the following [Hasse diagram]: +/// value of `T` is comparable with any other. +/// +/// A flat set has the following [Hasse diagram]: /// /// ```text -/// top -/// / / \ \ +/// top +/// / ... / / \ \ ... \ /// all possible values of `T` -/// \ \ / / -/// bottom +/// \ ... \ \ / / ... / +/// bottom /// ``` /// /// [Hasse diagram]: https://en.wikipedia.org/wiki/Hasse_diagram |