| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-08-05 | Enforce supertrait outlives obligations hold when confirming impl | Michael Goulet | -2/+32 |
| 2024-07-31 | Add special-case for [T, 0] in dropck | Bryanskiy | -2/+9 |
| 2024-07-29 | Reformat `use` declarations. | Nicholas Nethercote | -266/+240 |
| 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 | 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-21 | Move all error reporting into rustc_trait_selection | Michael Goulet | -6/+6 |
| 2024-07-21 | Auto merge of #127722 - BoxyUwU:new_adt_const_params_limitations, r=compiler-... | bors | -24/+87 |
| 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 | -2/+2 |
| 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-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-11 | Remove fully_normalize | Michael Goulet | -61/+22 |
| 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 overflow handling into its own module | Michael Goulet | -4/+4 |
| 2024-07-08 | Move trait selection error reporting to its own top-level module | Michael Goulet | -10465/+11 |
| 2024-07-08 | Rollup merge of #127439 - compiler-errors:uplift-elaborate, r=lcnr | 许杰友 Jieyou Xu (Joe) | -1/+1 |
| 2024-07-08 | Rollup merge of #127437 - compiler-errors:uplift-trait-ref-is-knowable, r=lcnr | 许杰友 Jieyou Xu (Joe) | -450/+2 |
| 2024-07-07 | Auto merge of #127172 - compiler-errors:full-can_eq-everywhere, r=lcnr | bors | -8/+7 |
| 2024-07-07 | Uplift trait_ref_is_knowable and friends | Michael Goulet | -450/+2 |
| 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 | Actually just make can_eq process obligations (almost) everywhere | Michael Goulet | -8/+7 |
| 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 |
| 2024-07-03 | Auto merge of #123737 - compiler-errors:alias-wf, r=lcnr | bors | -9/+3 |
| 2024-07-02 | Actually report normalization-based type errors correctly for alias-relate ob... | Michael Goulet | -48/+101 |
| 2024-07-02 | Fix spans | Michael Goulet | -1/+2 |
| 2024-07-02 | Miscellaneous renaming | Michael Goulet | -3/+3 |
| 2024-07-02 | Rollup merge of #127230 - hattizai:patch01, r=saethlin | Matthias Krüger | -2/+2 |
| 2024-07-02 | Rollup merge of #127146 - compiler-errors:fast-reject, r=lcnr | Matthias Krüger | -2/+2 |
