utils: Drop EmptyType

It turns out that there already weren't any use sites.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/src/utils.rs b/src/utils.rs
index 35f75d133cdeeace14e8439854bc7ab0c0fd65ac..bfa18cd2ec78eb73d8bb3e1fa861c6bc5e494ff1 100644 (file)
--- a/src/utils.rs
+++ b/src/utils.rs
@@ -124,16 +124,6 @@ pub mod timespec_serde {
   }
 }
 
-//---------- emptytype ----------
-
-// TODO: replace with Void
-
-pub trait EmptyType { fn diverge<T>(self) -> T; }
-
-impl EmptyType for Infallible {
-  fn diverge<T>(self) -> T { match self { } }
-}
-
 //---------- IpAddress ----------
 
 pub trait IpAddress: Debug {