David Wood 47abf2e144 trait_sel: extend fast path with sized hierarchy ... Extend the fast path for `Sized` traits to include constness and `MetaSized`.		2025-06-16 23:04:35 +00:00
..
fulfill	Filter out universals and lifetimes from stalled_vars	2025-06-06 15:34:14 +00:00
inspect	Apply nested goals certainty to InspectGoals for normalizes-to	2025-06-09 17:02:09 +00:00
delegate.rs	trait_sel: extend fast path with sized hierarchy	2025-06-16 23:04:35 +00:00
fulfill.rs	Tweak fast path trait handling	2025-05-29 11:14:36 +00:00
inspect.rs	Fix impl for SolverDelegate	2024-06-18 11:04:01 -04:00
normalize.rs	Unify normalization of terms in deeply normalize	2025-06-07 02:35:28 +00:00
select.rs	Only instantiate impl args	2025-06-05 21:18:58 +00:00