| Age | Commit message (Expand) | Author | Lines |
| 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 |
| 2024-06-06 | Expand list of trait implementers in E0277 when calling rustc with --verbose | rongfu.leng | -2/+6 |
| 2024-06-05 | Fully implement `ConstArgHasType` | Boxy | -103/+110 |
| 2024-06-05 | Add `Ty` to `ConstKind::Value` | Boxy | -6/+12 |
| 2024-06-05 | Basic removal of `Ty` from places (boring) | Boxy | -59/+35 |
| 2024-06-05 | Auto merge of #126038 - matthiaskrgr:rollup-h4rm3x2, r=matthiaskrgr | bors | -35/+24 |
| 2024-06-05 | Rollup merge of #125871 - fmease:fix-orphanck-opaques, r=lcnr | Matthias Krüger | -35/+24 |
| 2024-06-05 | Rollup merge of #125792 - compiler-errors:dont-drop-upcast-cand, r=lcnr | Matthias Krüger | -0/+6 |
| 2024-06-04 | Orphanck: Consider opaque types to never cover type parameters | León Orell Valerian Liehr | -35/+24 |
| 2024-06-04 | Rollup merge of #125717 - weiznich:move/do_not_recommend_to_diganostic_namesp... | Michael Goulet | -8/+18 |
| 2024-06-04 | Rollup merge of #125750 - compiler-errors:expect, r=lcnr | 许杰友 Jieyou Xu (Joe) | -11/+11 |
| 2024-06-04 | Auto merge of #125380 - compiler-errors:wc-obj-safety, r=oli-obk | bors | -87/+12 |
| 2024-06-03 | Align Term methods with GenericArg methods | Michael Goulet | -11/+11 |
| 2024-06-03 | Nits and formatting | Michael Goulet | -103/+75 |
| 2024-06-03 | check_is_object_safe -> is_object_safe | Michael Goulet | -9/+9 |
| 2024-06-03 | Make WHERE_CLAUSES_OBJECT_SAFETY a regular object safety violation | Michael Goulet | -78/+3 |
| 2024-06-03 | Add cycle errors to ScrubbedTraitError to remove a couple more calls to new_w... | Michael Goulet | -36/+22 |
| 2024-06-03 | Move FulfillmentErrorCode to rustc_trait_selection too | Michael Goulet | -5/+42 |
| 2024-06-03 | Use ScrubbedTraitError in more places | Michael Goulet | -16/+18 |
| 2024-06-03 | Opt-in diagnostics reporting to avoid doing extra work in the new solver | Michael Goulet | -58/+134 |
| 2024-06-03 | Make TraitEngines generic over error | Michael Goulet | -86/+211 |
| 2024-06-03 | Remove unnecessary extension trait | Michael Goulet | -4/+1 |
| 2024-06-03 | Auto merge of #125778 - estebank:issue-67100, r=compiler-errors | bors | -5/+6 |
| 2024-06-01 | Auto merge of #125775 - compiler-errors:uplift-closure-args, r=lcnr | bors | -8/+8 |
| 2024-06-01 | Uplift TypeRelation and Relate | Michael Goulet | -8/+8 |
| 2024-06-01 | Deduplicate supertrait_def_ids code | Mark Rousskov | -50/+10 |
| 2024-06-01 | Increase vtable layout size | Mark Rousskov | -53/+60 |
| 2024-05-31 | Stop using translate_args in the new solver | Michael Goulet | -57/+79 |