| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 |
| 2023-05-04 | Use fulfillment to check Drop impl compatibility | Michael Goulet | -0/+4 |
| 2023-05-03 | Restrict `From<S>` for `{D,Subd}iagnosticMessage`. | Nicholas Nethercote | -5/+2 |
| 2023-04-28 | Rollup merge of #110927 - nnethercote:Encoder-Decoder-cleanups, r=scottmcm | Matthias Krüger | -7/+7 |
| 2023-04-28 | Remove some unnecessary derives. | Nicholas Nethercote | -7/+7 |
| 2023-04-26 | Remove unused `TypeFoldable`/`TypeVisitable` impls. | Nicholas Nethercote | -3/+3 |
| 2023-04-10 | Rollup merge of #110124 - Nilstrieb:📎-told-me-so, r=compiler-errors | Dylan DPC | -2/+2 |
| 2023-04-10 | review + some small stuff | lcnr | -3/+13 |
| 2023-04-09 | Fix some clippy::complexity | Nilstrieb | -2/+2 |
| 2023-04-05 | Tweak debug outputs to make debugging new solver easier | Michael Goulet | -2/+2 |
| 2023-03-21 | woops | lcnr | -1/+1 |
| 2023-03-21 | new solver cleanup + coherence | lcnr | -6/+5 |
| 2023-03-20 | Enforce non-lifetime-binders in supertrait preds are not object safe | Michael Goulet | -2/+11 |
| 2023-03-14 | Remove box expressions from HIR | clubby789 | -2/+0 |
| 2023-03-10 | Move some solver stuff to middle | Michael Goulet | -2/+94 |
| 2023-03-03 | canonicalization | lcnr | -5/+11 |
| 2023-02-24 | Rename many interner functions. | Nicholas Nethercote | -11/+9 |
| 2023-02-22 | Remove type-traversal trait aliases | Alan Egerton | -10/+12 |
| 2023-02-17 | Auto merge of #108075 - WaffleLapkin:de-arena-allocates-you-OwO, r=Nilstrieb | bors | -6/+2 |
| 2023-02-17 | Auto merge of #107753 - kylematsuda:type-of, r=BoxyUwU | bors | -1/+1 |
| 2023-02-16 | remove bound_type_of query; make type_of return EarlyBinder; change type_of i... | Kyle Matsuda | -3/+1 |
