rust/compiler
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
..
rustc
rustc_abi
rustc_arena
rustc_ast Add documentation on ast::Attribute 2024-11-05 16:38:15 +01:00
rustc_ast_ir
rustc_ast_lowering
rustc_ast_passes
rustc_ast_pretty
rustc_attr remove support for extern-block const intrinsics 2024-11-04 23:27:45 +01:00
rustc_baked_icu_data
rustc_borrowck Auto merge of #132580 - compiler-errors:globs, r=Noratrieb 2024-11-05 08:30:56 +00:00
rustc_builtin_macros
rustc_codegen_cranelift
rustc_codegen_gcc Auto merge of #129884 - RalfJung:forbidden-target-features, r=workingjubilee 2024-11-05 16:25:45 +00:00
rustc_codegen_llvm Auto merge of #132664 - matthiaskrgr:rollup-i27nr7i, r=matthiaskrgr 2024-11-06 01:21:42 +00:00
rustc_codegen_ssa Rollup merge of #131405 - davidtwco:hardcoded-strip-macos, r=jieyouxu,albertlarsan68 2024-11-05 23:43:56 +01:00
rustc_const_eval when an intrinsic has a const-stable fallback body, we can easily expose it on stable 2024-11-04 23:27:46 +01:00
rustc_data_structures
rustc_driver
rustc_driver_impl
rustc_error_codes
rustc_error_messages
rustc_errors
rustc_expand
rustc_feature add new rustc_const_stable_intrinsic attribute for const-stable intrinsics 2024-11-04 23:27:46 +01:00
rustc_fluent_macro
rustc_fs_util
rustc_graphviz
rustc_hir Rollup merge of #132423 - RalfJung:const-eval-align-offset, r=dtolnay 2024-11-03 20:08:13 -08:00
rustc_hir_analysis Remove unused errs.rs file 2024-11-05 11:10:12 -08:00
rustc_hir_pretty
rustc_hir_typeck Auto merge of #132404 - makai410:suggest-swap-lhs-rhs, r=fee1-dead 2024-11-06 11:49:52 +00:00
rustc_incremental
rustc_index
rustc_index_macros
rustc_infer ty::BrK -> ty::BoundRegionKind::K 2024-11-04 04:45:52 +00:00
rustc_interface Rollup merge of #132259 - mrkajetanp:branch-protection-pauth-lr, r=davidtwco 2024-11-05 20:10:49 +01:00
rustc_lexer
rustc_lint Rollup merge of #132637 - blyxyas:lint-less-passes, r=flip1995 2024-11-05 20:10:53 +01:00
rustc_lint_defs
rustc_llvm PassWrapper: adapt for new parameter in LLVM 2024-11-05 15:49:37 +11:00
rustc_log
rustc_macros
rustc_metadata ty::KContainer -> ty::AssocItemContainer::K 2024-11-04 04:45:52 +00:00
rustc_middle Tweak E0320 overflow error wording 2024-11-05 21:54:45 +00:00
rustc_mir_build Auto merge of #132580 - compiler-errors:globs, r=Noratrieb 2024-11-05 08:30:56 +00:00
rustc_mir_dataflow compiler: Remove unused rustc_target from Cargo.tomls 2024-11-03 13:38:47 -08:00
rustc_mir_transform
rustc_monomorphize
rustc_next_trait_solver
rustc_parse Revert "Avoid nested replacement ranges" from #129346. 2024-11-04 15:57:35 +11:00
rustc_parse_format
rustc_passes remove support for extern-block const intrinsics 2024-11-04 23:27:45 +01:00
rustc_pattern_analysis compiler: Remove unused rustc_target from Cargo.tomls 2024-11-03 13:38:47 -08:00
rustc_privacy
rustc_query_impl
rustc_query_system
rustc_resolve Rollup merge of #132567 - estebank:bad-suggestion, r=Nadrieril 2024-11-05 20:10:51 +01:00
rustc_sanitizers
rustc_serialize
rustc_session Auto merge of #132664 - matthiaskrgr:rollup-i27nr7i, r=matthiaskrgr 2024-11-06 01:21:42 +00:00
rustc_smir ty::BrK -> ty::BoundRegionKind::K 2024-11-04 04:45:52 +00:00
rustc_span add new rustc_const_stable_intrinsic attribute for const-stable intrinsics 2024-11-04 23:27:46 +01:00
rustc_symbol_mangling ty::BrK -> ty::BoundRegionKind::K 2024-11-04 04:45:52 +00:00
rustc_target Rollup merge of #132562 - alexcrichton:remove-wasm32-wasi, r=jieyouxu 2024-11-05 23:43:58 +01:00
rustc_trait_selection Auto merge of #132625 - compiler-errors:cache-only-if-opaque, r=lcnr 2024-11-06 21:22:14 +00:00
rustc_traits
rustc_transmute
rustc_ty_utils ty::BrK -> ty::BoundRegionKind::K 2024-11-04 04:45:52 +00:00
rustc_type_ir
rustc_type_ir_macros
stable_mir