bors c07aa1e171 Auto merge of #132625 - compiler-errors:cache-only-if-opaque, r=lcnr ... Only disable cache if predicate has opaques within it This is an alternative to https://github.com/rust-lang/rust/pull/132075. This refines the check implemented in https://github.com/rust-lang/rust/pull/126024 to only disable the global cache if the predicate being considered has opaques in it. This is still theoretically unsound, since goals can indirectly rely on opaques in the defining scope, but we're much less likely to hit it. It doesn't totally fix https://github.com/rust-lang/rust/issues/132064: for example, `lemmy` goes from 1:29 (on rust 1.81) to 9:53 (on nightly) to 4:07 (after this PR). But I think it's at least *more* sound than a total revert :/ r? lcnr		2024-11-06 21:22:14 +00:00
..
error_reporting	Auto merge of #132580 - compiler-errors:globs, r=Noratrieb	2024-11-05 08:30:56 +00:00
errors	ty::BrK -> ty::BoundRegionKind::K	2024-11-04 04:45:52 +00:00
solve	TypingMode 🤔	2024-10-29 17:01:24 +01:00
traits	Auto merge of #132625 - compiler-errors:cache-only-if-opaque, r=lcnr	2024-11-06 21:22:14 +00:00
errors.rs	Reformat using the new identifier sorting from rustfmt	2024-09-22 19:11:29 -04:00
infer.rs	Explain how to evaluate an obligation	2024-11-05 01:08:20 +01:00
lib.rs	Stabilize the map/value methods on ControlFlow	2024-09-25 19:00:17 -07:00
regions.rs	Reformat using the new identifier sorting from rustfmt	2024-09-22 19:11:29 -04:00
solve.rs	impossible obligations check fast path	2024-10-10 06:09:50 -04:00