| Age | Commit message (Expand) | Author | Lines |
| 2025-01-14 | Make sure we can produce ConstArgHasWrongType errors for valtree consts | Michael Goulet | -2/+3 |
| 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/+17 |
| 2025-01-14 | Auto merge of #135278 - tgross35:ignore-std-dep-crates, r=SparrowLii | bors | -1/+1 |
| 2025-01-14 | Add `tcx.visible_traits()` and use it for producing diagnostics | Trevor Gross | -1/+1 |
| 2025-01-14 | Rollup merge of #135464 - lukas-code:project-infinite-to-error, r=FedericoBru... | Matthias Krüger | -3/+4 |
| 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-13 | Assert that Instance::try_resolve is only used on body-like things | Michael Goulet | -0/+156 |
| 2025-01-10 | mir_transform: implement forced inlining | David Wood | -4/+14 |
| 2025-01-09 | Rollup merge of #135269 - estebank:unneeded-into, r=compiler-errors | Matthias Krüger | -2/+2 |
| 2025-01-09 | Rollup merge of #135247 - tgross35:stdlib-sym-list, r=oli-obk | Matthias Krüger | -2/+2 |
| 2025-01-09 | Rollup merge of #134875 - compiler-errors:const-destruct-old-solver, r=lcnr | Matthias Krüger | -1/+105 |
| 2025-01-09 | Rollup merge of #128110 - veera-sivarajan:bugfix-80173, r=cjgillot | Matthias Krüger | -0/+6 |
| 2025-01-08 | Add a list of symbols for stable standard library crates | Trevor Gross | -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 | Rollup merge of #132345 - compiler-errors:fx-diag, r=lcnr | Jacob Pratt | -14/+154 |
| 2025-01-06 | Rollup merge of #134951 - compiler-errors:double-trait-err-msg, r=davidtwco | Matthias Krüger | -19/+38 |
| 2025-01-06 | Rollup merge of #134771 - compiler-errors:const-arg-has-type-err, r=lcnr | Matthias Krüger | -1/+18 |
| 2025-01-06 | Recurse on GAT where clauses in fulfillment error proof tree visitor | Michael Goulet | -5/+9 |
| 2025-01-06 | Add derived causes for host effect predicates | Michael Goulet | -13/+149 |
| 2025-01-04 | Auto merge of #135031 - RalfJung:intrinsics-without-body, r=oli-obk | bors | -15/+27 |
| 2025-01-04 | turn hir::ItemKind::Fn into a named-field variant | Ralf Jung | -15/+27 |
| 2025-01-04 | Rollup merge of #135069 - matthiaskrgr:param_rec_usage, r=jieyouxu | Matthias Krüger | -4/+3 |
| 2025-01-04 | Auto merge of #135057 - compiler-errors:project-unconstrained, r=oli-obk | bors | -32/+50 |
| 2025-01-03 | remove unused function params | Matthias Krüger | -4/+3 |
| 2025-01-03 | Also in the new solver | Michael Goulet | -3/+2 |
| 2025-01-03 | Do not project when there are unconstrained impl params | Michael Goulet | -29/+48 |
| 2025-01-02 | Remove unused fields from RepeatElementCopy obligation | Taylor Cramer | -6/+1 |
| 2025-01-01 | Rollup merge of #133292 - dianne:e0277-suggest-deref, r=estebank | Stuart Cook | -113/+85 |
| 2024-12-31 | Rollup merge of #134949 - compiler-errors:froms, r=jieyouxu | Stuart Cook | -6/+6 |
| 2024-12-31 | nit: what the heck is `o` | Michael Goulet | -2/+2 |
| 2024-12-31 | Suppress host effect predicates if underlying trait doesn't hold | Michael Goulet | -17/+36 |
| 2024-12-31 | Convert some Into impls into From impls | Michael Goulet | -6/+6 |
| 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-25 | Report correct SelectionError for ConstArgHasType in new solver fulfill | Michael Goulet | -1/+18 |
| 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/+33 |
| 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 | -15/+5 |
| 2024-12-21 | Suggest Semicolon in Incorrect Repeat Expressions | Veera | -0/+6 |