Address review comments.

Co-Authored-By: Who? Me?! <mark-i-m@users.noreply.github.com>
This commit is contained in:
Charles Lew 2020-04-25 09:17:48 +08:00 committed by Who? Me?!
parent 9d9eb150de
commit bdf565dba6
2 changed files with 6 additions and 4 deletions

View File

@ -77,10 +77,10 @@
- [Caching subtleties](./traits/caching.md) - [Caching subtleties](./traits/caching.md)
- [Specialization](./traits/specialization.md) - [Specialization](./traits/specialization.md)
- [Chalk-based trait solving](./traits/chalk.md) - [Chalk-based trait solving](./traits/chalk.md)
- [Lowering to logic](./traits/lowering-to-logic.md) - [Lowering to logic](./traits/lowering-to-logic.md)
- [Goals and clauses](./traits/goals-and-clauses.md) - [Goals and clauses](./traits/goals-and-clauses.md)
- [Canonical queries](./traits/canonical-queries.md) - [Canonical queries](./traits/canonical-queries.md)
- [Lowering module in rustc](./traits/lowering-module.md) - [Lowering module in rustc](./traits/lowering-module.md)
- [Type checking](./type-checking.md) - [Type checking](./type-checking.md)
- [Method Lookup](./method-lookup.md) - [Method Lookup](./method-lookup.md)
- [Variance](./variance.md) - [Variance](./variance.md)

View File

@ -1 +1,3 @@
# The lowering module in rustc # The lowering module in rustc
This work is ongoing. This section will be filled in once some of it has landed in `rustc`.