Skip to content

Commit 905b774

Browse files
committed
rearrange to promote the borrow checker into its own section
1 parent 581b5fc commit 905b774

File tree

3 files changed

+2
-2
lines changed

3 files changed

+2
-2
lines changed

src/SUMMARY.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -50,9 +50,9 @@
5050
- [MIR construction](./mir/construction.md)
5151
- [MIR visitor and traversal](./mir/visitor.md)
5252
- [MIR passes: getting the MIR for a function](./mir/passes.md)
53-
- [MIR borrowck](./mir/borrowck.md)
54-
- [MIR-based region checking (NLL)](./mir/regionck.md)
5553
- [MIR optimizations](./mir/optimizations.md)
54+
- [The borrow checker](./borrow_check.md)
55+
- [Region inference](./borrow_check/region_inference.md)
5656
- [Constant evaluation](./const-eval.md)
5757
- [miri const evaluator](./miri.md)
5858
- [Parameter Environments](./param_env.md)
File renamed without changes.
File renamed without changes.

0 commit comments

Comments
 (0)