mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

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.
This commit is contained in:
Tyler Mandry 2018-10-24 21:15:11 -05:00
parent 0fa9487b4f
commit 63b30cc5c2
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/SUMMARY.md
View File

@ -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)