summaryrefslogtreecommitdiffstats
path: root/src/test/ui/pattern/usefulness/non-exhaustive-pattern-witness.rs
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:18:58 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:18:58 +0000
commita4b7ed7a42c716ab9f05e351f003d589124fd55d (patch)
treeb620cd3f223850b28716e474e80c58059dca5dd4 /src/test/ui/pattern/usefulness/non-exhaustive-pattern-witness.rs
parentAdding upstream version 1.67.1+dfsg1. (diff)
downloadrustc-a4b7ed7a42c716ab9f05e351f003d589124fd55d.tar.xz
rustc-a4b7ed7a42c716ab9f05e351f003d589124fd55d.zip
Adding upstream version 1.68.2+dfsg1.upstream/1.68.2+dfsg1
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'src/test/ui/pattern/usefulness/non-exhaustive-pattern-witness.rs')
-rw-r--r--src/test/ui/pattern/usefulness/non-exhaustive-pattern-witness.rs89
1 files changed, 0 insertions, 89 deletions
diff --git a/src/test/ui/pattern/usefulness/non-exhaustive-pattern-witness.rs b/src/test/ui/pattern/usefulness/non-exhaustive-pattern-witness.rs
deleted file mode 100644
index 4bd344219..000000000
--- a/src/test/ui/pattern/usefulness/non-exhaustive-pattern-witness.rs
+++ /dev/null
@@ -1,89 +0,0 @@
-struct Foo {
- first: bool,
- second: Option<[usize; 4]>
-}
-
-fn struct_with_a_nested_enum_and_vector() {
- match (Foo { first: true, second: None }) {
-//~^ ERROR non-exhaustive patterns: `Foo { first: false, second: Some([_, _, _, _]) }` not covered
- Foo { first: true, second: None } => (),
- Foo { first: true, second: Some(_) } => (),
- Foo { first: false, second: None } => (),
- Foo { first: false, second: Some([1, 2, 3, 4]) } => ()
- }
-}
-
-enum Color {
- Red,
- Green,
- CustomRGBA { a: bool, r: u8, g: u8, b: u8 }
-}
-
-fn enum_with_single_missing_variant() {
- match Color::Red {
- //~^ ERROR non-exhaustive patterns: `Color::Red` not covered
- Color::CustomRGBA { .. } => (),
- Color::Green => ()
- }
-}
-
-enum Direction {
- North, East, South, West
-}
-
-fn enum_with_multiple_missing_variants() {
- match Direction::North {
- //~^ ERROR non-exhaustive patterns: `Direction::East`, `Direction::South` and `Direction::West` not covered
- Direction::North => ()
- }
-}
-
-enum ExcessiveEnum {
- First, Second, Third, Fourth, Fifth, Sixth, Seventh, Eighth, Ninth, Tenth, Eleventh, Twelfth
-}
-
-fn enum_with_excessive_missing_variants() {
- match ExcessiveEnum::First {
- //~^ ERROR `ExcessiveEnum::Second`, `ExcessiveEnum::Third`, `ExcessiveEnum::Fourth` and 8 more not covered
-
- ExcessiveEnum::First => ()
- }
-}
-
-fn enum_struct_variant() {
- match Color::Red {
- //~^ ERROR non-exhaustive patterns: `Color::CustomRGBA { a: true, .. }` not covered
- Color::Red => (),
- Color::Green => (),
- Color::CustomRGBA { a: false, r: _, g: _, b: 0 } => (),
- Color::CustomRGBA { a: false, r: _, g: _, b: _ } => ()
- }
-}
-
-enum Enum {
- First,
- Second(bool)
-}
-
-fn vectors_with_nested_enums() {
- let x: &'static [Enum] = &[Enum::First, Enum::Second(false)];
- match *x {
- //~^ ERROR non-exhaustive patterns: `[Enum::Second(true), Enum::Second(false)]` not covered
- [] => (),
- [_] => (),
- [Enum::First, _] => (),
- [Enum::Second(true), Enum::First] => (),
- [Enum::Second(true), Enum::Second(true)] => (),
- [Enum::Second(false), _] => (),
- [_, _, ref tail @ .., _] => ()
- }
-}
-
-fn missing_nil() {
- match ((), false) {
- //~^ ERROR non-exhaustive patterns: `((), false)` not covered
- ((), true) => ()
- }
-}
-
-fn main() {}