| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-05-25 | Strongly prefer alias and param-env bounds | Michael Goulet | -20/+6 |
| 2023-05-23 | Auto merge of #110204 - compiler-errors:new-solver-hir-typeck-hacks, r=lcnr | bors | -0/+38 |
| 2023-05-22 | Structurally normalize in the new solver | Michael Goulet | -0/+38 |
| 2023-05-21 | Rename `drop_ref` lint to `dropping_references` | Urgau | -1/+1 |
| 2023-05-12 | Auto merge of #109732 - Urgau:uplift_drop_forget_ref_lints, r=davidtwco | bors | -3/+4 |
| 2023-05-10 | Adjust tests for new drop and forget lints | Urgau | -3/+4 |
| 2023-05-09 | Make alias bounds sound in the new solver | Michael Goulet | -0/+71 |
| 2023-04-26 | Clear response values for overflow in new solver | Michael Goulet | -0/+43 |
| 2023-04-25 | Auto merge of #110811 - compiler-errors:vars-are-question-mark, r=WaffleLapkin | bors | -2/+2 |
| 2023-04-25 | vars are ? | Michael Goulet | -2/+2 |
| 2023-04-25 | Negative coherence test | Michael Goulet | -0/+52 |
| 2023-04-21 | Clone region var origins instead of taking in borrowck | Michael Goulet | -0/+23 |
| 2023-04-14 | Rollup merge of #110180 - lcnr:canonicalize, r=compiler-errors | Matthias Krüger | -0/+12 |
| 2023-04-14 | Add test for uniquifying regions | Michael Goulet | -0/+12 |
| 2023-04-12 | Rollup merge of #110103 - compiler-errors:new-solver-overflows, r=lcnr | Matthias Krüger | -8/+8 |
| 2023-04-10 | Report overflows gracefully with new solver | Michael Goulet | -8/+8 |
| 2023-04-10 | Stall auto-trait assembly for int/float vars in new solver | Michael Goulet | -0/+50 |
| 2023-04-10 | prioritize param-env candidates | lcnr | -7/+53 |
| 2023-04-08 | Enforce that PointerLike requires a pointer-like ABI | Michael Goulet | -2/+2 |
| 2023-04-06 | Rollup merge of #109755 - compiler-errors:new-solver-generator-witness-mir, r... | Matthias Krüger | -0/+44 |
| 2023-04-05 | Implement support for GeneratorWitnessMIR in new solver | Michael Goulet | -0/+44 |
| 2023-03-30 | Auto merge of #109791 - compiler-errors:rollup-c3o710k, r=compiler-errors | bors | -0/+11 |
| 2023-03-30 | Rollup merge of #109739 - compiler-errors:new-solver-closure-fnonce, r=lcnr | Michael Goulet | -0/+11 |
| 2023-03-30 | Auto merge of #109740 - compiler-errors:new-solver-deep-reject-placeholder-co... | bors | -0/+37 |
| 2023-03-30 | Closures always implement FnOnce in new solver | Michael Goulet | -0/+11 |
| 2023-03-30 | Rollup merge of #109749 - compiler-errors:new-solver-float-var, r=lcnr | Yuki Okushi | -0/+8 |
| 2023-03-30 | Rollup merge of #109748 - compiler-errors:new-solver-discr-kind-ice, r=lcnr | Yuki Okushi | -10/+51 |
| 2023-03-30 | canonicalize float var as float in new solver | Michael Goulet | -0/+8 |
| 2023-03-30 | Check pointee metadata correctly in ui test | Michael Goulet | -10/+8 |
| 2023-03-30 | Don't ICE on DiscriminantKind projection in new solver | Michael Goulet | -0/+43 |
| 2023-03-29 | Don't ICE on placeholder consts in deep reject | Michael Goulet | -0/+37 |
| 2023-03-29 | Do not consider elaborated projection predicates for objects in new solver | Michael Goulet | -6/+21 |
| 2023-03-28 | Check for overflow in assemble_candidates_after_normalizing_self_ty | Michael Goulet | -0/+52 |
| 2023-03-26 | transmute test | Michael Goulet | -0/+61 |
| 2023-03-25 | Still-further-specializable projections are ambiguous | Michael Goulet | -0/+47 |
| 2023-03-24 | Rollup merge of #109495 - compiler-errors:new-solver-destruct, r=eholk,lcnr | Matthias Krüger | -0/+14 |
| 2023-03-23 | Return nested obligations from canonical response var unification | Michael Goulet | -0/+40 |
| 2023-03-23 | Auto merge of #109517 - matthiaskrgr:rollup-m3orqzd, r=matthiaskrgr | bors | -0/+34 |
| 2023-03-23 | Include relation direction in AliasEq predicate | Michael Goulet | -0/+34 |
| 2023-03-22 | Rollup merge of #109447 - lcnr:coherence, r=compiler-errors | Matthias Krüger | -0/+56 |
| 2023-03-22 | Drive-by: Add -Ztrait-solver=next to canonical int var test | Michael Goulet | -0/+1 |
| 2023-03-22 | Implement non-const Destruct trait in new solver | Michael Goulet | -0/+13 |
| 2023-03-21 | new solver cleanup + coherence | lcnr | -0/+56 |
| 2023-03-21 | Also check function items' signatures for Fn* trait compatibility | Oli Scherer | -3/+67 |
| 2023-03-21 | Only implement Fn* traits for extern "Rust" safe function pointers. | Oli Scherer | -1/+80 |
| 2023-03-13 | Add a test that used to take forever to compile | Michael Goulet | -0/+43 |
| 2023-03-13 | Treat projections with infer as placeholder during fast reject in new solver | Michael Goulet | -0/+24 |
| 2023-03-11 | Commit some tests for the new solver + lazy norm | Michael Goulet | -0/+216 |
| 2023-03-09 | Fix canonicalizer bug for int/float vars too | Michael Goulet | -0/+21 |
| 2023-03-09 | Emit alias-eq when equating numeric var and projection | Michael Goulet | -0/+18 |
