about summary refs log tree commit diff
path: root/compiler/rustc_next_trait_solver/src/canonical
AgeCommit message (Collapse)AuthorLines
2025-10-02Auto merge of #147138 - jackh726:split-canonical-bound, r=lcnrbors-32/+14
Split Bound index into Canonical and Bound See [#t-types/trait-system-refactor > perf `async-closures/post-mono-higher-ranked-hang.rs`](https://rust-lang.zulipchat.com/#narrow/channel/364551-t-types.2Ftrait-system-refactor/topic/perf.20.60async-closures.2Fpost-mono-higher-ranked-hang.2Ers.60/with/541535613) for context Things compile and tests pass, but not sure if this actually solves the perf issue (edit: it does). Opening up this to do a perf (and maybe crater) run. r? lcnr
2025-09-30Split Bound into Canonical and Boundjackh726-32/+14
2025-09-26predefined opaques use `List`lcnr-5/+3
2025-09-18canonical: yeet `EvalCtxt`, mk `Canonicalizer` privatelcnr-202/+224
2025-09-18move `mod canonical` out of `eval_ctxt`lcnr-0/+914