diff options
| author | Tyler Mandry <tmandry@gmail.com> | 2018-10-26 13:42:14 -0500 |
|---|---|---|
| committer | Tyler Mandry <tmandry@gmail.com> | 2018-10-26 13:43:31 -0500 |
| commit | cfbb0a677eb2552e9a1a44fa9bd847d6e52d7b13 (patch) | |
| tree | 26db16f946660a20b2cbfdd5788b3c8158da18bb /src/doc | |
| parent | 4073cf3d40edded85951463ca2aee513f70e6d8e (diff) | |
| download | rust-cfbb0a677eb2552e9a1a44fa9bd847d6e52d7b13.tar.gz rust-cfbb0a677eb2552e9a1a44fa9bd847d6e52d7b13.zip | |
Put "well-formedness checking" under "lowering rules"
This was also intended to be a reference chapter, according to @scalexm.
Diffstat (limited to 'src/doc')
| -rw-r--r-- | src/doc/rustc-dev-guide/src/SUMMARY.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/doc/rustc-dev-guide/src/SUMMARY.md b/src/doc/rustc-dev-guide/src/SUMMARY.md index 9308b7d517d..efe963c3fcb 100644 --- a/src/doc/rustc-dev-guide/src/SUMMARY.md +++ b/src/doc/rustc-dev-guide/src/SUMMARY.md @@ -38,10 +38,10 @@ - [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) + - [Well-formedness checking](./traits/wf.md) - [Canonical queries](./traits/canonical-queries.md) - [Canonicalization](./traits/canonicalization.md) - [The SLG solver](./traits/slg.md) |