| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-05-08 | Rollup merge of #140641 - lcnr:opaque-type-storage-entries, r=compiler-errors | Matthias Krüger | -3/+88 |
| 2025-05-07 | detect additional uses of opaques after writeback | lcnr | -3/+49 |
| 2025-05-07 | opaque_type_storage to InferCtxtLike | lcnr | -0/+39 |
| 2025-05-07 | Require T: TypeFoldable in Binder<T> visit | Michael Goulet | -4/+0 |
| 2025-05-07 | Rollup merge of #140607 - lcnr:opaque-type-storage, r=compiler-errors | Jacob Pratt | -48/+83 |
| 2025-05-06 | support duplicates in the opaque_types_storage | lcnr | -48/+83 |
| 2025-05-06 | Rename `graph::implementation::Graph` to `LinkedGraph` | Zalathar | -4/+4 |
| 2025-05-05 | Rollup merge of #140559 - rperier:type-ir-to-type-middle, r=compiler-errors | Guillaume Gomez | -28/+16 |
| 2025-05-02 | Use less rustc_type_ir in the compiler codebase | Romain Perier | -28/+16 |
| 2025-05-01 | Set groundwork for proper const normalization | Boxy | -8/+17 |
| 2025-04-28 | Rollup merge of #140249 - BoxyUwU:remove_weak_alias_terminology, r=oli-obk | Guillaume Gomez | -1/+1 |
| 2025-04-26 | convert some `GenericArg` to `Term` | lcnr | -3/+13 |
| 2025-04-24 | Remove `weak` alias terminology | Boxy | -1/+1 |
| 2025-04-23 | More | Michael Goulet | -2/+4 |
| 2025-04-22 | Properly drain pending obligations for coroutines | Michael Goulet | -2/+2 |
| 2025-04-14 | Use `newtype_index!`-generated types more idiomatically | Yotam Ofek | -6/+5 |
| 2025-04-08 | clean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()` | xizheyin | -28/+28 |
| 2025-04-04 | Auto merge of #138785 - lcnr:typing-mode-borrowck, r=compiler-errors,oli-obk | bors | -4/+37 |
| 2025-04-03 | Pass correct param-env to error_implies | Michael Goulet | -1/+2 |
| 2025-04-03 | add `TypingMode::Borrowck` | lcnr | -4/+37 |
| 2025-04-01 | simplify Interner opaque types API | lcnr | -4/+3 |
| 2025-03-23 | Obligation::as_goal | Michael Goulet | -2/+1 |
| 2025-03-15 | Fold visit into ty | Michael Goulet | -11/+7 |
| 2025-03-15 | Squash fold into ty | Michael Goulet | -28/+25 |
| 2025-02-26 | Use Binder<Vec<T>> instead of Vec<Binder<T>> in new solver | Michael Goulet | -2/+4 |
| 2025-02-24 | Rollup merge of #136610 - Jarcho:range_idx, r=Noratrieb | Jacob Pratt | -1/+1 |
| 2025-02-22 | Greatly simplify lifetime captures in edition 2024 | Michael Goulet | -14/+10 |
| 2025-02-21 | Allow SliceIndex to be indexed by ranges. | Jason Newcomb | -1/+1 |
| 2025-02-21 | Rollup merge of #137305 - nnethercote:rustc_middle-2, r=lcnr | Matthias Krüger | -1/+0 |
| 2025-02-21 | Remove an unnecessary re-export. | Nicholas Nethercote | -1/+0 |
| 2025-02-20 | Use a probe to avoid registering stray region obligations when re-checking dr... | Michael Goulet | -1/+1 |
| 2025-02-08 | Rustfmt | bjorn3 | -22/+26 |
| 2025-02-06 | Add opt_alias_variances and use it in outlives code | Michael Goulet | -13/+11 |
| 2025-02-05 | Pass spans around new solver | Michael Goulet | -11/+26 |
| 2025-02-02 | Move `unify_key` module. | Nicholas Nethercote | -5/+176 |
| 2025-01-31 | Auto merge of #135318 - compiler-errors:vtable-fixes, r=lcnr | bors | -0/+24 |
| 2025-01-30 | introduce `ty::Value` | Lukas Markeffsky | -2/+2 |
| 2025-01-30 | Normalize vtable entries before walking and deduplicating them | Michael Goulet | -0/+24 |
| 2025-01-30 | Auto merge of #136038 - compiler-errors:outlives, r=lcnr | bors | -50/+16 |
| 2025-01-28 | Move param env bound deep normalization to OutlivesEnvironment building | Michael Goulet | -44/+16 |
| 2025-01-28 | Make item self/non-self bound naming less whack | Michael Goulet | -1/+1 |
| 2025-01-28 | Move outlives env computation into methods | Michael Goulet | -6/+0 |
| 2025-01-22 | Remove `Copy` bound from `enter_forall` | Boxy | -4/+4 |
| 2025-01-13 | rm unnecessary `OpaqueTypeDecl` wrapper | lcnr | -24/+16 |
| 2025-01-02 | Simplify declared_generic_bounds_from_env | Michael Goulet | -32/+23 |
| 2025-01-02 | Make it clearer that the only infers we expect to see when processing outlive... | Michael Goulet | -1/+8 |
| 2025-01-02 | Remove hack for filtering out param-env outlives that match item-bound outlives | Michael Goulet | -18/+1 |
| 2024-12-30 | fix a couple nits | Rémy Rakic | -1/+1 |
| 2024-12-26 | nit: Remove redundant function | Michael Goulet | -4/+0 |
| 2024-12-22 | Begin to implement type system layer of unsafe binders | Michael Goulet | -0/+1 |
