bors df32e15c56 Auto merge of #142223 - compiler-errors:perf-wf, r=lcnr ... Fast path for WF goals in new solver Hopefully self-explanatory.		2025-06-27 03:57:45 +00:00
..
fulfill	Rollup merge of #142927 - compiler-errors:note-find-const, r=BoxyUwU	2025-06-26 20:15:22 -04:00
inspect	Auto merge of #142774 - lcnr:search_graph-2, r=oli-obk	2025-06-26 17:04:47 +00:00
delegate.rs	Auto merge of #142223 - compiler-errors:perf-wf, r=lcnr	2025-06-27 03:57:45 +00:00
fulfill.rs	Simplify API of solver a bit	2025-06-23 22:09:11 +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