Skip to content

Commit 606743e

Browse files
CentrilCentril
authored
Rollup merge of rust-lang#65880 - Nadrieril:gather-usefulness-tests, r=varkor
Gather together usefulness tests I took most tests that were testing only for match exhaustiveness, pattern refutability or match arm reachability, and put them in the same test folder. I found it helpful to have them all in the same place when working on the usefulness algorithm.
2 parents 75a127c + 09f9947 commit 606743e

File tree

55 files changed

+6
-3
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

55 files changed

+6
-3
lines changed

‎src/librustc_mir/hair/pattern/_match.rs

+3
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,6 @@
1+
/// Note: most tests relevant to this file can be found (at the time of writing)
2+
/// in src/tests/ui/pattern/usefulness.
3+
///
14
/// This file includes the logic for exhaustiveness and usefulness checking for
25
/// pattern-matching. Specifically, given a list of patterns for a type, we can
36
/// tell whether:

‎src/test/ui/uninhabited/always-inhabited-union-ref.rs renamed to ‎src/test/ui/pattern/usefulness/always-inhabited-union-ref.rs

File renamed without changes.

‎src/test/ui/uninhabited/always-inhabited-union-ref.stderr renamed to ‎src/test/ui/pattern/usefulness/always-inhabited-union-ref.stderr

File renamed without changes.

‎src/test/ui/exhaustive_integer_patterns.rs renamed to ‎src/test/ui/pattern/usefulness/exhaustive_integer_patterns.rs

File renamed without changes.

‎src/test/ui/exhaustive_integer_patterns.stderr renamed to ‎src/test/ui/pattern/usefulness/exhaustive_integer_patterns.stderr

File renamed without changes.

‎src/test/ui/guards-not-exhaustive.rs renamed to ‎src/test/ui/pattern/usefulness/guards-not-exhaustive.rs

File renamed without changes.

‎src/test/ui/pattern/irrefutable-exhaustive-integer-binding.rs renamed to ‎src/test/ui/pattern/usefulness/irrefutable-exhaustive-integer-binding.rs

File renamed without changes.

‎src/test/ui/irrefutable-unit.rs renamed to ‎src/test/ui/pattern/usefulness/irrefutable-unit.rs

File renamed without changes.

‎src/test/ui/check_match/issue-35609.rs renamed to ‎src/test/ui/pattern/usefulness/issue-35609.rs

File renamed without changes.

‎src/test/ui/check_match/issue-35609.stderr renamed to ‎src/test/ui/pattern/usefulness/issue-35609.stderr

File renamed without changes.

‎src/test/ui/check_match/issue-43253.rs renamed to ‎src/test/ui/pattern/usefulness/issue-43253.rs

File renamed without changes.

‎src/test/ui/check_match/issue-43253.stderr renamed to ‎src/test/ui/pattern/usefulness/issue-43253.stderr

File renamed without changes.

‎src/test/ui/match/match-argm-statics-2.rs renamed to ‎src/test/ui/pattern/usefulness/match-arm-statics-2.rs

File renamed without changes.

‎src/test/ui/match/match-argm-statics-2.stderr renamed to ‎src/test/ui/pattern/usefulness/match-arm-statics-2.stderr

