| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-06-18 | Auto merge of #126614 - compiler-errors:uplift-next-trait-solver, r=lcnr | bors | -145/+6 |
| 2024-06-18 | Remove redundant argument from `subdiagnostic` method | Oli Scherer | -18/+17 |
| 2024-06-18 | Use a dedicated type instead of a reference for the diagnostic context | Oli Scherer | -5/+6 |
| 2024-06-18 | SolverDelegate | Michael Goulet | -145/+6 |
| 2024-06-18 | Prefer `dcx` methods over fields or fields' methods | Oli Scherer | -1/+1 |
| 2024-06-16 | rustc_span: Minor improvements | Vadim Petrochenkov | -2/+2 |
| 2024-06-15 | Rollup merge of #126496 - compiler-errors:more-generics, r=lcnr | Guillaume Gomez | -0/+4 |
| 2024-06-15 | Rollup merge of #126354 - compiler-errors:variance, r=lcnr | Matthias Krüger | -35/+23 |
| 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 |
