| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-09-29 | cleanup `try_evaluate_added_goals` | lcnr | -14/+5 |
| 2025-09-26 | allow method calls on opaques | lcnr | -1/+2 |
| 2025-09-26 | predefined opaques use `List` | lcnr | -4/+3 |
| 2025-09-18 | canonical: yeet `EvalCtxt`, mk `Canonicalizer` private | lcnr | -9/+9 |
| 2025-09-18 | move `mod canonical` out of `eval_ctxt` | lcnr | -4/+198 |
| 2025-09-18 | support calls on opaque types :< | lcnr | -30/+46 |
| 2025-09-11 | incompletely prefer opaque type bounds when self type bottoms out in infer | Michael Goulet | -0/+31 |
| 2025-09-11 | consider the `sub_unification_table` in `stalled_on` | lcnr | -18/+31 |
| 2025-09-08 | Auto merge of #140375 - lcnr:subrelations-infcx, r=BoxyUwU | bors | -0/+4 |
| 2025-09-08 | Rollup merge of #146111 - ChayimFriedman2:more-ns-specific-defid, r=lcnr | Matthias Krüger | -1/+1 |
| 2025-09-08 | review | lcnr | -2/+2 |
| 2025-09-08 | eagerly compute `sub_relations` again | lcnr | -0/+4 |
| 2025-09-04 | Don't require next-solver `ProbeRef` to be `Copy` | Chayim Refael Friedman | -2/+2 |
| 2025-09-02 | Migrate more things in the new solver to specific `DefId`s | Chayim Refael Friedman | -1/+1 |
| 2025-08-29 | cleanup proof tree implementation and add cache | lcnr | -61/+90 |
| 2025-08-25 | support non-defining uses in HIR typeck | lcnr | -24/+1 |
| 2025-08-22 | change HIR typeck unification handling approach | lcnr | -4/+1 |
| 2025-08-14 | ignore head usages of ignored candidates | lcnr | -1/+5 |
| 2025-07-29 | resuse eagerly resolved goal from previous iteration | lcnr | -6/+25 |
| 2025-07-25 | uniquify root goals during HIR typeck | lcnr | -1/+4 |
| 2025-07-15 | Add the core logic in old and new solvers | tiif | -0/+12 |
| 2025-06-27 | Use let chains in the new solver | Michael Goulet | -33/+26 |
| 2025-06-26 | Auto merge of #142774 - lcnr:search_graph-2, r=oli-obk | bors | -64/+10 |
| 2025-06-23 | Simplify API of solver a bit | Michael Goulet | -25/+22 |
| 2025-06-23 | inspect: merge `[Canonical]GoalEvaluation` | lcnr | -12/+6 |
| 2025-06-23 | `evaluate_goal`: avoid unnecessary step | lcnr | -59/+11 |
| 2025-06-18 | `evaluate_goal`: accept different inputs | lcnr | -1/+1 |
| 2025-06-13 | Replace escaping bound vars in ty/ct visiting, not binder visiting | Michael Goulet | -0/+9 |
| 2025-06-06 | Filter out universals and lifetimes from stalled_vars | Michael Goulet | -1/+12 |
| 2025-05-29 | Tweak fast path trait handling | Michael Goulet | -4/+7 |
| 2025-05-29 | Auto merge of #141581 - lcnr:fold-clauses, r=compiler-errors | bors | -0/+16 |
| 2025-05-27 | Fix some var names | Michael Goulet | -2/+2 |
| 2025-05-26 | Auto merge of #141605 - jieyouxu:rollup-3gjqh5l, r=jieyouxu | bors | -1/+1 |
| 2025-05-26 | add additional `TypeFlags` fast paths | lcnr | -0/+16 |
| 2025-05-26 | Don't rerun goals if none of its vars have changed | Michael Goulet | -26/+103 |
| 2025-05-26 | Rename | Michael Goulet | -1/+1 |
| 2025-05-23 | yeet `CanonicalVarInfo` | lcnr | -1/+1 |
| 2025-05-18 | Fast path for processing some obligations in the new solver | Michael Goulet | -0/+8 |
| 2025-05-08 | Rollup merge of #140711 - compiler-errors:combine-maybes, r=lcnr | Matthias Krüger | -2/+2 |
| 2025-05-08 | Rollup merge of #140641 - lcnr:opaque-type-storage-entries, r=compiler-errors | Matthias Krüger | -28/+23 |
| 2025-05-07 | detect additional uses of opaques after writeback | lcnr | -28/+23 |
| 2025-05-07 | Use MaybeCause::or to allow constraints from overflows if they are combined w... | Michael Goulet | -2/+2 |
| 2025-05-07 | Review | Michael Goulet | -6/+6 |
| 2025-05-07 | Only prefer param-env candidates if they remain non-global after norm | Michael Goulet | -0/+8 |
| 2025-05-06 | support duplicates in the opaque_types_storage | lcnr | -10/+26 |
| 2025-04-26 | Rollup merge of #140320 - lcnr:wf-use-term, r=compiler-errors | Matthias Krüger | -4/+4 |
| 2025-04-26 | convert some `GenericArg` to `Term` | lcnr | -4/+4 |
| 2025-04-25 | handle specialization in the new trait solver | lcnr | -7/+3 |
| 2025-04-24 | norm nested aliases before evaluating the parent goal | lcnr | -115/+76 |
| 2025-04-16 | stepping into impls for norm is unproductive | lcnr | -8/+13 |
