| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-07-21 | Fix tools | Michael Goulet | -1/+1 |
| 2024-07-21 | Move all error reporting into rustc_trait_selection | Michael Goulet | -105/+11669 |
| 2024-07-21 | Move need_type_info too | Michael Goulet | -1/+1 |
| 2024-07-21 | Auto merge of #127722 - BoxyUwU:new_adt_const_params_limitations, r=compiler-... | bors | -24/+87 |
| 2024-07-20 | Rollup merge of #127987 - estebank:impl-trait-sugg, r=cjgillot | Matthias Krüger | -14/+34 |
| 2024-07-19 | More accurate suggestion for `-> Box<dyn Trait>` or `-> impl Trait` | Esteban Küber | -14/+34 |
| 2024-07-19 | Rollup merge of #127856 - RalfJung:interpret-cast-sanity, r=oli-obk | Matthias Krüger | -8/+12 |
| 2024-07-19 | Auto merge of #125915 - camelid:const-arg-refactor, r=BoxyUwU | bors | -2/+14 |
| 2024-07-18 | Remove tag field from relations | Michael Goulet | -8/+4 |
| 2024-07-18 | const_to_pat: cleanup leftovers from when we had to deal with non-structural ... | Ralf Jung | -175/+0 |
| 2024-07-18 | valtree construction: keep track of which type was valtree-incompatible | Ralf Jung | -4/+4 |
| 2024-07-18 | interpret: add sanity check in dyn upcast to double-check what codegen does | Ralf Jung | -8/+12 |
| 2024-07-17 | Fix relations | Michael Goulet | -2/+2 |
| 2024-07-17 | Split part of `adt_const_params` into `unsized_const_params` | Boxy | -33/+23 |
| 2024-07-17 | Forbid `!Sized` types and references | Boxy | -22/+95 |
| 2024-07-16 | Add `ConstArgKind::Path` and make `ConstArg` its own HIR node | Noah Lev | -2/+14 |
| 2024-07-16 | Rollup merge of #127501 - compiler-errors:invert-infer-error-mod-struture, r=... | Trevor Gross | -7/+8 |
| 2024-07-16 | Fix the issue of invalid suggestion for a reference of iterator | yukang | -1/+3 |
| 2024-07-15 | Move rustc_infer::infer::error_reporting to rustc_infer::error_reporting::infer | Michael Goulet | -7/+8 |
| 2024-07-15 | Make sure trait def ids match before zipping args in note_function_argument_o... | Michael Goulet | -0/+1 |
| 2024-07-15 | Fix unsoundness when associated types dont actually come from supertraits | Michael Goulet | -110/+154 |
| 2024-07-15 | Item bounds can reference self projections and still be object safe | Michael Goulet | -44/+80 |
| 2024-07-12 | Rollup merge of #127631 - compiler-errors:yeet-fully-norm, r=lcnr | Jubilee | -61/+22 |
| 2024-07-11 | Remove fully_normalize | Michael Goulet | -61/+22 |
| 2024-07-11 | Allows `#[diagnostic::do_not_recommend]` to supress trait impls in suggestion... | Georg Semmler | -0/+19 |
| 2024-07-10 | Rollup merge of #127570 - lcnr:normalize-cool, r=compiler-errors | Matthias Krüger | -8/+5 |
| 2024-07-10 | simplify and future-proof `needs_normalization` | lcnr | -8/+5 |
| 2024-07-10 | instantiate higher ranked goals in candidate selection | lcnr | -54/+12 |
| 2024-07-09 | Split out fulfillment error reporting a bit more | Michael Goulet | -207/+220 |
| 2024-07-09 | Move some stuff into the ambiguity and suggestion modules | Michael Goulet | -734/+742 |
| 2024-07-09 | Split out overflow handling into its own module | Michael Goulet | -185/+206 |
| 2024-07-08 | Move trait selection error reporting to its own top-level module | Michael Goulet | -76/+80 |
| 2024-07-08 | Rollup merge of #127439 - compiler-errors:uplift-elaborate, r=lcnr | 许杰友 Jieyou Xu (Joe) | -9/+1 |
| 2024-07-08 | Rollup merge of #127437 - compiler-errors:uplift-trait-ref-is-knowable, r=lcnr | 许杰友 Jieyou Xu (Joe) | -460/+3 |
| 2024-07-07 | Auto merge of #127172 - compiler-errors:full-can_eq-everywhere, r=lcnr | bors | -8/+18 |
| 2024-07-07 | Finish uplifting supertraits | Michael Goulet | -8/+0 |
| 2024-07-07 | Get rid of trait_ref_is_knowable from delegate | Michael Goulet | -10/+0 |
| 2024-07-07 | Uplift trait_ref_is_knowable and friends | Michael Goulet | -450/+3 |
| 2024-07-07 | Add fundamental to trait def | Michael Goulet | -1/+1 |
| 2024-07-07 | iter_identity is a better name | Michael Goulet | -1/+1 |
| 2024-07-07 | Auto merge of #127404 - compiler-errors:rpitit-entailment-false-positive, r=o... | bors | -0/+4 |
| 2024-07-06 | Don't try to label ObligationCauseCode::CompareImplItem for an RPITIT, since ... | Michael Goulet | -0/+4 |
| 2024-07-06 | Import via rustc_type_ir::outlives | Michael Goulet | -1/+1 |
| 2024-07-06 | Uplift push_outlives_components | Michael Goulet | -1/+1 |
| 2024-07-05 | Rollup merge of #127366 - oli-obk:falliblevisitor, r=compiler-errors | Michael Goulet | -4/+3 |
| 2024-07-05 | Split SolverDelegate back out from InferCtxtLike | Michael Goulet | -169/+2 |
| 2024-07-05 | Actually just make can_eq process obligations (almost) everywhere | Michael Goulet | -8/+18 |
| 2024-07-05 | Use `ControlFlow` results for visitors that are only looking for a single value | Oli Scherer | -4/+3 |
| 2024-07-03 | Auto merge of #125507 - compiler-errors:type-length-limit, r=lcnr | bors | -4/+5 |
| 2024-07-03 | Rollup merge of #126403 - compiler-errors:better-type-errors, r=lcnr | Jacob Pratt | -48/+101 |
