rust/compiler/rustc_next_trait_solver/src
bors 5f025f363d Auto merge of #141581 - lcnr:fold-clauses, r=compiler-errors
add additional `TypeFlags` fast paths

Some crates, e.g. `diesel`, have items with a lot of where-clauses (more than 150). In these cases checking the `TypeFlags` of the whole `param_env` can be very beneficial.

This adds `fn fold_clauses` to mirror the existing `fn visit_clauses` and then uses this in folders which fold `ParamEnv`s.

Split out from rust-lang/rust#141451, depends on rust-lang/rust#141442.

r? `@compiler-errors`
2025-05-29 02:29:01 +00:00
..
solve Auto merge of #141581 - lcnr:fold-clauses, r=compiler-errors 2025-05-29 02:29:01 +00:00
canonicalizer.rs assert we never incorrectly canonicalize envs 2025-05-26 19:57:48 +00:00
coherence.rs Do not rely on type_var_origin in OrphanCheckErr::NonLocalInputType 2025-03-20 02:17:14 +00:00
delegate.rs yeet CanonicalVarInfo 2025-05-23 12:10:53 +00:00
lib.rs update cfgs 2025-04-09 12:29:59 +01:00
resolve.rs add additional TypeFlags fast paths 2025-05-26 19:57:48 +00:00