Michael Goulet a04dfc32e6 Rollup merge of #114694 - lcnr:provisional-cache, r=compiler-errors ... make the provisional cache slightly less broken It is still broken for the following cycles: ```mermaid graph LR R["R: coinductive"] --> A["A: inductive"] R --> B["B: coinductive"] A --> B B --> R ``` the `R -> A -> B -> R` cycle should be considered to not hold, as it is mixed, but because we first put `B` into the cache from the `R -> B -> R` cycle which is coinductive, it does hold. This issue will also affect our new coinduction approach. Longterm cycles are coinductive as long as one step goes through an impl where-clause, see f4fc5bae36/crates/formality-prove/src/prove/prove_wc.rs (L51-L62). Here we would first have a fully inductive cycle `R -> B -> R` which is then entered by a cycle with a coinductive step `R -> A -coinductive-> B -> R`. I don't know how to soundly implement a provisional cache for goals not on the stack without tracking all cycles the goal was involved in and whether they were inductive or not. We could then only use goals from the cache if the *inductivity?* of every cycle remained the same. This is a mess to implement. I therefore want to rip out the provisional cache entirely, but will wait with this until I talked about it with `@nikomatsakis.` r? `@compiler-errors`		2023-08-10 21:17:09 -07:00
..
assembly	Auto merge of #112922 - g0djan:godjan/wasi-threads, r=wesleywiser	2023-08-02 01:01:48 +00:00
auxiliary
codegen	Rollup merge of #114562 - Trolldemorted:thiscall, r=oli-obk	2023-08-07 16:47:57 +02:00
codegen-units
debuginfo	Replace ignore-everything with only-arch	2023-07-29 15:49:07 -07:00
incremental	Forbid old-style simd_shuffleN intrinsics	2023-08-03 09:29:00 +00:00
mir-opt	bless	2023-08-03 18:42:12 +00:00
pretty
run-coverage	refactor(rustc_middle): Substs -> GenericArg	2023-07-14 13:27:35 +01:00
run-coverage-rustdoc
run-make	Auto merge of #114439 - Kobzol:remark-pgo-hotness, r=tmiasko	2023-08-08 15:41:44 +00:00
run-make-fulldeps	On nightly, dump ICE backtraces to disk	2023-07-19 14:10:07 +00:00
run-pass-valgrind
rustdoc	Rollup merge of #114253 - fmease:compute-variances-for-lazy-ty-aliases, r=oli-obk	2023-08-04 09:18:58 +02:00
rustdoc-gui	Migrate GUI colors test to original CSS color format	2023-08-08 20:31:03 +02:00
rustdoc-js
rustdoc-js-std
rustdoc-json	rustdoc-json: Add tests for field/variant ordering.	2023-08-09 00:32:03 +00:00
rustdoc-ui	Fix windows test output.	2023-08-01 14:24:11 +02:00
ui	Rollup merge of #114694 - lcnr:provisional-cache, r=compiler-errors	2023-08-10 21:17:09 -07:00
ui-fulldeps	Bump syn dependency	2023-07-26 08:42:40 +00:00
COMPILER_TESTS.md