| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-05-25 | add test | lcnr | -1/+72 |
| 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-13 | Rollup merge of #110195 - compiler-errors:issue-110052, r=aliemjay | Matthias Krüger | -1/+6 |
| 2023-04-13 | Auto merge of #109786 - estebank:tweak-add-line-sugg, r=compiler-errors | bors | -7/+9 |
| 2023-04-12 | Special-case item attributes in the suggestion output | Esteban Küber | -5/+0 |
| 2023-04-12 | Tweak output for 'add line' suggestion | Esteban Küber | -7/+14 |
| 2023-04-12 | Rollup merge of #110103 - compiler-errors:new-solver-overflows, r=lcnr | Matthias Krüger | -8/+8 |
| 2023-04-11 | Allow the elaborator to only filter to real supertraits | Michael Goulet | -0/+34 |
| 2023-04-11 | Broken tests | Michael Goulet | -0/+43 |
| 2023-04-11 | Split implied and super predicate queries | Michael Goulet | -7/+2 |
| 2023-04-11 | Erase lifetimes above ty::INNERMOST when probing ambiguous types | Michael Goulet | -1/+6 |
| 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-09 | Rollup merge of #108843 - compiler-errors:non_lifetime_binders-method-probe, ... | Matthias Krüger | -0/+27 |
| 2023-04-08 | Enforce that PointerLike requires a pointer-like ABI | Michael Goulet | -2/+2 |
| 2023-04-07 | Use smart-resolve when checking for trait in RHS of UFCS | Michael Goulet | -8/+8 |
| 2023-04-06 | Rollup merge of #109755 - compiler-errors:new-solver-generator-witness-mir, r... | Matthias Krüger | -0/+44 |
| 2023-04-05 | Auto merge of #108905 - ferrocene:pa-compiletest-ignore, r=ehuss | bors | -1/+0 |
| 2023-04-05 | Implement support for GeneratorWitnessMIR in new solver | Michael Goulet | -0/+44 |
| 2023-04-03 | remove invalid ignore-pretty | Pietro Albini | -1/+0 |
| 2023-04-02 | Move some UI tests into subdirectories | jyn | -0/+124 |
| 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 | -4/+95 |
| 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-22 | Auto merge of #109119 - lcnr:trait-system-cleanup, r=compiler-errors | bors | -18/+11 |
| 2023-03-21 | Rollup merge of #109441 - oli-obk:fn_trait_new_solver, r=compiler-errors | Matthias Krüger | -1/+144 |
| 2023-03-21 | new solver cleanup + coherence | lcnr | -4/+95 |
| 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-21 | evaluate: improve and fix recursion depth handling | lcnr | -18/+11 |
