| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-03-31 | Auto merge of #109762 - scottmcm:variantdef-indexvec, r=WaffleLapkin | bors | -1/+1 |
| 2023-03-30 | Rollup merge of #109679 - compiler-errors:normalizes-to-hack-2, r=lcnr,BoxyUwU | Michael Goulet | -10/+1 |
| 2023-03-30 | Update `ty::VariantDef` to use `IndexVec<FieldIdx, FieldDef>` | Scott McMurray | -1/+1 |
| 2023-03-30 | Rollup merge of #109748 - compiler-errors:new-solver-discr-kind-ice, r=lcnr | Yuki Okushi | -5/+43 |
| 2023-03-30 | Check pointee metadata correctly in ui test | Michael Goulet | -3/+1 |
| 2023-03-30 | Don't ICE on DiscriminantKind projection in new solver | Michael Goulet | -2/+42 |
| 2023-03-29 | Rollup merge of #109511 - compiler-errors:eval-ctxt-infcx-private, r=lcnr | Matthias Krüger | -9/+7 |
| 2023-03-29 | Freshen normalizes-to hack goal RHS in the evaluate loop | Michael Goulet | -10/+1 |
| 2023-03-29 | Introduce `DeepRejectCtxt::substs_refs_may_unify`. | Nicholas Nethercote | -4/+1 |
| 2023-03-27 | Add a builtin `FnPtr` trait | lcnr | -0/+7 |
| 2023-03-25 | Still-further-specializable projections are ambiguous | Michael Goulet | -1/+1 |
| 2023-03-24 | Make EvalCtxt's infcx private | Michael Goulet | -9/+7 |
| 2023-03-24 | Rollup merge of #109495 - compiler-errors:new-solver-destruct, r=eholk,lcnr | Matthias Krüger | -0/+7 |
| 2023-03-22 | Implement non-const Destruct trait in new solver | Michael Goulet | -0/+7 |
| 2023-03-21 | new solver cleanup + coherence | lcnr | -1/+5 |
| 2023-03-17 | UNACEPTABLE | Boxy | -1/+1 |
| 2023-03-16 | replace usage of `evaluate_goal` with a new `add_goal` | Boxy | -96/+55 |
| 2023-03-13 | Better names? | Michael Goulet | -1/+1 |
| 2023-03-10 | Move some solver stuff to middle | Michael Goulet | -2/+3 |
| 2023-03-03 | canonicalization | lcnr | -2/+3 |
| 2023-02-24 | Make higher-ranked projections in object types work in new solver | Michael Goulet | -1/+2 |
| 2023-02-24 | Check object's supertrait and associated type bounds in new solver | Michael Goulet | -0/+44 |
| 2023-02-22 | Rename ty_error_with_guaranteed to ty_error, ty_error to ty_error_misc | Michael Goulet | -1/+1 |
| 2023-02-22 | Remove type-traversal trait aliases | Alan Egerton | -1/+1 |
| 2023-02-22 | Move some InferCtxt methods to EvalCtxt in new solver | Michael Goulet | -84/+12 |
| 2023-02-18 | Add consider_implied_clause | Michael Goulet | -57/+60 |
| 2023-02-18 | Check that built-in callable types validate their output type is `Sized` (in ... | Michael Goulet | -7/+15 |
| 2023-02-16 | remove bound_type_of query; make type_of return EarlyBinder; change type_of i... | Kyle Matsuda | -2/+2 |
| 2023-02-13 | Make visiting traits generic over the Interner | Alan Egerton | -1/+1 |
| 2023-02-13 | Alias folding/visiting traits instead of re-export | Alan Egerton | -1/+1 |
| 2023-02-09 | Move winnowing to assembly | Michael Goulet | -62/+3 |
| 2023-02-09 | Implement a dummy drop-in-favor-of for the new solver | Michael Goulet | -8/+15 |
| 2023-02-08 | Rollup merge of #107780 - compiler-errors:instantiate-binder, r=lcnr | Matthias Krüger | -1/+1 |
| 2023-02-07 | Replacing bound vars is actually instantiating a binder | Michael Goulet | -1/+1 |
| 2023-02-07 | Rename PointerSized to PointerLike | Michael Goulet | -2/+2 |
| 2023-02-03 | Use new helper inside probe | Wilco Kusee | -6/+2 |
| 2023-02-01 | Simplify discriminant_kind goal using new helper function | Wilco Kusee | -14/+7 |
| 2023-02-01 | Add candidates for DiscriminantKind builtin | Wilco Kusee | -0/+20 |
| 2023-01-31 | Rollup merge of #107348 - lcnr:project-solve-new, r=compiler-errors | Guillaume Gomez | -39/+52 |
| 2023-01-30 | nits | Michael Goulet | -1/+1 |
| 2023-01-30 | Trait upcasting support in new solver | Michael Goulet | -0/+7 |
| 2023-01-30 | Implement unsizing in the new trait solver | Michael Goulet | -0/+7 |
| 2023-01-29 | Rollup merge of #107401 - lenko-d:remove_the_usize_field_from_CandidateSource... | Matthias Krüger | -1/+1 |
| 2023-01-28 | Use field-less variant for AliasBound. | Lenko Donchev | -1/+1 |
| 2023-01-28 | Rollup merge of #107398 - scottmcm:its-their-funeral, r=dtolnay | Matthias Krüger | -4/+4 |
| 2023-01-27 | remove the usize field from CandidateSource::AliasBound | Lenko Donchev | -1/+1 |
| 2023-01-28 | Rollup merge of #107344 - compiler-errors:new-solver-tweaks, r=lcnr | Matthias Krüger | -1/+3 |
| 2023-01-27 | Remove `ControlFlow::{BREAK, CONTINUE}` | Scott McMurray | -4/+4 |
| 2023-01-28 | Auto merge of #101692 - cjgillot:generator-lazy-witness, r=oli-obk | bors | -0/+1 |
| 2023-01-27 | Micro-optimization in consider_assumption | Michael Goulet | -1/+3 |
