diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2022-07-05 23:43:33 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-05 23:43:33 +0200 |
| commit | 5d650bb92e7bffbe92d0701b2ed5d7ffa40e63d4 (patch) | |
| tree | 88636b07468ea83d5f175973c21fafe4da0ad0c6 /compiler/rustc_mir_dataflow/src | |
| parent | 3fe0191df87f34607b356d6e88b86922c6ee7fd7 (diff) | |
| parent | f8b16c5d8710efa065950adbdcd9238cd12a4505 (diff) | |
| download | rust-5d650bb92e7bffbe92d0701b2ed5d7ffa40e63d4.tar.gz rust-5d650bb92e7bffbe92d0701b2ed5d7ffa40e63d4.zip | |
Rollup merge of #98944 - pierwill:flatset-docs, r=Dylan-DPC
Edit `rustc_mir_dataflow::framework::lattice::FlatSet` docs Cosmetic improvements. Adds a paragraph break, and ellipses to signify arbitrary size of a flat set.
Diffstat (limited to 'compiler/rustc_mir_dataflow/src')
| -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 |