| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 |
| 2023-02-16 | change usages of type_of to bound_type_of | Kyle Matsuda | -1/+3 |
| 2023-02-16 | Clarify `DerivedObligationCause` may hold alias id | Alan Egerton | -1/+5 |
| 2023-02-15 | Copy `ty::AssocItem` all other the place | Maybe Waffle | -6/+2 |
| 2023-02-13 | Rename folder traits' `tcx` method to `interner` | Alan Egerton | -2/+2 |
| 2023-02-13 | Make folding traits generic over the Interner | Alan Egerton | -1/+1 |
| 2023-02-13 | Make visiting traits generic over the Interner | Alan Egerton | -2/+2 |
| 2023-02-13 | Alias folding/visiting traits instead of re-export | Alan Egerton | -10/+15 |
| 2023-02-06 | Rollup merge of #106477 - Nathan-Fenner:nathanf/refined-error-span-trait-impl... | Matthias Krüger | -0/+2 |
| 2023-02-03 | intern external constraints | Michael Goulet | -0/+56 |
| 2023-01-27 | Impl HashStable/Encodable/Decodable for ObligationCause. | Camille GILLOT | -10/+18 |
| 2023-01-23 | Point at specific field in struct literal when trait fulfillment fails | Nathan Fenner | -0/+2 |
| 2023-01-23 | fix: use LocalDefId instead of HirId in trait res | Vincenzo Palazzo | -5/+6 |
| 2023-01-20 | Auto merge of #106090 - WaffleLapkin:dereffffffffff, r=Nilstrieb | bors | -11/+13 |
| 2023-01-19 | even more unify Projection/Opaque in outlives code | Ali MJ Al-Nasrawy | -1/+1 |
| 2023-01-17 | Don't call closures immediately, use `try{}` blocks | Maybe Waffle | -11/+13 |
| 2023-01-13 | Unify Opaque/Projection handling in region outlives code | Michael Goulet | -4/+2 |
| 2023-01-12 | attempt to make a minimal example work | Deadbeef | -1/+3 |
| 2023-01-07 | make ascribe_user_type a TypeOp | Ali MJ Al-Nasrawy | -7/+4 |
| 2022-12-24 | Rollup merge of #105975 - jeremystucki:rustc-remove-needless-lifetimes, r=eholk | Matthias Krüger | -41/+32 |
| 2022-12-20 | rustc: Remove needless lifetimes | Jeremy Stucki | -41/+32 |
| 2022-12-19 | implement the skeleton of the updated trait solver | lcnr | -1/+2 |
