| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-09-18 | support calls on opaque types :< | lcnr | -4/+4 |
| 2025-06-05 | Only instantiate impl args | Michael Goulet | -18/+17 |
| 2025-06-05 | Clear nested candidates in select if certainty is yes | Michael Goulet | -1/+6 |
| 2025-05-25 | Comment for not using select_in_new_trait_solver | Michael Goulet | -0/+1 |
| 2025-05-22 | Don't allow poly_select in new solver | Michael Goulet | -2/+2 |
| 2025-04-16 | Fix replacing supertrait aliases in ReplaceProjectionWith | Michael Goulet | -1/+1 |
| 2025-02-13 | normalizes-to rework rigid alias handling | lcnr | -2/+1 |
| 2025-01-14 | Prefer lower TraitUpcasting candidates | Michael Goulet | -0/+4 |
| 2024-10-15 | Be better at reporting alias errors | Michael Goulet | -1/+2 |
| 2024-06-16 | Move InferCtxtSelectExt out of eval_ctxt module | Michael Goulet | -0/+184 |
