From fbd9982c7ee588f06dcb7926fdcc6f1f21379b67 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 2 May 2022 11:26:23 +0100
Subject: [PATCH] utils: Drop EmptyType

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

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 src/utils.rs | 10 ----------
 1 file changed, 10 deletions(-)

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 {
-- 
2.30.2