| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 |
| 2025-05-26 | Don't rerun goals if none of its vars have changed | Michael Goulet | -54/+89 |
| 2025-05-26 | Rename | Michael Goulet | -1/+1 |
| 2025-05-26 | Avoid obligation construction dance with query region constraints | Michael Goulet | -1/+1 |
| 2025-05-25 | Comment for not using select_in_new_trait_solver | Michael Goulet | -0/+1 |
| 2025-05-23 | yeet `CanonicalVarInfo` | lcnr | -3/+3 |
| 2025-05-22 | Auto merge of #141397 - matthiaskrgr:rollup-l9uu6g6, r=matthiaskrgr | bors | -2/+2 |
| 2025-05-22 | Don't allow poly_select in new solver | Michael Goulet | -2/+2 |
| 2025-05-18 | Fast path for sized pred | Michael Goulet | -0/+16 |
| 2025-05-18 | Fast path for processing some obligations in the new solver | Michael Goulet | -3/+44 |
| 2025-05-08 | Rollup merge of #140711 - compiler-errors:combine-maybes, r=lcnr | Matthias Krüger | -2/+8 |
| 2025-05-07 | opaque_type_storage to InferCtxtLike | lcnr | -47/+0 |
| 2025-05-07 | Use MaybeCause::or to allow constraints from overflows if they are combined w... | Michael Goulet | -2/+8 |
| 2025-05-06 | support duplicates in the opaque_types_storage | lcnr | -5/+32 |
| 2025-05-02 | Use less rustc_type_ir in the compiler codebase | Romain Perier | -3/+3 |
| 2025-04-30 | Rollup merge of #140468 - BoxyUwU:normalization_confusings2, r=lcnr | Matthias Krüger | -25/+32 |
| 2025-04-30 | Use less rustc_type_ir in the compiler codebase | Romain Perier | -7/+6 |
| 2025-04-29 | confusings | Boxy | -25/+32 |