+3-3
Original file line numberDiff line numberDiff line change
@@ -1,21 +1,21 @@
11
error[E0004]: non-exhaustive patterns: `(true, false)` not covered
2-
--> $DIR/match-argm-statics-2.rs:17:11
2+
--> $DIR/match-arm-statics-2.rs:17:11
33
|
44
LL | match (true, false) {
55
| ^^^^^^^^^^^^^ pattern `(true, false)` not covered
66
|
77
= help: ensure that all possible cases are being handled, possibly by adding wildcards or more match arms
88

99
error[E0004]: non-exhaustive patterns: `Some(Some(West))` not covered
10-
--> $DIR/match-argm-statics-2.rs:29:11
10+
--> $DIR/match-arm-statics-2.rs:29:11
1111
|
1212
LL | match Some(Some(North)) {
1313
| ^^^^^^^^^^^^^^^^^ pattern `Some(Some(West))` not covered
1414
|
1515
= help: ensure that all possible cases are being handled, possibly by adding wildcards or more match arms
1616

1717
error[E0004]: non-exhaustive patterns: `Foo { bar: Some(North), baz: NewBool(true) }` not covered
18-
--> $DIR/match-argm-statics-2.rs:48:11
18+
--> $DIR/match-arm-statics-2.rs:48:11
1919
|
2020
LL | / struct Foo {
2121
LL | | bar: Option<Direction>,

‎src/test/ui/match/match-arm-statics.rs renamed to ‎src/test/ui/pattern/usefulness/match-arm-statics.rs

File renamed without changes.

‎src/test/ui/match/match-arm-statics.stderr renamed to ‎src/test/ui/pattern/usefulness/match-arm-statics.stderr

File renamed without changes.

‎src/test/ui/match/match-byte-array-patterns-2.rs renamed to ‎src/test/ui/pattern/usefulness/match-byte-array-patterns-2.rs

File renamed without changes.

‎src/test/ui/match/match-byte-array-patterns-2.stderr renamed to ‎src/test/ui/pattern/usefulness/match-byte-array-patterns-2.stderr

File renamed without changes.

‎src/test/ui/match/match-byte-array-patterns.rs renamed to ‎src/test/ui/pattern/usefulness/match-byte-array-patterns.rs

File renamed without changes.

‎src/test/ui/match/match-byte-array-patterns.stderr renamed to ‎src/test/ui/pattern/usefulness/match-byte-array-patterns.stderr

File renamed without changes.

‎src/test/ui/match/match-non-exhaustive.rs renamed to ‎src/test/ui/pattern/usefulness/match-non-exhaustive.rs

File renamed without changes.

‎src/test/ui/match/match-non-exhaustive.stderr renamed to ‎src/test/ui/pattern/usefulness/match-non-exhaustive.stderr

File renamed without changes.

‎src/test/ui/match/match-privately-empty.rs renamed to ‎src/test/ui/pattern/usefulness/match-privately-empty.rs

File renamed without changes.

‎src/test/ui/match/match-privately-empty.stderr renamed to ‎src/test/ui/pattern/usefulness/match-privately-empty.stderr

File renamed without changes.

‎src/test/ui/match/match-range-fail-dominate.rs renamed to ‎src/test/ui/pattern/usefulness/match-range-fail-dominate.rs

File renamed without changes.

‎src/test/ui/match/match-range-fail-dominate.stderr renamed to ‎src/test/ui/pattern/usefulness/match-range-fail-dominate.stderr

File renamed without changes.

‎src/test/ui/match/match-ref-ice.rs renamed to ‎src/test/ui/pattern/usefulness/match-ref-ice.rs

File renamed without changes.

‎src/test/ui/match/match-ref-ice.stderr renamed to ‎src/test/ui/pattern/usefulness/match-ref-ice.stderr

File renamed without changes.

‎src/test/ui/match/match-slice-patterns.rs renamed to ‎src/test/ui/pattern/usefulness/match-slice-patterns.rs

File renamed without changes.

‎src/test/ui/match/match-slice-patterns.stderr renamed to ‎src/test/ui/pattern/usefulness/match-slice-patterns.stderr

File renamed without changes.

‎src/test/ui/match/match-vec-fixed.rs renamed to ‎src/test/ui/pattern/usefulness/match-vec-fixed.rs

File renamed without changes.

‎src/test/ui/match/match-vec-fixed.stderr renamed to ‎src/test/ui/pattern/usefulness/match-vec-fixed.stderr

File renamed without changes.

‎src/test/ui/match/match-vec-unreachable.rs renamed to ‎src/test/ui/pattern/usefulness/match-vec-unreachable.rs

File renamed without changes.

‎src/test/ui/match/match-vec-unreachable.stderr renamed to ‎src/test/ui/pattern/usefulness/match-vec-unreachable.stderr

File renamed without changes.

‎src/test/ui/binding/nested-exhaustive-match.rs renamed to ‎src/test/ui/pattern/usefulness/nested-exhaustive-match.rs

File renamed without changes.

‎src/test/ui/match/non-exhaustive-defined-here.rs renamed to ‎src/test/ui/pattern/usefulness/non-exhaustive-defined-here.rs

File renamed without changes.

‎src/test/ui/match/non-exhaustive-defined-here.stderr renamed to ‎src/test/ui/pattern/usefulness/non-exhaustive-defined-here.stderr

File renamed without changes.

‎src/test/ui/non-exhaustive/non-exhaustive-float-range-match.rs renamed to ‎src/test/ui/pattern/usefulness/non-exhaustive-float-range-match.rs

File renamed without changes.

‎src/test/ui/non-exhaustive/non-exhaustive-float-range-match.stderr renamed to ‎src/test/ui/pattern/usefulness/non-exhaustive-float-range-match.stderr

File renamed without changes.

‎src/test/ui/non-exhaustive/non-exhaustive-match-nested.rs renamed to ‎src/test/ui/pattern/usefulness/non-exhaustive-match-nested.rs

File renamed without changes.

‎src/test/ui/non-exhaustive/non-exhaustive-match-nested.stderr renamed to ‎src/test/ui/pattern/usefulness/non-exhaustive-match-nested.stderr

File renamed without changes.

‎src/test/ui/non-exhaustive/non-exhaustive-match.rs renamed to ‎src/test/ui/pattern/usefulness/non-exhaustive-match.rs

File renamed without changes.

‎src/test/ui/non-exhaustive/non-exhaustive-match.stderr renamed to ‎src/test/ui/pattern/usefulness/non-exhaustive-match.stderr

File renamed without changes.

‎src/test/ui/non-exhaustive/non-exhaustive-pattern-witness.rs renamed to ‎src/test/ui/pattern/usefulness/non-exhaustive-pattern-witness.rs

File renamed without changes.

‎src/test/ui/non-exhaustive/non-exhaustive-pattern-witness.stderr renamed to ‎src/test/ui/pattern/usefulness/non-exhaustive-pattern-witness.stderr

File renamed without changes.

‎src/test/ui/refutable-pattern-errors.rs renamed to ‎src/test/ui/pattern/usefulness/refutable-pattern-errors.rs

File renamed without changes.

‎src/test/ui/refutable-pattern-errors.stderr renamed to ‎src/test/ui/pattern/usefulness/refutable-pattern-errors.stderr

File renamed without changes.

‎src/test/ui/refutable-pattern-in-fn-arg.rs renamed to ‎src/test/ui/pattern/usefulness/refutable-pattern-in-fn-arg.rs

File renamed without changes.

‎src/test/ui/refutable-pattern-in-fn-arg.stderr renamed to ‎src/test/ui/pattern/usefulness/refutable-pattern-in-fn-arg.stderr

File renamed without changes.

‎src/test/ui/structs/struct-like-enum-nonexhaustive.rs renamed to ‎src/test/ui/pattern/usefulness/struct-like-enum-nonexhaustive.rs

File renamed without changes.

‎src/test/ui/structs/struct-like-enum-nonexhaustive.stderr renamed to ‎src/test/ui/pattern/usefulness/struct-like-enum-nonexhaustive.stderr

File renamed without changes.

‎src/test/ui/structs/struct-pattern-match-useless.rs renamed to ‎src/test/ui/pattern/usefulness/struct-pattern-match-useless.rs

File renamed without changes.

‎src/test/ui/structs/struct-pattern-match-useless.stderr renamed to ‎src/test/ui/pattern/usefulness/struct-pattern-match-useless.stderr

File renamed without changes.

‎src/test/ui/tuple/tuple-struct-nonexhaustive.rs renamed to ‎src/test/ui/pattern/usefulness/tuple-struct-nonexhaustive.rs

File renamed without changes.

‎src/test/ui/tuple/tuple-struct-nonexhaustive.stderr renamed to ‎src/test/ui/pattern/usefulness/tuple-struct-nonexhaustive.stderr

File renamed without changes.

0 commit comments

Comments
 (0)