| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-05-21 | Move `#[do_not_recommend]` to the `#[diagnostic]` namespace | Georg Semmler | -1/+4 |
| 2024-05-21 | Auto merge of #125284 - compiler-errors:uplift-misc, r=lcnr | bors | -2/+2 |
| 2024-05-20 | track cycle participants per entry | lcnr | -50/+128 |
| 2024-05-20 | move global cache lookup into fn | lcnr | -42/+44 |
| 2024-05-20 | move fixpoint step into subfunction | lcnr | -53/+76 |
| 2024-05-20 | Rework var resolution in InferCtxtLike, uplift EagerResolver | Michael Goulet | -2/+2 |
| 2024-05-19 | Make EvalCtxt generic over interner | Michael Goulet | -121/+138 |
| 2024-05-19 | Make search graph generic over interner | Michael Goulet | -53/+63 |
| 2024-05-18 | Move NormalizesTo back down | Michael Goulet | -5/+7 |
| 2024-05-18 | Stop using def_kind() in solver | Michael Goulet | -17/+8 |
| 2024-05-18 | Make proof tree building generic | Michael Goulet | -93/+107 |
| 2024-05-18 | Uplift inspect into rustc_type_ir | Michael Goulet | -62/+78 |
| 2024-05-18 | Uplift GenericArgKind, CanonicalVarValues, QueryInput | Michael Goulet | -19/+22 |
| 2024-05-18 | An async closure may implement FnMut/Fn if it has no self-borrows | Michael Goulet | -8/+5 |
| 2024-05-17 | Rollup merge of #125191 - compiler-errors:wf, r=lcnr | Matthias Krüger | -20/+57 |
| 2024-05-16 | Report better WF obligation leaf obligations in new solver | Michael Goulet | -20/+57 |
| 2024-05-16 | Uplift Goal to rustc_type_ir | Michael Goulet | -5/+6 |
| 2024-05-16 | Make impls UpcastFrom, implement Upcast for UpcastFrom | Michael Goulet | -1/+1 |
| 2024-05-16 | Rename ToPredicate for Upcast | Michael Goulet | -19/+17 |
| 2024-05-16 | Don't ICE because recomputing overflow goals during find_best_leaf_obligation... | Michael Goulet | -41/+64 |
| 2024-05-13 | Use a proper probe for shadowing impl | Michael Goulet | -22/+34 |
| 2024-05-13 | Auto merge of #125076 - compiler-errors:alias-term, r=lcnr | bors | -54/+32 |
| 2024-05-13 | split out AliasTy -> AliasTerm | Michael Goulet | -54/+32 |
| 2024-05-13 | Remove `extern crate rustc_middle` from `rustc_trait_selection`. | Nicholas Nethercote | -0/+10 |
| 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-10 | Auto merge of #124982 - compiler-errors:uplift-trait-ref, r=lcnr | bors | -8/+11 |
| 2024-05-10 | Lift `TraitRef` into `rustc_type_ir` | Michael Goulet | -8/+11 |
| 2024-05-10 | More rename fallout | Michael Goulet | -3/+2 |
| 2024-05-10 | Rename some ObligationCauseCode variants | Michael Goulet | -8/+6 |
| 2024-05-10 | Remove glob imports for ObligationCauseCode | Michael Goulet | -8/+11 |
| 2024-05-10 | rename some variants in FulfillmentErrorCode | Michael Goulet | -10/+6 |
| 2024-05-10 | Rollup merge of #124955 - nnethercote:next_ty_var, r=lcnr | Matthias Krüger | -33/+8 |
| 2024-05-10 | Use fewer origins when creating type variables. | Nicholas Nethercote | -33/+8 |
| 2024-05-09 | analyse visitor: build proof tree in probe | lcnr | -11/+34 |
| 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 |
