From a22d946321b091c4548ce7a005d371546de31cdf Mon Sep 17 00:00:00 2001
From: tyranron <tyranron@gmail.com>
Date: Wed, 28 Aug 2024 17:33:08 +0300
Subject: [PATCH] Consider for `Unwrap` and `TryUnwrap`

---
 impl/src/try_unwrap.rs |  1 +
 impl/src/unwrap.rs     |  1 +
 tests/try_unwrap.rs    | 12 ++++++++++++
 tests/unwrap.rs        | 12 ++++++++++++
 4 files changed, 26 insertions(+)

diff --git a/impl/src/try_unwrap.rs b/impl/src/try_unwrap.rs
index b90ba714..28187962 100644
--- a/impl/src/try_unwrap.rs
+++ b/impl/src/try_unwrap.rs
@@ -123,6 +123,7 @@ pub fn expand(input: &DeriveInput, trait_name: &'static str) -> Result<TokenStre
     }
 
     let imp = quote! {
+        #[allow(unreachable_code)] // omit warnings for `!` and other unreachable types
         #[automatically_derived]
         impl #imp_generics #enum_name #type_generics #where_clause {
             #(#funcs)*
diff --git a/impl/src/unwrap.rs b/impl/src/unwrap.rs
index 02a9010c..9111c494 100644
--- a/impl/src/unwrap.rs
+++ b/impl/src/unwrap.rs
@@ -118,6 +118,7 @@ pub fn expand(input: &DeriveInput, trait_name: &'static str) -> Result<TokenStre
     }
 
     let imp = quote! {
+        #[allow(unreachable_code)] // omit warnings for `!` and other unreachable types
         #[automatically_derived]
         impl #imp_generics #enum_name #type_generics #where_clause {
             #(#funcs)*
diff --git a/tests/try_unwrap.rs b/tests/try_unwrap.rs
index e8a2dd8b..03ce7bd1 100644
--- a/tests/try_unwrap.rs
+++ b/tests/try_unwrap.rs
@@ -1,4 +1,5 @@
 #![cfg_attr(not(feature = "std"), no_std)]
+#![cfg_attr(nightly, feature(never_type))]
 #![allow(dead_code)] // some code is tested for type checking only
 
 #[cfg(not(feature = "std"))]
@@ -128,3 +129,14 @@ pub fn test_try_unwrap_mut_2() {
 
     assert_eq!(value, Tuple::Double(255, 256));
 }
+
+#[cfg(nightly)]
+mod never {
+    use super::*;
+
+    #[derive(TryUnwrap)]
+    enum Enum {
+        Tuple(!),
+        TupleMulti(i32, !),
+    }
+}
diff --git a/tests/unwrap.rs b/tests/unwrap.rs
index ebff8667..018e6acb 100644
--- a/tests/unwrap.rs
+++ b/tests/unwrap.rs
@@ -1,4 +1,5 @@
 #![cfg_attr(not(feature = "std"), no_std)]
+#![cfg_attr(nightly, feature(never_type))]
 #![allow(dead_code)] // some code is tested for type checking only
 
 use derive_more::Unwrap;
@@ -117,3 +118,14 @@ pub fn test_unwrap_mut_2() {
 
     assert_eq!(value, Tuple::Single(256));
 }
+
+#[cfg(nightly)]
+mod never {
+    use super::*;
+
+    #[derive(Unwrap)]
+    enum Enum {
+        Tuple(!),
+        TupleMulti(i32, !),
+    }
+}