about summary refs log tree commit diff
path: root/tests/ui/pattern
AgeCommit message (Expand)AuthorLines
2024-01-10Add test case for #119778Nadrieril-0/+48
2024-01-09Check bindings around never patternsNadrieril-19/+14
2024-01-09Add testsNadrieril-56/+1
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
2024-01-05Remove revisions for THIR unsafeckMatthew Jasper-30/+14
2023-12-29add test for #117626bohan-0/+21
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-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