| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-04-30 | Use less rustc_type_ir in the compiler codebase | Romain Perier | -2/+1 |
| 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 | -10/+10 |
| 2025-04-24 | Remove `weak` alias terminology | Boxy | -1/+1 |
| 2025-04-23 | More | Michael Goulet | -1/+3 |
| 2025-04-22 | Properly drain pending obligations for coroutines | Michael Goulet | -1/+1 |
| 2025-04-09 | re-use sized fast path | David Wood | -1/+7 |
| 2025-04-04 | Auto merge of #138785 - lcnr:typing-mode-borrowck, r=compiler-errors,oli-obk | bors | -1/+3 |
| 2025-04-03 | Initial support for auto traits with default bounds | Bryanskiy | -1/+5 |
| 2025-04-03 | add `TypingMode::Borrowck` | lcnr | -1/+3 |
| 2025-03-31 | Rollup merge of #138176 - compiler-errors:rigid-sized-obl, r=lcnr | Matthias Krüger | -11/+16 |
| 2025-03-24 | Instantiate binder before registering nested obligations for auto/built-in tr... | Michael Goulet | -8/+3 |
| 2025-03-13 | Only prefer Sized candidates, and only if they certainly hold | Michael Goulet | -17/+11 |
| 2025-03-13 | Prefer built-in sized impls for rigid types always | Michael Goulet | -1/+12 |
| 2025-03-10 | Remove AdtFlags::IS_ANONYMOUS and Copy/Clone condition for anonymous ADT | Michael Goulet | -9/+0 |
| 2025-03-09 | Rollup merge of #136968 - oli-obk:bye-bye, r=compiler-errors | Matthias Krüger | -11/+3 |
| 2025-03-01 | Rollup merge of #137800 - BoxyUwU:param_env_docs, r=compiler-errors | Matthias Krüger | -1/+1 |
| 2025-03-01 | Rollup merge of #137689 - compiler-errors:coroutine, r=lcnr | Matthias Krüger | -58/+21 |
| 2025-02-28 | review | lcnr | -3/+9 |
| 2025-02-26 | Remove `ParamEnv::without_caller_bounds` | Boxy | -1/+1 |
| 2025-02-26 | Use bound_coroutine_witnesses in old solver | Michael Goulet | -58/+21 |
| 2025-02-20 | Turn order dependent trait objects future incompat warning into a hard error | Oli Scherer | -11/+3 |
| 2025-02-13 | Implement and use BikeshedGuaranteedNoDrop for union/unsafe field validity | Michael Goulet | -1/+2 |
| 2025-02-08 | Rustfmt | bjorn3 | -3/+5 |
| 2025-01-30 | introduce `ty::Value` | Lukas Markeffsky | -1/+1 |
| 2025-01-28 | Make item self/non-self bound naming less whack | Michael Goulet | -2/+2 |
| 2025-01-21 | Move supertrait_def_ids into the elaborate module like all other fns | Michael Goulet | -1/+3 |
| 2025-01-14 | Prefer lower TraitUpcasting candidates | Michael Goulet | -0/+12 |
| 2024-12-27 | Fix typos | chloefeal | -1/+1 |
| 2024-12-22 | Begin to implement type system layer of unsafe binders | Michael Goulet | -0/+10 |
| 2024-12-18 | Re-export more `rustc_span::symbol` things from `rustc_span`. | Nicholas Nethercote | -2/+1 |
| 2024-12-17 | consistently handle global where-bounds | lcnr | -305/+241 |
| 2024-12-11 | Rename projection_def_id to item_def_id | Michael Goulet | -1/+1 |
| 2024-12-04 | Make sure to record deps from cached task in new solver on first run | Michael Goulet | -4/+1 |
| 2024-12-02 | Auto merge of #133626 - lcnr:fix-diesel, r=BoxyUwU | bors | -6/+11 |
| 2024-11-29 | check local cache even if global is usable | lcnr | -6/+11 |
| 2024-11-28 | support revealing defined opaque post borrowck | lcnr | -1/+6 |
| 2024-11-28 | uplift fold_regions to rustc_type_ir | lcnr | -1/+2 |
| 2024-11-23 | global old solver cache: use `TypingEnv` | lcnr | -20/+41 |
| 2024-11-23 | no more Reveal :( | lcnr | -6/+6 |
| 2024-11-21 | Stop being so bail-y in candidate assembly | Michael Goulet | -4/+0 |
| 2024-11-12 | Consolidate type system const evaluation under `traits::evaluate_const` | Boxy | -10/+11 |
| 2024-11-06 | Auto merge of #132625 - compiler-errors:cache-only-if-opaque, r=lcnr | bors | -6/+18 |
| 2024-11-05 | Only disable cache if predicate has opaques within it | Michael Goulet | -6/+18 |
| 2024-11-04 | ty::BrK -> ty::BoundRegionKind::K | Michael Goulet | -5/+7 |
| 2024-11-04 | Remove the trivial constkind imports | Michael Goulet | -3/+3 |
| 2024-10-29 | TypingMode :thinking: | lcnr | -62/+31 |
| 2024-10-28 | Hack out effects support for old solver | Michael Goulet | -6/+14 |
| 2024-10-24 | Implement const effect predicate in new solver | Michael Goulet | -0/+7 |
| 2024-10-24 | Remove associated type based effects logic | Michael Goulet | -2/+1 |
