Skip to content

New solver opts for diesel (part 2) - #164234

Open
nnethercote wants to merge 6 commits into
rust-lang:mainfrom
nnethercote:diesel-opts-2
Open

New solver opts for diesel (part 2)#164234
nnethercote wants to merge 6 commits into
rust-lang:mainfrom
nnethercote:diesel-opts-2

Introduce `Canonicalized` and other clarifications

1d54383
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Run zizmor
succeeded Oct 14, 2026 in 25s