| Age | Commit message (Expand) | Author | Lines |
|---|
| 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/+12060 |
| 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 |
