Address review comments.
Co-Authored-By: Who? Me?! <mark-i-m@users.noreply.github.com>
This commit is contained in:
parent
0895f6eca0
commit
024e7f366d
|
|
@ -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)
|
||||||
|
|
|
||||||
|
|
@ -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`.
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue