Stuart Cook 4321adfbe0 Rollup merge of #147266 - lcnr:fix-search_graph, r=BoxyUwU ...

fix 2 search graph bugs

wooooooooops, i should really run the fuzzer even when not changing the structure of the search graph as a whole :3 fixes the `ml-kem` ICE in the next-solver crater run

r? ````@BoxyUwU````

2025-10-14 16:30:58 +11:00

..

canonical

Auto merge of #147138 - jackh726:split-canonical-bound, r=lcnr

2025-10-02 08:09:33 +00:00

solve

fix RebaseReason::Ambiguity

2025-10-02 12:10:58 +02:00

coherence.rs

Migrate more things in the new solver to specific DefIds

2025-09-02 11:35:25 +03:00

delegate.rs

Auto merge of #140375 - lcnr:subrelations-infcx, r=BoxyUwU

2025-09-08 19:39:36 +00:00

lib.rs

move mod canonical out of eval_ctxt

2025-09-18 23:56:20 +02:00

placeholder.rs

Split Bound into Canonical and Bound

2025-09-30 12:58:28 -04:00

resolve.rs

add additional TypeFlags fast paths

2025-05-26 19:57:48 +00:00