| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-07-07 | Auto merge of #127172 - compiler-errors:full-can_eq-everywhere, r=lcnr | bors | -4/+4 |
| 2024-07-07 | Auto merge of #127404 - compiler-errors:rpitit-entailment-false-positive, r=o... | bors | -0/+224 |
| 2024-07-06 | Don't try to label ObligationCauseCode::CompareImplItem for an RPITIT, since ... | Michael Goulet | -0/+224 |
| 2024-07-06 | show fnsig's output when there is difference | yukang | -1/+1 |
| 2024-07-06 | show unit output when there is only output diff in diagnostics | yukang | -1/+1 |
| 2024-07-05 | Rollup merge of #127392 - estebank:arg-type, r=jieyouxu | Jubilee | -44/+57 |
| 2024-07-05 | Rollup merge of #127383 - estebank:arg-removal, r=compiler-errors | Jubilee | -8/+12 |
| 2024-07-05 | Rollup merge of #127107 - mu001999-contrib:dead/enhance-2, r=pnkfelix | Michael Goulet | -4/+8 |
| 2024-07-05 | Use verbose suggestion for changing arg type | Esteban Küber | -44/+57 |
| 2024-07-05 | Use verbose style for argument removal suggestion | Esteban Küber | -8/+12 |
| 2024-07-05 | Actually just make can_eq process obligations (almost) everywhere | Michael Goulet | -4/+4 |
| 2024-07-04 | Improve dead code analysis | mu001999 | -4/+8 |
| 2024-07-01 | Auto merge of #126996 - oli-obk:do_not_count_errors, r=nnethercote | bors | -4/+26 |
| 2024-06-29 | Rollup merge of #127103 - compiler-errors:tighten-trait-bound-parsing, r=fmease | Matthias Krüger | -0/+112 |
| 2024-06-28 | Move binder and polarity parsing into parse_generic_ty_bound | Michael Goulet | -0/+112 |
| 2024-06-27 | Tighten spans for async blocks | Michael Goulet | -6/+6 |
| 2024-06-26 | Auto merge of #120924 - xFrednet:rfc-2383-stabilization-party, r=Urgau,blyxyas | bors | -24/+7 |
| 2024-06-26 | Automatically taint InferCtxt when errors are emitted | Oli Scherer | -4/+26 |
| 2024-06-26 | Rollup merge of #126968 - lqd:issue-126670, r=compiler-errors | Matthias Krüger | -0/+39 |
| 2024-06-25 | delay bug in RPITIT refinement checking with resolution errors | Rémy Rakic | -0/+39 |
| 2024-06-25 | Rollup merge of #126746 - compiler-errors:no-rpitit, r=oli-obk | Matthias Krüger | -44/+138 |
| 2024-06-25 | RFC 2383: Stabilize `lint_reasons` :tada: | xFrednet | -24/+7 |
| 2024-06-25 | Auto merge of #125610 - oli-obk:define_opaque_types14, r=compiler-errors | bors | -57/+326 |
| 2024-06-24 | Deny use<> for RPITITs | Michael Goulet | -45/+76 |
| 2024-06-21 | bless tests | Deadbeef | -1/+7 |
| 2024-06-20 | Add a test demonstrating that RPITITs cant use precise capturing | Michael Goulet | -0/+63 |
| 2024-06-20 | Rollup merge of #126620 - oli-obk:taint_errors, r=fee1-dead | Matthias Krüger | -0/+30 |
| 2024-06-19 | More tests | Oli Scherer | -0/+184 |
| 2024-06-19 | Allow constraining opaque types during subtyping in the trait system | Oli Scherer | -72/+16 |
| 2024-06-19 | Add more tests | Oli Scherer | -0/+80 |
| 2024-06-19 | Allow constraining opaque types during auto trait casting | Oli Scherer | -31/+29 |
| 2024-06-19 | Add tests | Oli Scherer | -0/+55 |
| 2024-06-19 | Allow constraining opaque types during unsizing | Oli Scherer | -57/+9 |
| 2024-06-19 | Taint infcx when reporting errors | Oli Scherer | -0/+30 |
| 2024-06-17 | Delay a bug and mark precise_capturing as not incomplete | Michael Goulet | -228/+47 |
| 2024-06-17 | Detect duplicates | Michael Goulet | -0/+39 |
| 2024-06-17 | Add tests for illegal use bound syntax | Michael Goulet | -2/+119 |
| 2024-06-17 | Rework precise capturing syntax | Michael Goulet | -124/+124 |
| 2024-06-17 | Make parse_seq_to_before_tokens take expected/nonexpected tokens, use in pars... | Michael Goulet | -10/+1 |
| 2024-06-16 | Rollup merge of #126127 - Alexendoo:other-trait-diag, r=pnkfelix | Jacob Pratt | -4/+4 |
| 2024-06-13 | Method resolution constrains hidden types instead of rejecting method candidates | Oli Scherer | -78/+20 |
| 2024-06-13 | Add some tests | Oli Scherer | -0/+624 |
| 2024-06-12 | Rollup merge of #126337 - oli-obk:nested_gat_opaque, r=lcnr | Jubilee | -0/+48 |
| 2024-06-12 | Rebase fallout | Michael Goulet | -2/+2 |
| 2024-06-12 | Add test for walking order dependent opaque type behaviour | Oli Scherer | -0/+48 |
| 2024-06-12 | Spell out other trait diagnostic | Alex Macleod | -4/+4 |
| 2024-06-12 | Require any function with a tait in its signature to actually constrain a hid... | Oli Scherer | -78/+193 |
| 2024-06-11 | Also test under next solver | Oli Scherer | -1/+14 |
| 2024-06-11 | Revert "When checking whether an impl applies, constrain hidden types of opaq... | Oli Scherer | -71/+37 |
| 2024-06-11 | Add regression test | Oli Scherer | -0/+60 |
