| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 |
| 2024-12-26 | Make ty::Error implement auto traits | Michael Goulet | -1/+3 |
| 2024-12-26 | nit: Remove redundant function | Michael Goulet | -2/+1 |
| 2024-12-24 | Auto merge of #134716 - Zalathar:rollup-1h4q8cc, r=Zalathar | bors | -28/+137 |
| 2024-12-24 | Rollup merge of #134638 - compiler-errors:fx-item-bounds, r=lcnr | Stuart Cook | -28/+137 |
| 2024-12-22 | Begin to implement type system layer of unsafe binders | Michael Goulet | -3/+32 |
| 2024-12-22 | Rollup merge of #134639 - compiler-errors:negative-ambiguity-causes, r=oli-obk | Matthias Krüger | -9/+13 |
| 2024-12-22 | Make sure we note ambiguity causes on positive/negative impl conflicts | Michael Goulet | -9/+13 |
| 2024-12-22 | Fix item bounds in old solver | Michael Goulet | -28/+137 |
| 2024-12-21 | Auto merge of #134501 - lcnr:member-constraints-yeet, r=oli-obk | bors | -13/+5 |
| 2024-12-20 | remove non-borrowck member constraints | lcnr | -13/+5 |
| 2024-12-18 | chore: fix some typos | acceptacross | -1/+1 |
| 2024-12-18 | Auto merge of #134243 - nnethercote:re-export-more-rustc_span, r=jieyouxu | bors | -5/+3 |
| 2024-12-18 | Re-export more `rustc_span::symbol` things from `rustc_span`. | Nicholas Nethercote | -5/+3 |
| 2024-12-17 | Rollup merge of #133265 - the8472:extract-if-ranges, r=cuviper | Matthias Krüger | -1/+1 |
| 2024-12-17 | consistently handle global where-bounds | lcnr | -305/+241 |
| 2024-12-16 | update uses of extract_if in the compiler | The 8472 | -1/+1 |
| 2024-12-15 | Rollup merge of #134285 - oli-obk:push-vwrqsqlwnuxo, r=Urgau | Stuart Cook | -1/+1 |
| 2024-12-14 | Add some convenience helper methods on `hir::Safety` | Oli Scherer | -1/+1 |
| 2024-12-14 | (Re-)Implement impl_trait_in_bindings | Michael Goulet | -0/+6 |
| 2024-12-14 | Split UserTypeAnnotation to have a kind | Michael Goulet | -4/+4 |
| 2024-12-13 | Auto merge of #134122 - oli-obk:push-zqnyznxtpnll, r=petrochenkov | bors | -1/+3 |
| 2024-12-12 | Move impl constness into impl trait header | Oli Scherer | -1/+3 |
