Michael Goulet cd1d84e304 Apply nested goals certainty to InspectGoals for normalizes-to		2025-06-09 17:02:09 +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	Fast path for subtype and coercion goals	2025-06-02 19:23:20 +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