| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 |
| 2025-04-26 | Rollup merge of #140320 - lcnr:wf-use-term, r=compiler-errors | Matthias Krüger | -9/+13 |
| 2025-04-26 | convert some `GenericArg` to `Term` | lcnr | -9/+13 |
| 2025-04-25 | Track per-obligation recursion depth only if there is inference | Michael Goulet | -8/+15 |
| 2025-04-23 | Auto merge of #138845 - compiler-errors:stall-generators, r=lcnr | bors | -43/+188 |
| 2025-04-23 | More | Michael Goulet | -30/+59 |
| 2025-04-22 | Properly drain pending obligations for coroutines | Michael Goulet | -36/+120 |
| 2025-04-22 | Collect and resolve ambiguous obligations from normalizing in writeback | Michael Goulet | -2/+34 |
| 2025-04-22 | Use `is_lang_item` and `as_lang_item` instead of handrolling their logic | Oli Scherer | -3/+3 |
| 2025-04-16 | Fix replacing supertrait aliases in ReplaceProjectionWith | Michael Goulet | -4/+6 |
| 2025-04-10 | Deeply normalize obligations in BestObligation | Michael Goulet | -18/+33 |
| 2025-04-10 | Simplify | Michael Goulet | -30/+22 |
| 2025-04-09 | Report higher-ranked trait error when higher-ranked projection goal fails in ... | Michael Goulet | -3/+33 |
| 2025-04-03 | add `TypingMode::Borrowck` | lcnr | -0/+1 |
| 2025-04-01 | simplify Interner opaque types API | lcnr | -18/+9 |
| 2025-03-23 | Obligation::as_goal | Michael Goulet | -7/+7 |
| 2025-03-15 | Fold visit into ty | Michael Goulet | -2/+1 |
