diff options
| author | Tyler Mandry <tmandry@gmail.com> | 2018-10-24 21:15:11 -0500 |
|---|---|---|
| committer | Tyler Mandry <tmandry@gmail.com> | 2018-10-26 11:09:46 -0500 |
| commit | 283b8a5da8c0b929d33ecc5487d037d8787533e3 (patch) | |
| tree | 58ab7ca0b667022f3fc862fa79f684698a3a1c24 /src/doc/rustc-dev-guide | |
| parent | 9e4ed397f23c304aaf6a0b93fb39ffcdeff708f8 (diff) | |
| download | rust-283b8a5da8c0b929d33ecc5487d037d8787533e3.tar.gz rust-283b8a5da8c0b929d33ecc5487d037d8787533e3.zip | |
Group logic-related things under one section
I found the layout to be a bit inconsistent before. This groups anything that touches logic rules under "Lowering to logic". This might be crowding too many things under that section, but it makes more sense to me overall.
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -rw-r--r-- | src/doc/rustc-dev-guide/src/SUMMARY.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/doc/rustc-dev-guide/src/SUMMARY.md b/src/doc/rustc-dev-guide/src/SUMMARY.md index 213a645aba4..9308b7d517d 100644 --- a/src/doc/rustc-dev-guide/src/SUMMARY.md +++ b/src/doc/rustc-dev-guide/src/SUMMARY.md @@ -38,12 +38,12 @@ - [Goals and clauses](./traits/goals-and-clauses.md) - [Equality and associated types](./traits/associated-types.md) - [Implied bounds](./traits/implied-bounds.md) + - [Well-formedness checking](./traits/wf.md) - [Region constraints](./traits/regions.md) + - [The lowering module in rustc](./traits/lowering-module.md) + - [Lowering rules](./traits/lowering-rules.md) - [Canonical queries](./traits/canonical-queries.md) - [Canonicalization](./traits/canonicalization.md) - - [Lowering rules](./traits/lowering-rules.md) - - [The lowering module in rustc](./traits/lowering-module.md) - - [Well-formedness checking](./traits/wf.md) - [The SLG solver](./traits/slg.md) - [An Overview of Chalk](./traits/chalk-overview.md) - [Bibliography](./traits/bibliography.md) |