about summary refs log tree commit diff
path: root/tests/ui/pattern
AgeCommit message (Expand)AuthorLines
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-08Auto merge of #118527 - Nadrieril:never_patterns_parse, r=compiler-errorsbors-15/+15
2023-12-04Remove the `precise_pointer_size_matching` feature gateNadrieril-63/+24
2023-12-03Disallow arm bodies on never patternsNadrieril-14/+14
2023-12-02Add testsNadrieril-1/+1
2023-11-29Rollup merge of #118157 - Nadrieril:never_pat-feature-gate, r=compiler-errorsMatthias Krüger-0/+150
2023-11-29Add `never_patterns` feature gateNadrieril-0/+150
2023-11-27Suggest swapping the order of `ref` and `box`Hirochika Matsumoto-0/+36
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-52/+52
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-17On resolve error of `[rest..]`, suggest `[rest @ ..]`Esteban Küber-0/+39
2023-11-08Auto merge of #116930 - RalfJung:raw-ptr-match, r=davidtwcobors-14/+94
2023-11-03Tweak spans for "adt defined here" noteNadrieril-136/+150
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-11-01Auto merge of #117289 - estebank:issue-72298, r=cjgillotbors-0/+94
2023-10-30Account for `ref` and `mut` in the wrong place for pattern ident renamingEsteban Küber-0/+94
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-16Fix inline const pattern unsafety checking in THIRMatthew Jasper-14/+31
2023-10-15use `PatKind::error` when an ADT const value has violationbohan-0/+18
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-11Avoid emitting the non_exhaustive error if other errors already occurredOli Scherer-47/+9
2023-10-11Prevent spurious `unreachable pattern` lintsOli Scherer-143/+71
2023-10-06Auto merge of #114811 - estebank:impl-ambiguity, r=wesleywiserbors-0/+3
2023-10-05Add a note to duplicate diagnosticsAlex Macleod-0/+4
2023-10-05Fix handling slices of empty typesNadrieril-0/+61
2023-10-04Reorder fullfillment errors to keep more interesting ones firstEsteban Küber-0/+3
2023-10-01Evaluate float consts eagerlyNadrieril-15/+77
2023-09-21adjust how closure/generator types and rvalues are printedRalf Jung-2/+2
2023-09-07fixes #114896surechen-0/+18
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-07-28address reviewb-naber-1/+13
2023-07-17add more testsb-naber-25/+103
2023-07-17address reviewb-naber-3/+8
2023-07-17add test for nested patternb-naber-0/+15
2023-07-17add tests for refutable patternsb-naber-5/+172