| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-01-31 | Manually walk into WF obligations in BestObligation proof tree visitor | Michael Goulet | -6/+10 |
| 2025-01-31 | Move fulfillment error derivation into new module | Michael Goulet | -6/+1 |
| 2025-01-31 | Enforce unsafe binders must be Copy (for now) | Michael Goulet | -2/+19 |
| 2025-01-31 | Rollup merge of #135860 - fmease:compiler-mv-obj-save-dyn-compat-ii, r=jieyouxu | Matthias Krüger | -4/+4 |
| 2025-01-31 | Auto merge of #135318 - compiler-errors:vtable-fixes, r=lcnr | bors | -112/+63 |
| 2025-01-30 | More assertions, tests, and miri coverage | Michael Goulet | -34/+23 |
| 2025-01-30 | introduce `ty::Value` | Lukas Markeffsky | -3/+3 |
| 2025-01-30 | Normalize vtable entries before walking and deduplicating them | Michael Goulet | -21/+12 |
| 2025-01-30 | Do not treat vtable supertraits as distinct when bound with different bound vars | Michael Goulet | -73/+59 |
| 2025-01-30 | Rework rustc_dump_vtable | Michael Goulet | -16/+1 |
| 2025-01-30 | Auto merge of #136038 - compiler-errors:outlives, r=lcnr | bors | -69/+28 |
| 2025-01-29 | Rollup merge of #136205 - compiler-errors:len-3, r=BoxyUwU | Matthias Krüger | -1/+1 |
| 2025-01-29 | Auto merge of #136225 - fmease:rollup-fm7m744, r=fmease | bors | -2/+2 |
| 2025-01-29 | Rollup merge of #135902 - compiler-errors:item-non-self-bound-in-new-solver, ... | León Orell Valerian Liehr | -2/+2 |
| 2025-01-29 | Auto merge of #136011 - compiler-errors:query-norm-vaniquishes-us, r=jackh726 | bors | -14/+10 |
| 2025-01-28 | Make item self/non-self bound naming less whack | Michael Goulet | -2/+2 |
| 2025-01-28 | Move outlives env computation into methods | Michael Goulet | -19/+6 |
| 2025-01-28 | Consolidate OutlivesEnv construction with resolve_regions | Michael Goulet | -61/+33 |
| 2025-01-28 | Properly check that array length is valid type during built-in unsizing in index | Michael Goulet | -1/+1 |
| 2025-01-26 | Compiler: Finalize dyn compatibility renaming | León Orell Valerian Liehr | -4/+4 |
| 2025-01-25 | Pass spans to perform_locally_in_new_solver | Michael Goulet | -15/+26 |
| 2025-01-24 | Revert "Rollup merge of #135914 - compiler-errors:vanquish-query-norm, r=jack... | Michael Goulet | -14/+10 |
| 2025-01-23 | Remove query normalize from dropck outlives type op | Michael Goulet | -10/+14 |
| 2025-01-22 | Rollup merge of #135816 - BoxyUwU:root_normalizes_to_goal_ice, r=lcnr | Matthias Krüger | -51/+39 |
| 2025-01-22 | Refactor dyn-compatibility error and suggestions | Taylor Cramer | -1/+0 |
| 2025-01-22 | Rename `structurally_normalize` to `structurally_normalize_ty` | Boxy | -4/+4 |
| 2025-01-22 | Use `structurally_normalize` instead of manual `normalizes-to` goals | Boxy | -47/+35 |
| 2025-01-21 | Move supertrait_def_ids into the elaborate module like all other fns | Michael Goulet | -9/+11 |
| 2025-01-21 | Auto merge of #133830 - compiler-errors:span-key, r=lcnr | bors | -146/+69 |
| 2025-01-18 | Get rid of `ToPolyTraitRef` | Michael Goulet | -5/+7 |
| 2025-01-18 | Rollup merge of #135639 - lqd:trivial-builtin-impls, r=lcnr | Matthias Krüger | -2/+2 |
| 2025-01-18 | Auto merge of #135618 - lcnr:coherence-unknown, r=compiler-errors | bors | -24/+45 |
| 2025-01-17 | new solver: prefer trivial builtin impls over where-clauses | Rémy Rakic | -2/+2 |
| 2025-01-17 | add cache to `AmbiguityCausesVisitor` | lcnr | -2/+12 |
| 2025-01-15 | Rollup merge of #135498 - compiler-errors:dyn-upcasting-completeness, r=lcnr | Guillaume Gomez | -1/+13 |
| 2025-01-15 | avoid running the overlap check twice | lcnr | -22/+33 |
| 2025-01-15 | Rework trait expansion to happen once explicitly | Michael Goulet | -146/+69 |
| 2025-01-14 | Rollup merge of #135466 - compiler-errors:leak-check-impossible, r=lcnr | Matthias Krüger | -3/+12 |
| 2025-01-14 | Prefer lower TraitUpcasting candidates | Michael Goulet | -1/+13 |
| 2025-01-14 | Leak check in impossible_predicates to avoid monomorphizing impossible instances | Michael Goulet | -3/+12 |
| 2025-01-14 | fix ICE with references to infinite structs in consts | Lukas Markeffsky | -3/+4 |
| 2025-01-09 | Rollup merge of #135269 - estebank:unneeded-into, r=compiler-errors | Matthias Krüger | -2/+2 |
| 2025-01-08 | Remove some unnecessary `.into()` calls | Esteban Küber | -2/+2 |
| 2025-01-08 | Implement const Destruct in old solver | Michael Goulet | -1/+105 |
| 2025-01-06 | Add derived causes for host effect predicates | Michael Goulet | -3/+18 |
| 2025-01-03 | Do not project when there are unconstrained impl params | Michael Goulet | -29/+48 |
| 2024-12-31 | Make sure we check the future type is Sized in AsyncFn* | Michael Goulet | -3/+20 |
| 2024-12-27 | Rollup merge of #134827 - compiler-errors:borrowck-nits, r=lqd | David Tolnay | -2/+1 |
| 2024-12-27 | Rollup merge of #134823 - chloefeal:fix, r=tgross35,dtolnay | David Tolnay | -1/+1 |
| 2024-12-27 | Fix typos | chloefeal | -1/+1 |
