Repository navigation

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

Commits on Oct 14, 2026
- Instantiate a response in pieces
  nnethercote
  committed
  19a9a08
- Optimize `unify_query_var_values`
  nnethercote
  committed
  fdbbf3f
- Special-case canonical bound vars in `unify_query_var_values`
  nnethercote
  committed
  75cca6d
- Introduce `IsIdentity` type
  nnethercote
  committed
  52d3937
- Add an early return to `instantiate_and_apply_query_response`
  nnethercote
  committed
  211d8e5
- Introduce `Canonicalized` and other clarifications
  nnethercote
  committed
  1d54383