| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-08-04 | Include whitespace in "remove `|`" suggestion and make it hidden | Esteban Küber | -6/+0 | |
| 2025-05-09 | Error message for top-level or-patterns suggesting a solution | Kornel | -2/+2 | |
| 2025-04-18 | Remove let_chains feature gate from even more tests | est31 | -1/+1 | |
| 2025-02-11 | Always perform discr read for never pattern in EUV | Michael Goulet | -0/+16 | |
| 2025-01-27 | Remove all dead files inside tests/ui/ | León Orell Valerian Liehr | -99/+0 | |
| 2025-01-22 | address review: modify ICE-133063-never-arm-no-otherwise-block.rs | Shunpoco | -43/+12 | |
| - Use enum Void to avoid mismatched types error - We don't need to use if let to check the ICE Signed-off-by: Shunpoco <tkngsnsk313320@gmail.com> | ||||
| 2025-01-22 | address review: modify ICE-133117-duplicated-never-arm.rs | Shunpoco | -29/+15 | |
| Use enum Void to avoid mistmatched types error Signed-off-by: Shunpoco <tkngsnsk313320@gmail.com> | ||||
| 2025-01-12 | Fix ICE-130779 | Shunpoco | -0/+45 | |
| Signed-off-by: Shunpoco <tkngsnsk313320@gmail.com> | ||||
| 2025-01-12 | Fix ICE-133117 | Shunpoco | -0/+48 | |
| If all subcandidates have never-pattern, we should assign false_edge_start_block to the parent candidate if it doesn't have. merge_trivial_subcandidates does so, but if the candidate has guard it returns before the assignment. Signed-off-by: Shunpoco <tkngsnsk313320@gmail.com> | ||||
| 2025-01-12 | Fix ICE-133063 | Shunpoco | -0/+58 | |
| If all subcandidates have never-pattern, the parent candidate should have otherwise_block because some methods expect the candidate has the block. Signed-off-by: Shunpoco <tkngsnsk313320@gmail.com> | ||||
| 2024-09-18 | Never patterns constitute a read for unsafety | Michael Goulet | -0/+36 | |
| 2024-09-13 | Add a machine-applicable suggestion to "unreachable pattern" | Nadrieril | -1/+4 | |
| 2024-09-11 | Revert warning empty patterns as unreachable | Nadrieril | -7/+8 | |
| 2024-08-20 | Move the "matches no value" note to be a span label | Nadrieril | -12/+6 | |
| 2024-08-19 | Add a note with a link to explain empty types | Nadrieril | -0/+6 | |
| 2024-08-19 | Reword the "unreachable pattern" explanations | Nadrieril | -6/+6 | |
| 2024-08-10 | Update tests | Nadrieril | -39/+136 | |
| 2024-07-24 | Explain why a given pattern is considered unreachable | Nadrieril | -0/+11 | |
| 2024-07-12 | Make parse error suggestions verbose and fix spans | Esteban Küber | -3/+18 | |
| Go over all structured parser suggestions and make them verbose style. When suggesting to add or remove delimiters, turn them into multiple suggestion parts. | ||||
| 2024-05-04 | Lower never patterns to Unreachable in mir | Nadrieril | -82/+18 | |
| 2024-05-04 | Add tests | Nadrieril | -6/+140 | |
| 2024-03-12 | Don't suggest an arm when suggesting a never pattern | Nadrieril | -2/+2 | |
| 2024-03-12 | Suggest never pattern instead of `_` for empty types | Nadrieril | -8/+8 | |
| 2024-02-16 | [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives | 许杰友 Jieyou Xu (Joe) | -13/+13 | |
| 2024-02-08 | Rollup merge of #120775 - Nadrieril:more-min_exh_pats, r=compiler-errors | Matthias Krüger | -3/+3 | |
| Make `min_exhaustive_patterns` match `exhaustive_patterns` better Split off from https://github.com/rust-lang/rust/pull/120742. There remained two edge cases where `min_exhaustive_patterns` wasn't behaving like `exhaustive_patterns`. This fixes them, and tests the feature in a bunch more cases. I essentially went through all uses of `exhaustive_patterns` to see which ones would be interesting to compare between the two features. r? `@compiler-errors` | ||||
| 2024-02-08 | Test `min_exhaustive_patterns` in more cases | Nadrieril | -3/+3 | |
| 2024-02-08 | Continue to borrowck even if there were previous errors | Oli Scherer | -18/+80 | |
| 2024-01-22 | Rollup merge of #120104 - Nadrieril:never-pat-diverges, r=compiler-errors | Matthias Krüger | -0/+262 | |
| never_patterns: Count `!` bindings as diverging A binding that is a never pattern is not reachable, hence counts as diverging code. This allows in particular `fn foo(!: Void) -> SomeType {}` to typecheck. r? ``@compiler-errors`` | ||||
| 2024-01-22 | Rollup merge of #120097 - Nadrieril:consistent_unreachable_subpats, ↵ | Matthias Krüger | -0/+75 | |
| r=compiler-errors Report unreachable subpatterns consistently We weren't reporting unreachable subpatterns in function arguments and `let` expressions. This wasn't very important, but never patterns make it more relevant: a user might write `let (Ok(x) | Err(!)) = ...` in a case where `let Ok(x) = ...` is accepted, so we should report the `Err(!)` as redundant. r? ```@compiler-errors``` | ||||
| 2024-01-22 | Test async fn | Nadrieril | -0/+34 | |
| 2024-01-22 | Use `-> !` to test divergence | Nadrieril | -5/+8 | |
| 2024-01-22 | Never pattern in `let` statement diverges | Nadrieril | -15/+27 | |
| 2024-01-22 | Never pattern in function arguments diverges | Nadrieril | -0/+213 | |
| 2024-01-18 | Split-off the passing tests to ensure they pass | Nadrieril | -17/+24 | |
| 2024-01-18 | Typecheck never patterns | Nadrieril | -5/+78 | |
| 2024-01-18 | Add tests | Nadrieril | -0/+111 | |
| 2024-01-18 | Consistently warn unreachable subpatterns | Nadrieril | -4/+18 | |
| 2024-01-18 | Add tests | Nadrieril | -0/+61 | |
| 2024-01-15 | Auto merge of #119610 - Nadrieril:never_pattern_bindings, r=compiler-errors | bors | -1/+104 | |
| never patterns: Check bindings wrt never patterns Never patterns: - Shouldn't contain bindings since they never match anything; - Don't count when checking that or-patterns have consistent bindings. r? `@compiler-errors` | ||||
| 2024-01-13 | Bless tests | George-lewis | -0/+2 | |
| Update tests | ||||
| 2024-01-10 | Add more tests | Nadrieril | -1/+46 | |
| 2024-01-09 | Check bindings around never patterns | Nadrieril | -40/+27 | |
| 2024-01-09 | Add tests | Nadrieril | -0/+71 | |
| 2024-01-05 | Document behavior of `!` with MbE | Nadrieril | -0/+54 | |
| 2023-12-26 | Don't drop a hir node after lowering | Nadrieril | -0/+37 | |
| 2023-12-03 | Satisfy tidy | Nadrieril | -0/+183 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |