| Age | Commit message (Expand) | Author | Lines |
| 2024-06-16 | Rollup merge of #126127 - Alexendoo:other-trait-diag, r=pnkfelix | Jacob Pratt | -1/+1 |
| 2024-06-16 | Auto merge of #126505 - compiler-errors:no-vtable, r=lcnr | bors | -170/+100 |
| 2024-06-15 | Rollup merge of #126525 - jieyouxu:traitsel-docs, r=compiler-errors | Guillaume Gomez | -2/+2 |
| 2024-06-15 | Rollup merge of #126496 - compiler-errors:more-generics, r=lcnr | Guillaume Gomez | -143/+151 |
| 2024-06-15 | Rollup merge of #126404 - compiler-errors:alias-relate-terms, r=lcnr | Guillaume Gomez | -1/+40 |
| 2024-06-15 | trait_selection: remove extra words | 许杰友 Jieyou Xu (Joe) | -2/+2 |
| 2024-06-15 | Rollup merge of #126471 - oli-obk:filter_loop, r=compiler-errors | Matthias Krüger | -11/+6 |
| 2024-06-15 | Rollup merge of #126354 - compiler-errors:variance, r=lcnr | Matthias Krüger | -4/+4 |
| 2024-06-14 | Only compute vtable information during codegen | Michael Goulet | -170/+100 |
| 2024-06-14 | Correctly consider depth when visiting WF goals | Michael Goulet | -3/+18 |
| 2024-06-14 | Use is_lang_item more aggressively | Michael Goulet | -78/+77 |
| 2024-06-14 | Add TyCtxt::is_lang_item | Michael Goulet | -39/+37 |
| 2024-06-14 | Make proof tree probing generic | Michael Goulet | -38/+45 |
| 2024-06-14 | Make Candidate generic over interner | Michael Goulet | -106/+107 |
| 2024-06-14 | Use a consistent way to filter out bounds instead of splitting it into three ... | Oli Scherer | -11/+6 |
| 2024-06-13 | Address nits | Michael Goulet | -23/+30 |
| 2024-06-13 | Fix some TODOs | Michael Goulet | -5/+4 |
| 2024-06-13 | Finish uplifting all of structural_traits | Michael Goulet | -187/+156 |
| 2024-06-13 | Rework most of structural_traits to be Interner-agnostic | Michael Goulet | -103/+114 |
| 2024-06-13 | LangItem-ify Coroutine trait in solvers | Michael Goulet | -9/+13 |
| 2024-06-13 | Check that alias-relate terms are WF if reporting an error in alias-relate | Michael Goulet | -0/+24 |
| 2024-06-12 | Rollup merge of #126353 - compiler-errors:move-match, r=lcnr | Jubilee | -2/+123 |
| 2024-06-12 | Rollup merge of #126142 - compiler-errors:trait-ref-split, r=jackh726 | Jubilee | -99/+98 |
| 2024-06-12 | Rebase fallout | Michael Goulet | -7/+8 |
| 2024-06-12 | Stop passing traitref/traitpredicate by ref | Michael Goulet | -30/+26 |
| 2024-06-12 | Stop passing both trait pred and trait ref | Michael Goulet | -16/+18 |
| 2024-06-12 | Harmonize use of leaf and root obligation in trait error reporting | Michael Goulet | -53/+53 |
| 2024-06-12 | Also passthrough for projection clauses | Michael Goulet | -1/+3 |
| 2024-06-12 | better error message for normalizes-to ambiguities | Michael Goulet | -0/+16 |
| 2024-06-12 | Walk into alias-eq nested goals even if normalization fails | Michael Goulet | -7/+15 |
| 2024-06-12 | Use Variance glob import everywhere | Michael Goulet | -4/+4 |
| 2024-06-12 | Move MatchAgainstFreshVars to old solver | Michael Goulet | -2/+123 |
| 2024-06-12 | Spell out other trait diagnostic | Alex Macleod | -1/+1 |
| 2024-06-12 | Rollup merge of #126301 - nnethercote:sort-crate-attributes, r=davidtwco | Jubilee | -3/+5 |
| 2024-06-12 | Rollup merge of #126187 - surechen:fix_125997, r=oli-obk | Jubilee | -0/+45 |
| 2024-06-12 | Use `tidy` to sort crate attributes for all compiler crates. | Nicholas Nethercote | -3/+5 |
| 2024-06-12 | Auto merge of #126130 - compiler-errors:goal-relations, r=lcnr | bors | -14/+11 |
| 2024-06-12 | For E0277 suggest adding `Result` return type for function which using Quesio... | surechen | -0/+45 |
| 2024-06-11 | Rollup merge of #126055 - lengrongfu:master, r=pnkfelix | 许杰友 Jieyou Xu (Joe) | -2/+6 |
| 2024-06-11 | Try not to make obligations in handle_opaque_type | Michael Goulet | -8/+7 |
| 2024-06-11 | Get rid of PredicateObligations | Michael Goulet | -6/+4 |
| 2024-06-11 | Rollup merge of #126258 - oli-obk:recursive_rpit, r=lcnr | 许杰友 Jieyou Xu (Joe) | -1/+1 |
| 2024-06-11 | Revert "When checking whether an impl applies, constrain hidden types of opaq... | Oli Scherer | -1/+1 |
| 2024-06-11 | Auto merge of #126139 - compiler-errors:specializes, r=lcnr | bors | -25/+18 |
| 2024-06-07 | Only compute specializes query if specialization is enabled in the crate of t... | Michael Goulet | -25/+18 |
| 2024-06-07 | Rollup merge of #126089 - wutchzone:option_take_if, r=scottmcm | Matthias Krüger | -1/+0 |
| 2024-06-06 | Stabilize Option::take_if | Daniel Sedlak | -1/+0 |
| 2024-06-06 | Uplift TypeRelation and Relate | Michael Goulet | -6/+6 |
| 2024-06-06 | Uplift TypeError | Michael Goulet | -6/+7 |
| 2024-06-06 | Auto merge of #125958 - BoxyUwU:remove_const_ty, r=lcnr | bors | -155/+144 |