| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-06-14 | Make proof tree probing generic | Michael Goulet | -0/+4 |
| 2024-06-14 | Rollup merge of #126368 - nnethercote:rm-more-unused-crate-deps, r=jackh726 | Matthias Krüger | -1/+0 |
| 2024-06-14 | Rollup merge of #124884 - bvanjoi:fix-124785, r=estebank | Matthias Krüger | -3/+15 |
| 2024-06-13 | Address nits | Michael Goulet | -29/+41 |
| 2024-06-13 | Fix some TODOs | Michael Goulet | -0/+8 |
| 2024-06-13 | Finish uplifting all of structural_traits | Michael Goulet | -15/+106 |
| 2024-06-13 | Rework most of structural_traits to be Interner-agnostic | Michael Goulet | -1/+20 |
| 2024-06-13 | Remove some unnecessary crate dependencies. | Nicholas Nethercote | -1/+0 |
| 2024-06-12 | Rollup merge of #126353 - compiler-errors:move-match, r=lcnr | Jubilee | -123/+0 |
| 2024-06-12 | Stop passing traitref/traitpredicate by ref | Michael Goulet | -5/+4 |
| 2024-06-12 | Use Variance glob import everywhere | Michael Goulet | -35/+23 |
| 2024-06-12 | Move MatchAgainstFreshVars to old solver | Michael Goulet | -123/+0 |
| 2024-06-12 | Rollup merge of #126301 - nnethercote:sort-crate-attributes, r=davidtwco | Jubilee | -4/+6 |
| 2024-06-12 | Use `tidy` to sort crate attributes for all compiler crates. | Nicholas Nethercote | -4/+6 |
| 2024-06-11 | Try not to make obligations in handle_opaque_type | Michael Goulet | -75/+66 |
| 2024-06-11 | Rename some things | Michael Goulet | -38/+40 |
| 2024-06-11 | Make ObligationEmittingRelation deal with Goals only | Michael Goulet | -49/+92 |
| 2024-06-11 | Get rid of PredicateObligations | Michael Goulet | -17/+13 |
| 2024-06-10 | Add explanatory note to async block type mismatch error | Gurinder Singh | -0/+9 |
| 2024-06-06 | Uplift TypeRelation and Relate | Michael Goulet | -72/+185 |
| 2024-06-06 | Uplift TypeError | Michael Goulet | -5/+5 |
| 2024-06-05 | Add `Ty` to `ConstKind::Value` | Boxy | -4/+7 |
| 2024-06-05 | Basic removal of `Ty` from places (boring) | Boxy | -77/+40 |
| 2024-06-05 | bivariant alias: set `has_unconstrained_ty_var` | lcnr | -2/+10 |
| 2024-06-04 | Auto merge of #123536 - compiler-errors:simplify-int-float, r=lcnr | bors | -131/+114 |
| 2024-06-04 | Rollup merge of #125865 - ajwock:ice_not_fully_resolved, r=fee1-dead | Michael Goulet | -0/+5 |
| 2024-06-03 | Align Term methods with GenericArg methods | Michael Goulet | -3/+3 |
| 2024-06-03 | Nits and formatting | Michael Goulet | -15/+35 |
| 2024-06-03 | Move FulfillmentErrorCode to rustc_trait_selection too | Michael Goulet | -41/+1 |
| 2024-06-03 | Make TraitEngines generic over error | Michael Goulet | -62/+29 |
| 2024-06-03 | Remove unnecessary extension trait | Michael Goulet | -23/+19 |
| 2024-06-03 | Fix ICE caused by ignoring EffectVars in type inference | Andrew Wock | -0/+5 |
| 2024-06-01 | Address nits | Michael Goulet | -4/+4 |
| 2024-06-01 | Inline fold_infer_ty | Michael Goulet | -35/+35 |
| 2024-06-01 | Simplify IntVarValue/FloatVarValue | Michael Goulet | -104/+87 |
| 2024-05-31 | Rollup merge of #125774 - mu001999-contrib:fix/125757, r=compiler-errors | Matthias Krüger | -2/+2 |
| 2024-05-31 | Avoid unwrap diag.code directly | r0cky | -2/+2 |
| 2024-05-30 | Auto merge of #125711 - oli-obk:const_block_ice2, r=Nadrieril | bors | -13/+7 |
| 2024-05-30 | Auto merge of #125671 - BoxyUwU:remove_const_ty_eq, r=compiler-errors | bors | -8/+1 |
| 2024-05-29 | Partially implement `ConstArgHasType` | Boxy | -8/+1 |
| 2024-05-29 | Make `body_owned_by` return the body directly. | Oli Scherer | -8/+6 |
| 2024-05-29 | Don't require `visit_body` to take a lifetime that must outlive the function ... | Oli Scherer | -5/+1 |
| 2024-05-28 | Remove Trace | Michael Goulet | -141/+71 |
| 2024-05-28 | Get rid of manual Trace calls | Michael Goulet | -0/+17 |
| 2024-05-28 | Rollup merge of #125640 - fmease:plz-no-stringify, r=estebank | Jubilee | -4/+9 |
| 2024-05-28 | Don't suggest turning non-char-literal exprs of ty `char` into string literals | León Orell Valerian Liehr | -4/+9 |
| 2024-05-27 | Auto merge of #125468 - BoxyUwU:remove_defid_from_regionparam, r=compiler-errors | bors | -60/+182 |
| 2024-05-25 | place explicit lifetime bound after generic param | bohan | -3/+15 |
| 2024-05-25 | Rollup merge of #125451 - oli-obk:const_type_mismatch, r=compiler-errors | Matthias Krüger | -32/+7 |
| 2024-05-25 | Auto merge of #124187 - compiler-errors:self-ctor, r=petrochenkov | bors | -62/+43 |
