rust/compiler/rustc_next_trait_solver/src
David Wood 607eb322a8
trait_sel: skip elaboration of sizedness supertrait
As a performance optimization, skip elaborating the supertraits of
`Sized`, and if a `MetaSized` obligation is being checked, then look for
a `Sized` predicate in the parameter environment. This makes the
`ParamEnv` smaller which should improve compiler performance as it avoids
all the iteration over the larger `ParamEnv`.
2025-06-16 23:04:36 +00:00
..
solve trait_sel: skip elaboration of sizedness supertrait 2025-06-16 23:04:36 +00:00
canonicalizer.rs Make connection between Placeholder and Bound a bit more clear in the type abstraction 2025-06-13 17:54:45 +00:00
coherence.rs Do not rely on type_var_origin in OrphanCheckErr::NonLocalInputType 2025-03-20 02:17:14 +00:00
delegate.rs Tweak fast path trait handling 2025-05-29 11:14:36 +00:00
lib.rs Uplift BoundVarReplacer 2025-06-13 17:54:45 +00:00
placeholder.rs Uplift BoundVarReplacer 2025-06-13 17:54:45 +00:00
resolve.rs add additional TypeFlags fast paths 2025-05-26 19:57:48 +00:00