From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 2 May 2022 10:26:23 +0000 (+0100)
Subject: utils: Drop EmptyType
X-Git-Tag: otter-1.1.0~315
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=fbd9982c7ee588f06dcb7926fdcc6f1f21379b67;p=otter.git

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 35f75d13..bfa18cd2 100644
--- 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 {