| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2023-10-01 | Evaluate float consts eagerly | Nadrieril | -15/+77 | |
| 2023-09-21 | adjust how closure/generator types and rvalues are printed | Ralf Jung | -2/+2 | |
| 2023-09-07 | fixes #114896 | surechen | -0/+18 | |
| 2023-09-03 | Improve clarity of diagnostic message on non-exhaustive matches | Sebastian Toh | -5/+5 | |
| 2023-08-28 | Add note when matching on nested non-exhaustive enums | Sebastian Toh | -0/+42 | |
| 2023-08-28 | Add note that str cannot be matched exhaustively | Sebastian Toh | -0/+31 | |
| 2023-08-21 | Add note when matching on tuples/ADTs containing non-exhaustive types | Sebastian Toh | -0/+245 | |
| 2023-07-28 | address review | b-naber | -1/+13 | |
| 2023-07-17 | add more tests | b-naber | -25/+103 | |
| 2023-07-17 | address review | b-naber | -3/+8 | |
| 2023-07-17 | add test for nested pattern | b-naber | -0/+15 | |
| 2023-07-17 | add tests for refutable patterns | b-naber | -5/+172 | |
| 2023-07-17 | add test, bless tests | b-naber | -0/+16 | |
| 2023-07-01 | add regression test | Eric Mark Martin | -0/+38 | |
| 2023-06-28 | add comment back | Eric Mark Martin | -1/+2 | |
| 2023-06-28 | add note for non-exhaustive matches with guards | Eric Mark Martin | -24/+55 | |
| 2023-06-24 | Revert "Structurally resolve correctly in check_pat_lit" | Michael Goulet | -0/+15 | |
| This reverts commit 54fb5a48b968b3a329ceeb57226d9ac60f983f04. | ||||
| 2023-05-31 | Only rewrite valtree-constants to patterns and keep other constants opaque | Oli Scherer | -2/+2 | |
| 2023-05-29 | Rollup merge of #111558 - c410-f3r:t3st3ss, r=WaffleLapkin | Matthias Krüger | -0/+35 | |
| Move tests r? `@petrochenkov` | ||||
| 2023-05-25 | Add NOTE annotations. | Camille GILLOT | -75/+141 | |
| 2023-05-25 | Add inter-crate test. | Camille GILLOT | -40/+75 | |
| 2023-05-24 | Move tests | Caio | -0/+35 | |
| 2023-05-21 | Rename `drop_ref` lint to `dropping_references` | Urgau | -3/+3 | |
| 2023-05-21 | Rename `drop_copy` lint to `dropping_copy_types` | Urgau | -2/+2 | |
| 2023-05-16 | Auto merge of #105750 - oli-obk:valtrees, r=lcnr | bors | -40/+53 | |
| Always fall back to PartialEq when a constant in a pattern is not recursively structural-eq Right now we destructure the constant as far as we can, but with this PR we just don't take it apart anymore. This is preparatory work for moving to always using valtrees, as these will just do a single conversion of the constant to a valtree at the start, and if that fails, fall back to `PartialEq`. This removes a few cases where we emitted the `unreachable pattern` lint, because we stop looking into the constant deeply enough to detect that a constant is already covered by another pattern. Previous work: https://github.com/rust-lang/rust/pull/70743 This is groundwork towards fixing https://github.com/rust-lang/rust/issues/83085 and https://github.com/rust-lang/rust/issues/105047 | ||||
| 2023-05-16 | Rollup merge of #111428 - bvanjoi:fix-109250, r=Nilstrieb | Nilstrieb | -6/+9 | |
| refactor(resolve): clean up the early error return caused by non-call closes https://github.com/rust-lang/rust/issues/109250 It seems no bad happened, r? ``@Nilstrieb`` | ||||
| 2023-05-15 | Always fall back to PartialEq when a constant in a pattern is not ↵ | Oli Scherer | -40/+53 | |
| recursively structural-eq | ||||
| 2023-05-10 | Adjust tests for new drop and forget lints | Urgau | -0/+9 | |
| 2023-05-10 | refactor(resolve): clean up the early error return caused by non-call | bohan | -6/+9 | |
| 2023-05-05 | tweak spans for `ref mut` suggestion | Ezra Shaw | -2/+2 | |
| 2023-05-01 | fix tests | yukang | -9/+6 | |
| 2023-05-01 | Rip it out | Nilstrieb | -15/+13 | |
| My type ascription Oh rip it out Ah If you think we live too much then You can sacrifice diagnostics Don't mix your garbage Into my syntax So many weird hacks keep diagnostics alive Yet I don't even step outside So many bad diagnostics keep tyasc alive Yet tyasc doesn't even bother to survive! | ||||
| 2023-04-21 | Run `check_match` and `check_liveness` when MIR is built instead of having ↵ | Oli Scherer | -207/+207 | |
| an explicit phase for them | ||||
| 2023-04-03 | Reinstate confusion note. | Camille GILLOT | -0/+4 | |
| 2023-04-03 | Perform match checking on THIR. | Camille GILLOT | -179/+179 | |
| 2023-04-03 | Shrink binding span. | Camille GILLOT | -413/+273 | |
| 2023-03-27 | Add notes to non-structural const in pattern error message | Jamen Marz | -0/+32 | |
| 2023-03-15 | error-msg: impl better suggestion for `E0532` | Ezra Shaw | -0/+136 | |
| 2023-03-13 | resolve: Remove `struct_field_names_untracked` | Vadim Petrochenkov | -2/+2 | |
| 2023-01-30 | Modify primary span label for E0308 | Esteban Küber | -12/+12 | |
| The previous output was unintuitive to users. | ||||
| 2023-01-26 | Rollup merge of #106978 - mejrs:mir_build3, r=davidtwco | Matthias Krüger | -208/+208 | |
| Migrate mir_build's borrow conflicts This also changes the error message slightly, for two reasons: - I'm not a fan of saying "value borrowed, by `x`, here" - it simplifies the error implementation significantly. | ||||
| 2023-01-25 | Rollup merge of #106897 - estebank:issue-99430, r=davidtwco | Matthias Krüger | -0/+2 | |
| Tweak E0597 CC #99430 | ||||
| 2023-01-20 | Change `bindings_with_variant_name` to deny-by-default | --global | -29/+27 | |
| 2023-01-17 | Migrate mir_build's borrow conflicts | mejrs | -208/+208 | |
| 2023-01-15 | Tweak E0597 | Esteban Küber | -0/+2 | |
| CC #99430 | ||||
| 2023-01-14 | suggest fix for attempted integer identifier in patterns | Ezra Shaw | -0/+42 | |
| 2023-01-11 | Translate `Overlap` eagerly | mejrs | -0/+1 | |
| 2023-01-11 | Don't recommend `if let` if `let else` works | mejrs | -10/+2 | |
| 2023-01-11 | Migrate pattern matching | mejrs | -59/+65 | |
| 2023-01-11 | Migrate deconstruct_pat.rs | mejrs | -1/+0 | |
