| Age | Commit message (Expand) | Author | Lines |
| 2024-08-06 | On trait bound mismatch, detect multiple crate versions in dep tree | Esteban Küber | -39/+124 |
| 2024-08-06 | Cache supertrait outlives of impl header for soundness check | Michael Goulet | -26/+16 |
| 2024-08-05 | Auto merge of #128689 - matthiaskrgr:rollup-ukyn8wq, r=matthiaskrgr | bors | -1/+1 |
| 2024-08-05 | Don't re-elaborated already elaborated caller bounds in method probe | Michael Goulet | -1/+1 |
| 2024-08-05 | Elaborate supertraits in dyn candidates | Michael Goulet | -0/+1 |
| 2024-08-05 | Enforce supertrait outlives obligations hold when confirming impl | Michael Goulet | -2/+32 |
| 2024-08-02 | More information for fully-qualified suggestion when there are multiple impls | Esteban Küber | -21/+49 |
| 2024-07-31 | Rollup merge of #128438 - Bryanskiy:empty-array-dropck, r=lcnr | Matthias Krüger | -2/+9 |
| 2024-07-31 | Add special-case for [T, 0] in dropck | Bryanskiy | -2/+9 |
| 2024-07-30 | Auto merge of #128083 - Mark-Simulacrum:bump-bootstrap, r=albertlarsan68 | bors | -4/+1 |
| 2024-07-29 | only accept adt type during infer source visitor | bohan | -4/+4 |
| 2024-07-29 | Reformat `use` declarations. | Nicholas Nethercote | -452/+412 |
| 2024-07-28 | step cfg(bootstrap) | Mark Rousskov | -4/+1 |
| 2024-07-26 | Rollup merge of #128201 - compiler-errors:closure-clone, r=oli-obk | Trevor Gross | -2/+15 |
| 2024-07-26 | Auto merge of #121676 - Bryanskiy:polarity, r=petrochenkov | bors | -5/+5 |
| 2024-07-26 | Make coroutine-closures possible to be cloned | Michael Goulet | -2/+15 |
| 2024-07-26 | Rollup merge of #126090 - compiler-errors:supertrait-assoc-ty-unsoundness, r=... | Matthias Krüger | -114/+194 |
| 2024-07-25 | Support ?Trait bounds in supertraits and dyn Trait under a feature gate | Bryanskiy | -5/+5 |
| 2024-07-25 | Rollup merge of #128160 - compiler-errors:auto, r=jackh726 | Matthias Krüger | -0/+6 |
| 2024-07-24 | Don't ICE when auto trait has assoc ty in old solver | Michael Goulet | -0/+6 |
| 2024-07-24 | Do not assemble candidates for auto traits of opaque types in their defining ... | Oli Scherer | -1/+6 |
| 2024-07-24 | Do not try to reveal hidden types when trying to prove Freeze in the defining... | Oli Scherer | -7/+11 |
| 2024-07-24 | Don't use global caches if opaques can be defined | Oli Scherer | -1/+7 |
| 2024-07-23 | Rollup merge of #128076 - compiler-errors:infer_ctxt_ext, r=lcnr | Matthias Krüger | -248/+233 |
| 2024-07-23 | Suggest adding Result return type for associated method in E0277. | surechen | -5/+36 |
| 2024-07-22 | Get rid of infer_ctxt_ext | Michael Goulet | -248/+233 |
| 2024-07-22 | Get rid of can_eq_shallow | Michael Goulet | -2/+3 |
| 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 |