diff options
| author | lcnr <rust@lcnr.de> | 2024-03-04 17:31:01 +0100 |
|---|---|---|
| committer | Boxy <supbscripter@gmail.com> | 2024-03-04 16:32:44 +0000 |
| commit | 614211bd30f7e8bedd797e2e52f9a9f0d080a039 (patch) | |
| tree | abf5e7dddcef647ab9981bc8e955356de513884f /src/doc/rustc-dev-guide | |
| parent | 66b0396deaea65c4662d61e1c95d5d2ac4fcb521 (diff) | |
| download | rust-614211bd30f7e8bedd797e2e52f9a9f0d080a039.tar.gz rust-614211bd30f7e8bedd797e2e52f9a9f0d080a039.zip | |
unfk links
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -rw-r--r-- | src/doc/rustc-dev-guide/src/solve/caching.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/doc/rustc-dev-guide/src/solve/caching.md b/src/doc/rustc-dev-guide/src/solve/caching.md index cbe96757c29..92b27c2f494 100644 --- a/src/doc/rustc-dev-guide/src/solve/caching.md +++ b/src/doc/rustc-dev-guide/src/solve/caching.md @@ -101,6 +101,7 @@ TODO: write this :3 [^1]: This is overly restrictive: if all nested goal return the overflow response with some availabledepth `n`, then their result should be the same for any depths smaller than `n`. We can implement this optimization in the future. + [chapter on coinduction]: ./coinduction.md [`provisional_result`]: https://github.com/rust-lang/rust/blob/7606c13961ddc1174b70638e934df0439b7dc515/compiler/rustc_trait_selection/src/solve/search_graph.rs#L57 [initial-prov-result]: https://github.com/rust-lang/rust/blob/7606c13961ddc1174b70638e934df0439b7dc515/compiler/rustc_trait_selection/src/solve/search_graph.rs#L366-L370 |