| Age | Commit message (Expand) | Author | Lines |
| 2025-04-10 | Auto merge of #139000 - compiler-errors:rigid-missing-item, r=lcnr | bors | -45/+45 |
| 2025-04-10 | Rename some `name` variables as `ident`. | Nicholas Nethercote | -2/+2 |
| 2025-04-09 | Use a query rather than recomputing the tail repeatedly | Michael Goulet | -15/+1 |
| 2025-04-09 | Rigidly project missing item due to guaranteed impossible sized predicate | Michael Goulet | -45/+59 |
| 2025-04-09 | Move errors | mejrs | -77/+89 |
| 2025-04-09 | Report higher-ranked trait error when higher-ranked projection goal fails in ... | Michael Goulet | -3/+33 |
| 2025-04-09 | re-use sized fast path | David Wood | -15/+35 |
| 2025-04-09 | Suggest the use of `impl Trait` in function parameter only | Romain Perier | -6/+17 |
| 2025-04-09 | Auto merge of #139552 - matthiaskrgr:rollup-b194mk8, r=matthiaskrgr | bors | -30/+56 |
| 2025-04-08 | Rollup merge of #139541 - compiler-errors:transmute, r=lcnr | Matthias Krüger | -3/+3 |
| 2025-04-08 | Rollup merge of #139515 - compiler-errors:sig-mismatch, r=lcnr | Matthias Krüger | -27/+53 |
| 2025-04-08 | Instantiate higher-ranked transmute goal | Michael Goulet | -3/+3 |
| 2025-04-08 | Rollup merge of #139509 - xizheyin:issue-139359, r=lcnr | Matthias Krüger | -15/+15 |
| 2025-04-08 | Remove unnecessary dyn Display in favor of str | Michael Goulet | -4/+4 |
| 2025-04-08 | Improve presentation of closure signature mismatch from Fn trait goal | Michael Goulet | -25/+51 |
| 2025-04-08 | clean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()` | xizheyin | -15/+15 |
| 2025-04-05 | Fix trait upcasting to dyn type with no principal when there are projections | Michael Goulet | -14/+24 |
| 2025-04-04 | Auto merge of #138785 - lcnr:typing-mode-borrowck, r=compiler-errors,oli-obk | bors | -2/+203 |
| 2025-04-04 | Rollup merge of #139335 - compiler-errors:error-implies, r=oli-obk | Matthias Krüger | -28/+32 |
| 2025-04-04 | Auto merge of #120706 - Bryanskiy:leak, r=lcnr | bors | -15/+29 |
| 2025-04-03 | Pass correct param-env to error_implies | Michael Goulet | -28/+32 |
| 2025-04-03 | Initial support for auto traits with default bounds | Bryanskiy | -15/+29 |
| 2025-04-03 | add `TypingMode::Borrowck` | lcnr | -6/+30 |
| 2025-04-03 | move `check_opaque_type_parameter_valid` | lcnr | -1/+178 |
| 2025-04-02 | Rollup merge of #139232 - nnethercote:remove-Map-5, r=Zalathar | Takayuki Maeda | -15/+13 |
| 2025-04-02 | Auto merge of #139018 - oli-obk:incremental-trait-impls, r=compiler-errors | bors | -2/+2 |
| 2025-04-02 | Remove a `hir_*` helper that was just forwarding to a query | Oli Scherer | -1/+1 |
| 2025-04-02 | Fetch the destructor constness lazily | Oli Scherer | -1/+1 |
| 2025-04-02 | Rollup merge of #139191 - lcnr:interner-opaques, r=compiler-errors | Stuart Cook | -18/+9 |
| 2025-04-02 | Rollup merge of #138941 - compiler-errors:receiver-is-dispatchable-bounds, r=... | Stuart Cook | -13/+22 |
| 2025-04-02 | Move methods from `Map` to `TyCtxt`, part 5. | Nicholas Nethercote | -15/+13 |
| 2025-04-01 | simplify Interner opaque types API | lcnr | -18/+9 |
| 2025-03-31 | increment depth of nested obligations | lcnr | -38/+38 |
| 2025-03-31 | Rollup merge of #138176 - compiler-errors:rigid-sized-obl, r=lcnr | Matthias Krüger | -15/+43 |
| 2025-03-30 | Do not mix normalized and unnormalized caller bounds when constructing param-... | Michael Goulet | -13/+22 |
| 2025-03-28 | Don't use `kw::Empty` in `hir::Lifetime::ident`. | Nicholas Nethercote | -8/+11 |
| 2025-03-27 | Auto merge of #139012 - Zalathar:rollup-qgt5yfo, r=Zalathar | bors | -2/+4 |
| 2025-03-26 | Stop using Interner in the compiler randomly | Michael Goulet | -2/+4 |
| 2025-03-24 | Instantiate binder before registering nested obligations for auto/built-in tr... | Michael Goulet | -32/+16 |
| 2025-03-23 | Obligation::as_goal | Michael Goulet | -8/+8 |
| 2025-03-20 | Rollup merge of #138685 - nnethercote:use-Option-Ident-for-lowered-param-name... | Matthias Krüger | -5/+4 |
| 2025-03-19 | Rollup merge of #138594 - oli-obk:no-select, r=lcnr | Matthias Krüger | -12/+18 |
| 2025-03-19 | Fix next solver handling of shallow trait impl check | Oli Scherer | -12/+18 |
| 2025-03-19 | Use `Option<Ident>` for lowered param names. | Nicholas Nethercote | -5/+4 |
| 2025-03-18 | Remove existing AFIDT implementation | Michael Goulet | -89/+3 |
| 2025-03-18 | Auto merge of #138630 - matthiaskrgr:rollup-kk1gogr, r=matthiaskrgr | bors | -34/+36 |
| 2025-03-17 | Rollup merge of #138384 - nnethercote:hir-ItemKind-idents, r=fmease | Matthias Krüger | -34/+36 |
| 2025-03-18 | Move `hir::Item::ident` into `hir::ItemKind`. | Nicholas Nethercote | -34/+36 |
| 2025-03-17 | Rollup merge of #137449 - compiler-errors:control-flow, r=Amanieu,lnicola | Matthias Krüger | -4/+4 |
| 2025-03-17 | Use `strip_{prefix|suffix}` instead of `{starts|ends}_with`+indexing | Yotam Ofek | -7/+2 |