| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-05-13 | split out AliasTy -> AliasTerm | Michael Goulet | -194/+202 |
| 2024-05-12 | Rollup merge of #125036 - lcnr:new-solver-trace, r=compiler-errors | Guillaume Gomez | -53/+56 |
| 2024-05-12 | structurally important functions to `debug` | lcnr | -10/+13 |
| 2024-05-12 | solve: replace all `debug` with `trace` | lcnr | -63/+63 |
| 2024-05-11 | Apply nits, uplift ExistentialPredicate too | Michael Goulet | -1/+2 |
| 2024-05-11 | Uplift `TraitPredicate` | Michael Goulet | -2/+5 |
| 2024-05-11 | Consolidate obligation cause codes for where clauses | Michael Goulet | -49/+35 |
| 2024-05-10 | Auto merge of #124982 - compiler-errors:uplift-trait-ref, r=lcnr | bors | -47/+75 |
| 2024-05-10 | Lift `TraitRef` into `rustc_type_ir` | Michael Goulet | -46/+72 |
| 2024-05-10 | Lift `Lift` | Michael Goulet | -1/+3 |
| 2024-05-10 | Name tweaks | Michael Goulet | -32/+34 |
| 2024-05-10 | More rename fallout | Michael Goulet | -32/+31 |
| 2024-05-10 | Rename some ObligationCauseCode variants | Michael Goulet | -100/+82 |
| 2024-05-10 | Remove glob imports for ObligationCauseCode | Michael Goulet | -52/+59 |
| 2024-05-10 | rename some variants in FulfillmentErrorCode | Michael Goulet | -41/+28 |
| 2024-05-10 | Auto merge of #124961 - matthiaskrgr:rollup-1jj65p6, r=matthiaskrgr | bors | -78/+55 |
| 2024-05-10 | Rollup merge of #124955 - nnethercote:next_ty_var, r=lcnr | Matthias Krüger | -55/+15 |
| 2024-05-10 | Rollup merge of #124943 - lcnr:generic-args-ref, r=compiler-errors | Matthias Krüger | -2/+2 |
| 2024-05-10 | Rollup merge of #124936 - lcnr:cool-beans, r=compiler-errors | Matthias Krüger | -11/+34 |
| 2024-05-10 | Rollup merge of #124918 - nnethercote:FIXME-lcnr, r=lcnr | Matthias Krüger | -10/+4 |
| 2024-05-09 | Rename Generics::params to Generics::own_params | Michael Goulet | -8/+8 |
| 2024-05-10 | De-tuple two `vtable_trait_first_method_offset` args. | Nicholas Nethercote | -8/+4 |
| 2024-05-10 | Remove out-of-date comment. | Nicholas Nethercote | -2/+0 |
| 2024-05-10 | Use fewer origins when creating type variables. | Nicholas Nethercote | -55/+15 |
| 2024-05-09 | always use `GenericArgsRef` | lcnr | -2/+2 |
| 2024-05-09 | analyse visitor: build proof tree in probe | lcnr | -11/+34 |
| 2024-05-07 | Fix ICEs in diagnostic::on_unimplemented | Michael Goulet | -51/+69 |
| 2024-05-08 | Auto merge of #124683 - estebank:issue-124651, r=compiler-errors | bors | -6/+8 |
| 2024-05-07 | Rollup merge of #124846 - compiler-errors:const-eval, r=lcnr | Matthias Krüger | -3/+3 |
| 2024-05-07 | Rollup merge of #124827 - lcnr:generalize-incomplete, r=compiler-errors | Matthias Krüger | -1/+4 |
| 2024-05-07 | generalize hr alias: avoid unconstrainable infer vars | lcnr | -1/+4 |
| 2024-05-07 | Don't ICE when we cannot eval a const to a valtree in the new solver | Michael Goulet | -3/+3 |
| 2024-05-06 | Rollup merge of #124809 - lcnr:prepopulate-opaques, r=compiler-errors | Matthias Krüger | -9/+6 |
| 2024-05-06 | Rollup merge of #124759 - compiler-errors:impl-args, r=lcnr | Matthias Krüger | -65/+93 |
| 2024-05-06 | Use correct ImplSource for alias bounds | Michael Goulet | -2/+1 |
| 2024-05-06 | Record impl args in the InsepctCandiate rather than rematching during select | Michael Goulet | -65/+94 |
| 2024-05-06 | Rollup merge of #124771 - compiler-errors:cand-has-failing-wc, r=lcnr | Matthias Krüger | -6/+42 |
| 2024-05-06 | Rollup merge of #124724 - compiler-errors:prefer-lower, r=lcnr | Matthias Krüger | -5/+13 |
| 2024-05-06 | switch new solver to directly inject opaque types | lcnr | -9/+6 |
| 2024-05-06 | Don't consider candidates with no failing where clauses | Michael Goulet | -6/+42 |
| 2024-05-06 | Prefer lower vtable candidates in select in new solver | Michael Goulet | -5/+13 |
| 2024-05-04 | Rollup merge of #124718 - compiler-errors:record-impl-args, r=lcnr | Matthias Krüger | -2/+6 |
| 2024-05-04 | Rollup merge of #124717 - compiler-errors:do-not-recomment-next-solver, r=lcnr | Matthias Krüger | -0/+9 |
| 2024-05-04 | Record impl args in the proof tree | Michael Goulet | -2/+6 |
| 2024-05-04 | Implement do_not_recommend in the new solver | Michael Goulet | -0/+9 |
| 2024-05-04 | Only consider ambiguous goals when finding best obligation for ambiguities | Michael Goulet | -9/+11 |
| 2024-05-03 | Rollup merge of #124418 - compiler-errors:better-cause, r=lcnr | Michael Goulet | -40/+200 |
| 2024-05-03 | Do not ICE on foreign malformed `diagnostic::on_unimplemented` | Esteban Küber | -6/+8 |
| 2024-05-02 | Take ocx by move for pending obligations | Michael Goulet | -1/+8 |
| 2024-05-02 | Use ObligationCtxt in favor of TraitEngine in many places | Michael Goulet | -71/+99 |
