We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 1fa5685 commit 0ab21a2Copy full SHA for 0ab21a2
src/SUMMARY.md
@@ -53,9 +53,9 @@
53
- [MIR construction](./mir/construction.md)
54
- [MIR visitor and traversal](./mir/visitor.md)
55
- [MIR passes: getting the MIR for a function](./mir/passes.md)
56
- - [MIR borrowck](./mir/borrowck.md)
57
- - [MIR-based region checking (NLL)](./mir/regionck.md)
58
- [MIR optimizations](./mir/optimizations.md)
+- [The borrow checker](./borrow_check.md)
+ - [Region inference](./borrow_check/region_inference.md)
59
- [Constant evaluation](./const-eval.md)
60
- [miri const evaluator](./miri.md)
61
- [Parameter Environments](./param_env.md)
src/mir/borrowck.md renamed to src/borrow_check.md
src/mir/regionck.md renamed to src/borrow_check/region_inference.md
0 commit comments