address review: modify ICE-133117-duplicated-never-arm.rs

Use enum Void to avoid mistmatched types error

Signed-off-by: Shunpoco <[email protected]>

Author: Shunpoco

tests/ui/rfcs/rfc-0000-never_patterns/ICE-133117-duplicate-never-arm.rs

@@ -1,12 +1,14 @@
+#![feature(never_type)]
 #![feature(never_patterns)]
 #![allow(incomplete_features)]
 
-fn main() {
-    match () {
-        (!|
-        //~^ ERROR: mismatched types
-        !) if true => {} //~ ERROR a never pattern is always unreachable
-        //~^ ERROR: mismatched types
+enum Void {}
+
+fn foo(x: Void) {
+    match x {
+        (!|!) if true => {} //~ ERROR a never pattern is always unreachable
         (!|!) if true => {} //~ ERROR a never pattern is always unreachable
     }
 }
+
+fn main() {}

tests/ui/rfcs/rfc-0000-never_patterns/ICE-133117-duplicate-never-arm.stderr

@@ -1,11 +1,11 @@
 error: a never pattern is always unreachable
-  --> $DIR/ICE-133117-duplicate-never-arm.rs:8:23
+  --> $DIR/ICE-133117-duplicate-never-arm.rs:9:26
    |
-LL |         !) if true => {}
-   |                       ^^
-   |                       |
-   |                       this will never be executed
-   |                       help: remove this expression
+LL |         (!|!) if true => {}
+   |                          ^^
+   |                          |
+   |                          this will never be executed
+   |                          help: remove this expression
 
 error: a never pattern is always unreachable
   --> $DIR/ICE-133117-duplicate-never-arm.rs:10:26
@@ -16,21 +16,5 @@ LL |         (!|!) if true => {}
    |                          this will never be executed
    |                          help: remove this expression
 
-error: mismatched types
-  --> $DIR/ICE-133117-duplicate-never-arm.rs:6:10
-   |
-LL |         (!|
-   |          ^ a never pattern must be used on an uninhabited type
-   |
-   = note: the matched value is of type `()`
-
-error: mismatched types
-  --> $DIR/ICE-133117-duplicate-never-arm.rs:8:9
-   |
-LL |         !) if true => {}
-   |         ^ a never pattern must be used on an uninhabited type
-   |
-   = note: the matched value is of type `()`
-
-error: aborting due to 4 previous errors
+error: aborting due to 2 previous errors