| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-09-18 | move `mod canonical` out of `eval_ctxt` | lcnr | -2/+2 |
| 2025-09-18 | support calls on opaque types :< | lcnr | -16/+20 |
| 2025-09-09 | erase_regions to erase_and_anonymize_regions | Boxy | -1/+1 |
| 2025-09-08 | review | lcnr | -1/+1 |
| 2025-09-08 | pass `sub_relations` into canonical queries | lcnr | -2/+3 |
| 2025-09-08 | eagerly compute `sub_relations` again | lcnr | -7/+6 |
| 2025-08-29 | cleanup proof tree implementation and add cache | lcnr | -12/+6 |
| 2025-08-22 | change HIR typeck unification handling approach | lcnr | -1/+3 |
| 2025-08-01 | Auto merge of #144458 - compiler-errors:no-witness-mini, r=lcnr | bors | -1/+1 |
| 2025-08-01 | Auto merge of #144446 - nnethercote:opt-region-constraints, r=lcnr | bors | -1/+0 |
| 2025-07-31 | Stall coroutines based off of ty::Coroutine, not ty::CoroutineWitness | Michael Goulet | -1/+1 |
| 2025-07-31 | Rollup merge of #144702 - compiler-errors:stall-const-arg-has-type, r=lcnr | Jana Dönszelmann | -0/+7 |
| 2025-07-31 | Overhaul `Constraint`. | Nicholas Nethercote | -1/+0 |
| 2025-07-30 | stall ConstArgHasType in compute_goal_fast_path | Michael Goulet | -0/+7 |
| 2025-07-30 | add comment and opaque type fixme | lcnr | -0/+11 |
| 2025-07-30 | handle region dependent goals due to infer vars | lcnr | -1/+11 |
| 2025-07-29 | resuse eagerly resolved goal from previous iteration | lcnr | -1/+5 |
| 2025-07-20 | Consider param-env for fast path | Michael Goulet | -15/+7 |
| 2025-07-18 | Auto merge of #143545 - compiler-errors:coroutine-obl, r=oli-obk | bors | -4/+8 |
| 2025-07-17 | Unstall obligations by looking for coroutines in old solver | Michael Goulet | -8/+8 |
| 2025-07-17 | Check if type has coroutines before visiting | Michael Goulet | -4/+7 |
| 2025-07-15 | Add alias for ArgOutlivesPredicate | Michael Goulet | -3/+1 |
| 2025-07-15 | Consider outlives assumptions when proving auto traits for coroutine interiors | Michael Goulet | -1/+7 |
| 2025-07-13 | Simplify make_query_region_constraints | Michael Goulet | -7/+1 |
| 2025-06-27 | Auto merge of #142223 - compiler-errors:perf-wf, r=lcnr | bors | -0/+10 |
| 2025-06-26 | Rollup merge of #142927 - compiler-errors:note-find-const, r=BoxyUwU | Michael Goulet | -1/+3 |
| 2025-06-26 | Rollup merge of #142637 - compiler-errors:less-globs, r=lcnr | Michael Goulet | -1/+1 |
| 2025-06-26 | Auto merge of #142774 - lcnr:search_graph-2, r=oli-obk | bors | -6/+6 |
| 2025-06-25 | rename RegionVariableOrigin::MiscVariable to RegionVariableOrigin::Misc | Michael Goulet | -1/+1 |
| 2025-06-24 | Introduce trivial WF functions, use it in fast path | Michael Goulet | -0/+10 |
| 2025-06-23 | Simplify API of solver a bit | Michael Goulet | -43/+19 |
| 2025-06-23 | Add note to find_const_ty_from_env | Michael Goulet | -1/+3 |
| 2025-06-23 | inspect: merge `[Canonical]GoalEvaluation` | lcnr | -6/+6 |
| 2025-06-16 | trait_sel: extend fast path with sized hierarchy | David Wood | -2/+9 |
| 2025-06-09 | Apply nested goals certainty to InspectGoals for normalizes-to | Michael Goulet | -35/+64 |
| 2025-06-08 | Auto merge of #142088 - compiler-errors:perf-universal-stall, r=lcnr | bors | -2/+4 |
| 2025-06-07 | Rollup merge of #142126 - compiler-errors:normalize-uv-via-relate, r=BoxyUwU | Guillaume Gomez | -70/+26 |
| 2025-06-07 | Auto merge of #141927 - compiler-errors:perf-select, r=lcnr | bors | -41/+70 |
| 2025-06-07 | Unify normalization of terms in deeply normalize | Michael Goulet | -67/+22 |
| 2025-06-06 | Treat normalizing consts like normalizing types in deeply normalize | Michael Goulet | -23/+24 |
| 2025-06-06 | Filter out universals and lifetimes from stalled_vars | Michael Goulet | -2/+4 |
| 2025-06-05 | Only instantiate impl args | Michael Goulet | -46/+70 |
| 2025-06-05 | Clear nested candidates in select if certainty is yes | Michael Goulet | -1/+6 |
| 2025-06-02 | Fast path for subtype and coercion goals | Michael Goulet | -0/+11 |
| 2025-06-02 | Fast path for stalled obligations on self ty | Michael Goulet | -0/+10 |
| 2025-05-29 | Tweak fast path trait handling | Michael Goulet | -23/+44 |
| 2025-05-29 | Auto merge of #141581 - lcnr:fold-clauses, r=compiler-errors | bors | -5/+4 |
| 2025-05-27 | Rename unpack to kind | 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 | -5/+4 |
