| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-05-09 | Make alias bounds sound in the new solver | Michael Goulet | -0/+71 |
| 2023-05-08 | Rollup merge of #111211 - compiler-errors:negative-bounds-super, r=TaKO8Ki | Yuki Okushi | -0/+19 |
| 2023-05-04 | Add test for #110557 | Michael Goulet | -0/+60 |
| 2023-05-04 | Don't compute trait super bounds unless they're positive | Michael Goulet | -0/+19 |
| 2023-05-03 | Rollup merge of #111146 - petrochenkov:decident, r=compiler-errors | Manish Goregaokar | -3/+6 |
| 2023-05-03 | rustc_middle: Fix `opt_item_ident` for non-local def ids | Vadim Petrochenkov | -3/+6 |
| 2023-05-02 | Make negative trait bounds work with the old trait solver | Michael Goulet | -14/+2 |
| 2023-05-02 | Disallow associated type constraints on negative bounds | Michael Goulet | -0/+54 |
| 2023-05-02 | Implement negative bounds | Michael Goulet | -0/+124 |
| 2023-05-01 | Don't use implied trait predicates in gather_explicit_predicates_of | Michael Goulet | -1/+16 |
| 2023-05-01 | Rollup merge of #110823 - compiler-errors:tweak-await-span, r=b-naber | Matthias Krüger | -2/+2 |
| 2023-04-27 | Tweak await span | Michael Goulet | -2/+2 |
| 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 | -4/+4 |
| 2023-04-25 | vars are ? | Michael Goulet | -4/+4 |
| 2023-04-25 | Negative coherence test | Michael Goulet | -0/+52 |
| 2023-04-22 | Auto merge of #109753 - compiler-errors:replenish-region-constraints, r=aliemjay | bors | -0/+23 |
| 2023-04-21 | Clone region var origins instead of taking in borrowck | Michael Goulet | -0/+23 |
| 2023-04-20 | Move test files | Caio | -0/+17 |
| 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 |
