| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-09-11 | Revert "Rollup merge of #122661 - estebank:assert-macro-span, r=petrochenkov" | Jieyou Xu | -36/+4 |
| 2025-09-09 | Auto merge of #145717 - BoxyUwU:erase_regions_rename, r=lcnr | bors | -16/+23 |
| 2025-09-09 | Driveby fixes | Boxy | -0/+2 |
| 2025-09-09 | erase_regions to erase_and_anonymize_regions | Boxy | -16/+21 |
| 2025-09-09 | Rollup merge of #145819 - jdonszelmann:convert-limits, r=fmease | Stuart Cook | -2/+2 |
| 2025-09-08 | fixup limit handling code | Jana Dönszelmann | -2/+2 |
| 2025-09-08 | review | lcnr | -2/+3 |
| 2025-09-08 | optimize `CanonicalVarValues::instantiate` | lcnr | -3/+2 |
| 2025-09-08 | pass `sub_relations` into canonical queries | lcnr | -2/+3 |
| 2025-09-08 | eagerly compute `sub_relations` again | lcnr | -98/+7 |
| 2025-09-06 | Rollup merge of #144801 - estebank:issue-144734, r=spastorino | Matthias Krüger | -10/+68 |
| 2025-09-05 | remove couple of clones | Matthias Krüger | -1/+1 |
| 2025-09-02 | Auto merge of #145951 - lcnr:proof-tree-as-query, r=compiler-errors | bors | -12/+22 |
| 2025-09-02 | Revert introduction of `[workspace.dependencies]`. | Nicholas Nethercote | -3/+3 |
| 2025-08-31 | Split `ObligationCauseCode::BinOp` for unops to `UnOp` | Esteban Küber | -19/+12 |
| 2025-08-30 | Detect negative literal inferred to unsigned integer | Esteban Küber | -1/+40 |
| 2025-08-29 | cleanup proof tree implementation and add cache | lcnr | -12/+22 |
| 2025-08-28 | Auto merge of #145807 - zachs18:only-consider-auto-traits-empty, r=compiler-e... | bors | -1/+6 |
| 2025-08-27 | Add `itertools` to `[workspace.dependencies]`. | Nicholas Nethercote | -1/+1 |
| 2025-08-27 | Add `tracing` to `[workspace.dependencies]`. | Nicholas Nethercote | -1/+1 |
| 2025-08-27 | Add `thin-vec` to newly added `[workspace.dependencies]`. | Nicholas Nethercote | -1/+1 |
| 2025-08-26 | Rollup merge of #145481 - mu001999-contrib:fix/closure-sugg, r=SparrowLii | Guillaume Gomez | -6/+10 |
| 2025-08-25 | Only consider auto traits empty for the purposes of omitting vptrs from subtr... | Zachary S | -1/+6 |
| 2025-08-25 | change non-defining use error message | lcnr | -2/+26 |
| 2025-08-25 | support non-defining uses in HIR typeck | lcnr | -12/+14 |
| 2025-08-23 | Auto merge of #145706 - lcnr:uniquification, r=BoxyUwU | bors | -11/+18 |
| 2025-08-22 | Rollup merge of #145641 - estebank:point-at-type-in-e0277, r=davidtwco | Jacob Pratt | -55/+88 |
| 2025-08-22 | On E0277, point at type that doesn't implement bound | Esteban Küber | -55/+88 |
| 2025-08-22 | change HIR typeck unification handling approach | lcnr | -11/+18 |
| 2025-08-22 | Add an experimental unsafe(force_target_feature) attribute. | Luca Versari | -1/+1 |
| 2025-08-21 | Auto merge of #145701 - jhpratt:rollup-a0kg33p, r=jhpratt | bors | -5/+24 |
| 2025-08-21 | Rollup merge of #145642 - xizheyin:145611, r=lcnr | Jacob Pratt | -1/+1 |
| 2025-08-21 | Rollup merge of #145627 - compiler-errors:const-supertrait-dyn-compat, r=fee1... | Jacob Pratt | -4/+23 |
| 2025-08-20 | Unconditionally-const supertraits are considered not dyn compatible | Michael Goulet | -4/+23 |
| 2025-08-20 | Do not use effective_visibilities query for Adt types of a local trait while ... | xizheyin | -1/+1 |
| 2025-08-20 | handle opaque types before region inference | lcnr | -0/+1 |
| 2025-08-19 | Rollup merge of #145537 - zachs18:metasized-negative-bound-fix, r=davidtwco | 许杰友 Jieyou Xu (Joe) | -3/+5 |
| 2025-08-19 | Rollup merge of #145338 - lcnr:coroutine-witness-yikes, r=compiler-errors | 许杰友 Jieyou Xu (Joe) | -43/+18 |
| 2025-08-17 | Do not consider a `T: !Sized` candidate to satisfy a `T: !MetaSized` obligation. | Zachary S | -3/+5 |
| 2025-08-17 | Auto merge of #145284 - nnethercote:type_name-print-regions, r=lcnr | bors | -4/+4 |
| 2025-08-16 | Add parentheses for closure when suggesting calling closure | Mu001999 | -6/+10 |
| 2025-08-15 | Rollup merge of #145235 - compiler-errors:comment, r=BoxyUwU | Stuart Cook | -27/+1 |
| 2025-08-15 | Rollup merge of #122661 - estebank:assert-macro-span, r=petrochenkov | Stuart Cook | -4/+36 |
| 2025-08-14 | Print regions in `type_name`. | Nicholas Nethercote | -4/+4 |
| 2025-08-14 | Rollup merge of #145266 - camsteffen:reduce-queries, r=petrochenkov | Guillaume Gomez | -1/+1 |
| 2025-08-13 | Rollup merge of #144949 - nnethercote:more-Printer-cleanups, r=davidtwco | Guillaume Gomez | -23/+22 |
| 2025-08-13 | Cleanup assoc parent utils | Cameron Steffen | -1/+1 |
| 2025-08-13 | `fn new_coroutine_witness_for_coroutine` woops | lcnr | -43/+18 |
| 2025-08-12 | Change the desugaring of `assert!` for better error output | Esteban Küber | -4/+36 |
| 2025-08-11 | Propagate TraitImplHeader to hir | Cameron Steffen | -4/+4 |
