Skip to content

Commit

Permalink
and again
Browse files Browse the repository at this point in the history
  • Loading branch information
lcnr authored and BoxyUwU committed Mar 4, 2024
1 parent 0d04d71 commit e082dc6
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions src/solve/caching.md
Original file line number Diff line number Diff line change
Expand Up @@ -107,6 +107,7 @@ We can implement this optimization in the future.
[initial-prov-result]: https://github.com/rust-lang/rust/blob/7606c13961ddc1174b70638e934df0439b7dc515/compiler/rustc_trait_selection/src/solve/search_graph.rs#L366-L370
[fixpoint]: https://github.com/rust-lang/rust/blob/7606c13961ddc1174b70638e934df0439b7dc515/compiler/rustc_trait_selection/src/solve/search_graph.rs#L425-L446
[^2]: summarizing the relevant [zulip thread]

[zulip thread]: https://rust-lang.zulipchat.com/#narrow/stream/364551-t-types.2Ftrait-system-refactor/topic/global.20cache
[unstable-result-ex]: https://github.com/rust-lang/rust/blob/7606c13961ddc1174b70638e934df0439b7dc515/tests/ui/traits/next-solver/cycles/coinduction/incompleteness-unstable-result.rs#L4-L16
[cycle-participants]: https://github.com/rust-lang/rust/blob/7606c13961ddc1174b70638e934df0439b7dc515/compiler/rustc_middle/src/traits/solve/cache.rs#L72-L74

0 comments on commit e082dc6

Please sign in to comment.