| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-05-08 | normalization: avoid incompletely constraining GAT args | lcnr | -3/+4 |
| 2025-05-07 | Require T: TypeFoldable in Binder<T> visit | Michael Goulet | -2/+2 |
| 2025-05-01 | Set groundwork for proper const normalization | Boxy | -159/+230 |
| 2025-05-01 | No-op split into sub functions | Boxy | -164/+162 |
| 2025-04-30 | Rollup merge of #140468 - BoxyUwU:normalization_confusings2, r=lcnr | Matthias Krüger | -5/+8 |
| 2025-04-30 | Rollup merge of #140516 - rperier:type-ir-to-type-middle, r=lcnr | Matthias Krüger | -12/+9 |
| 2025-04-30 | Use less rustc_type_ir in the compiler codebase | Romain Perier | -12/+9 |
| 2025-04-30 | Rollup merge of #140445 - oli-obk:const-manually-drop, r=fee1-dead | Matthias Krüger | -0/+3 |
| 2025-04-29 | confusings | Boxy | -5/+8 |
| 2025-04-29 | Rollup merge of #139909 - oli-obk:or-patterns, r=BoxyUwU | Trevor Gross | -37/+47 |
| 2025-04-29 | Treat `ManuallyDrop` as `~const Destruct` | Oli Scherer | -0/+3 |
| 2025-04-29 | Also match on the lang item in confirmation | Oli Scherer | -10/+5 |
| 2025-04-29 | Always check the lang item first | Oli Scherer | -16/+8 |
| 2025-04-29 | Replace if/elseif chain with match | Oli Scherer | -62/+81 |
| 2025-04-29 | Adjust tests | Michael Goulet | -1/+3 |
| 2025-04-29 | Wf is not coinductive | Michael Goulet | -1/+4 |
| 2025-04-28 | Auto merge of #140388 - GuillaumeGomez:rollup-aj9o3ch, r=GuillaumeGomez | bors | -9/+9 |
| 2025-04-28 | Rollup merge of #140249 - BoxyUwU:remove_weak_alias_terminology, r=oli-obk | Guillaume Gomez | -9/+9 |
| 2025-04-28 | AsyncDrop implementation using shim codegen of async_drop_in_place::{closure}... | Andrew Zhogin | -44/+0 |
| 2025-04-28 | Add or-patterns to pattern types | Oli Scherer | -0/+5 |
| 2025-04-28 | Split out various pattern type matches into their own function | Oli Scherer | -37/+42 |
| 2025-04-26 | convert some `GenericArg` to `Term` | lcnr | -65/+53 |
| 2025-04-24 | Auto merge of #140245 - matthiaskrgr:rollup-e0fwsfv, r=matthiaskrgr | bors | -33/+48 |
| 2025-04-24 | Remove `weak` alias terminology | Boxy | -9/+9 |
| 2025-04-24 | Rollup merge of #140214 - compiler-errors:remove-hack, r=lcnr | Matthias Krüger | -2/+0 |
| 2025-04-24 | Rollup merge of #140186 - BoxyUwU:compute_what, r=compiler-errors | Matthias Krüger | -31/+48 |
| 2025-04-24 | Rollup merge of #140232 - nnethercote:rm-unnecessary-clones, r=SparrowLii | Matthias Krüger | -2/+1 |
| 2025-04-24 | Remove some unnecessary clones. | Nicholas Nethercote | -2/+1 |
| 2025-04-23 | Auto merge of #138845 - compiler-errors:stall-generators, r=lcnr | bors | -2/+4 |
| 2025-04-23 | Remove hack | Michael Goulet | -2/+0 |
| 2025-04-23 | Use the new solver in the impossible_predicates | Michael Goulet | -9/+5 |
| 2025-04-23 | More | Michael Goulet | -1/+3 |
| 2025-04-23 | Module docs | Boxy | -0/+5 |
| 2025-04-23 | Rename `compute_x` methods | Boxy | -31/+43 |
| 2025-04-22 | Properly drain pending obligations for coroutines | Michael Goulet | -2/+2 |
| 2025-04-22 | Use `is_lang_item` and `as_lang_item` instead of handrolling their logic | Oli Scherer | -118/+122 |
| 2025-04-19 | Don't ICE on pending obligations from deep normalization in a loop | Michael Goulet | -1/+9 |
| 2025-04-15 | Auto merge of #139845 - Zalathar:rollup-u5u5y1v, r=Zalathar | bors | -34/+33 |
| 2025-04-15 | Rollup merge of #139669 - nnethercote:overhaul-AssocItem, r=oli-obk | Stuart Cook | -34/+33 |
| 2025-04-15 | Auto merge of #139826 - matthiaskrgr:rollup-0q0qvkd, r=matthiaskrgr | bors | -19/+8 |
| 2025-04-15 | Move `name` field from `AssocItem` to `AssocKind` variants. | Nicholas Nethercote | -24/+27 |
| 2025-04-15 | Move `opt_rpitit_info` field to `hir::AssocKind::Type`. | Nicholas Nethercote | -5/+3 |
| 2025-04-14 | Auto merge of #139577 - davidtwco:sizedness-go-vroom, r=oli-obk | bors | -15/+35 |
| 2025-04-14 | Use `newtype_index!`-generated types more idiomatically | Yotam Ofek | -19/+8 |
| 2025-04-14 | Move `has_self` field to `hir::AssocKind::Fn`. | Nicholas Nethercote | -6/+4 |
| 2025-04-09 | Use a query rather than recomputing the tail repeatedly | Michael Goulet | -15/+1 |
| 2025-04-09 | Rigidly project missing item due to guaranteed impossible sized predicate | Michael Goulet | -45/+59 |
| 2025-04-09 | re-use sized fast path | David Wood | -15/+35 |
| 2025-04-09 | Auto merge of #139552 - matthiaskrgr:rollup-b194mk8, r=matthiaskrgr | bors | -3/+3 |
| 2025-04-08 | Rollup merge of #139541 - compiler-errors:transmute, r=lcnr | Matthias Krüger | -3/+3 |
