| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-09-11 | split GoalEvaluation and CanonicalGoalEvaluation | lcnr | -50/+43 |
| 2023-08-14 | Move scrutinee `HirId` into `MatchSource::TryDesugar` | Esteban Küber | -2/+1 |
| 2023-08-14 | Point at return type when it influences non-first `match` arm | Esteban Küber | -1/+1 |
| 2023-08-14 | Remove constness from `ImplSource::Param` | Deadbeef | -7/+8 |
| 2023-08-04 | Rollup merge of #114287 - lcnr:overflow, r=compiler-errors | Michael Goulet | -2/+102 |
| 2023-08-04 | Auto merge of #114036 - compiler-errors:upcast-to-fewer-assocs, r=lcnr | bors | -7/+13 |
| 2023-08-03 | resolve before canonicalization, ICE if unresolved | Michael Goulet | -1/+1 |
| 2023-08-03 | Rework upcasting | Michael Goulet | -7/+13 |
| 2023-08-03 | rewrite stack dependent overflow handling | lcnr | -2/+102 |
| 2023-07-31 | Rollup merge of #114169 - lcnr:unsize, r=compiler-errors | Matthias Krüger | -1/+2 |
| 2023-07-30 | inline format!() args up to and including rustc_middle | Matthias Krüger | -26/+23 |
| 2023-07-28 | refactor builtin unsize handling, extend comments | lcnr | -1/+2 |
| 2023-07-25 | Make everything builtin! | Michael Goulet | -85/+35 |
| 2023-07-25 | Restore tuple unsizing feature gate | Michael Goulet | -3/+11 |
| 2023-07-25 | Normalize the RHS of an unsize goal | Michael Goulet | -1/+8 |
| 2023-07-24 | Improve diagnostic for const ctors in array repeat expressions | clubby789 | -3/+23 |
| 2023-07-23 | match on chars instead of &strs for .split() or .strip_prefix() | Matthias Krüger | -2/+2 |
| 2023-07-14 | refactor(rustc_middle): Substs -> GenericArg | Mahdi Dibaiee | -9/+11 |
| 2023-07-13 | typo | lcnr | -1/+1 |
| 2023-07-13 | refactor proof tree formatting | lcnr | -57/+63 |
| 2023-07-05 | Add some extra information to opaque type cycle errors | Oli Scherer | -0/+4 |
| 2023-07-03 | Remove chalk from the compiler | Michael Goulet | -401/+0 |
| 2023-06-28 | Rollup merge of #112867 - compiler-errors:more-impl-source-nits, r=lcnr | Dylan DPC | -37/+2 |
| 2023-06-26 | Migrate predicates_of and caller_bounds to Clause | Michael Goulet | -4/+2 |
| 2023-06-20 | yeet upcast_trait_def_id from ImplSourceObjectData | Michael Goulet | -6/+2 |
| 2023-06-20 | yeet ImplSource::TraitAlias too | Michael Goulet | -31/+0 |
| 2023-06-20 | cleanup imports | lcnr | -8/+12 |
| 2023-06-19 | move to nested module | Boxy | -130/+134 |
| 2023-06-19 | show normalizes-to hack and response instantiation goals | Boxy | -2/+28 |
| 2023-06-19 | introduce a separate set of types for finalized proof trees | Boxy | -28/+39 |
| 2023-06-19 | say what kind of cache hit | Boxy | -3/+10 |
| 2023-06-19 | initial info dump | Boxy | -11/+181 |
| 2023-06-17 | Remove even more redundant builtin candidates | Michael Goulet | -45/+4 |
| 2023-06-17 | Simplify even more candidates | Michael Goulet | -111/+26 |
| 2023-06-17 | Simplify an ObjectData field | Michael Goulet | -6/+6 |
| 2023-06-17 | Simplify some impl source candidates | Michael Goulet | -57/+0 |
| 2023-06-17 | Remove some ImplSource candidates | Michael Goulet | -31/+10 |
| 2023-06-16 | Add `AliasKind::Weak` for type aliases. | Oli Scherer | -0/+3 |
| 2023-06-02 | Rollup merge of #112165 - fee1-dead-contrib:rn-defualtness, r=compiler-errors | Matthias Krüger | -1/+1 |
| 2023-06-01 | Implement custom diagnostic for ConstParamTy | Michael Goulet | -0/+3 |
| 2023-06-01 | Rename `impl_defaultness` to `defaultness` | Deadbeef | -1/+1 |
| 2023-05-25 | Fallible<_> -> Result<_, NoSolution> | Michael Goulet | -2/+0 |
| 2023-05-25 | Prepopulate opaques in canonical input | Michael Goulet | -3/+64 |
| 2023-05-25 | Move DefiningAnchor | Michael Goulet | -0/+11 |
| 2023-05-22 | Auto merge of #111754 - lcnr:recursion-depth, r=matthewjasper | bors | -3/+20 |
| 2023-05-20 | Rollup merge of #111450 - compiler-errors:opaque-ty-key, r=oli-obk | Guillaume Gomez | -1/+1 |
| 2023-05-19 | update recursion depth in `confirm_candidate` | lcnr | -3/+20 |
| 2023-05-12 | Note base types of coercion | Michael Goulet | -3/+0 |
| 2023-05-10 | Use OpaqueTypeKey in query response | Michael Goulet | -1/+1 |
| 2023-05-09 | Shrink `SelectionError` a lot | Nilstrieb | -5/+8 |
