summary refs log tree commit diff
path: root/tests/ui/pattern/usefulness
AgeCommit message (Expand)AuthorLines
2024-01-26Classify closure arguments in refutable pattern in argument errorDeadbeef-2/+2
2024-01-26Rollup merge of #118803 - Nadrieril:min-exhaustive-patterns, r=compiler-errorsMatthias Krüger-139/+773
2024-01-25Implement feature gate logicNadrieril-139/+773
2024-01-24remove StructuralEq traitRalf Jung-122/+102
2024-01-13Bless testsGeorge-lewis-0/+2
2024-01-11Only lint ranges that really overlapNadrieril-25/+19
2024-01-10Add test case for #119778Nadrieril-0/+48
2024-01-07Abort analysis on type errorNadrieril-0/+43
2024-01-05Rollup merge of #119554 - matthewjasper:remove-guard-distinction, r=compiler-...Matthias Krüger-2/+2
2024-01-05Remove `hir::Guard`Matthew Jasper-2/+2
2024-01-05Stabilize THIR unsafeckMatthew Jasper-8/+10
2023-12-24Auto merge of #118796 - Nadrieril:fix-exponential-id-match-2, r=cjgillotbors-0/+72
2023-12-23Reveal empty opaques in depthNadrieril-14/+41
2023-12-23Improve performance on wide matchesNadrieril-0/+72
2023-12-20Reveal opaque types in exhaustiveness checkingNadrieril-9/+39
2023-12-20Add testsNadrieril-0/+217
2023-12-09Don't warn an empty pattern unreachable if we're not sure the data is validNadrieril-597/+87
2023-12-09Test empty types betterNadrieril-489/+2595
2023-12-04Remove the `precise_pointer_size_matching` feature gateNadrieril-63/+24
2023-11-26Auto merge of #117611 - Nadrieril:linear-pass-take-4, r=cjgillotbors-91/+120
2023-11-24Show number in error message even for one errorNilstrieb-31/+31
2023-11-22Fully rework the algorithm and its explanationNadrieril-27/+34
2023-11-22Keep rows with guards in the matrixNadrieril-14/+14
2023-11-22Add some testsNadrieril-55/+77
2023-11-08Auto merge of #116930 - RalfJung:raw-ptr-match, r=davidtwcobors-14/+94
2023-11-03Tweak spans for "adt defined here" noteNadrieril-134/+148
2023-11-02Always do all the pattern checksNadrieril-4/+22
2023-11-02Add regression test for pattern checksNadrieril-0/+72
2023-11-02Tweak diagnostic for consistencyNadrieril-57/+109
2023-10-28make pointer_structural_match warn-by-defaultRalf Jung-14/+94
2023-10-27Match usize/isize exhaustivelyNadrieril-243/+194
2023-10-27Add testsNadrieril-14/+80
2023-10-27Lint overlapping ranges as a separate passNadrieril-15/+58
2023-10-14Skip most of check_match checks in the presence of `PatKind::Error`Nadrieril-34/+9
2023-10-12Auto merge of #116391 - Nadrieril:constructorset, r=cjgillotbors-0/+61
2023-10-11Prevent spurious `unreachable pattern` lintsOli Scherer-138/+28
2023-10-05Fix handling slices of empty typesNadrieril-0/+61
2023-10-01Evaluate float consts eagerlyNadrieril-15/+77
2023-09-03Improve clarity of diagnostic message on non-exhaustive matchesSebastian Toh-5/+5
2023-08-28Add note when matching on nested non-exhaustive enumsSebastian Toh-0/+42
2023-08-28Add note that str cannot be matched exhaustivelySebastian Toh-0/+31
2023-08-21Add note when matching on tuples/ADTs containing non-exhaustive typesSebastian Toh-0/+245
2023-06-28add comment backEric Mark Martin-1/+2
2023-06-28add note for non-exhaustive matches with guardsEric Mark Martin-24/+55
2023-05-25Add NOTE annotations.Camille GILLOT-75/+141
2023-05-25Add inter-crate test.Camille GILLOT-40/+75
2023-05-15Always fall back to PartialEq when a constant in a pattern is not recursively...Oli Scherer-40/+53
2023-04-03Reinstate confusion note.Camille GILLOT-0/+4
2023-04-03Perform match checking on THIR.Camille GILLOT-168/+168
2023-03-27Add notes to non-structural const in pattern error messageJamen Marz-0/+32