From 4d50cfbc3c924e6ff104faf56109858698230cc7 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 10 Jul 2021 16:24:28 +0100
Subject: [PATCH] zcoord: Test bad ranges

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 base/zcoord.rs | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/base/zcoord.rs b/base/zcoord.rs
index dbf37491..c9b77b9e 100644
--- a/base/zcoord.rs
+++ b/base/zcoord.rs
@@ -889,6 +889,16 @@ mod test {
     mk("vvvvvvvvvv_vvvvvvvvvv_vvvvv01234")
       .tinc("vvvvvvvvvv_vvvvvvvvvv_vvvvv01234_0000000000_0001000000")
       ;
+
+    assert_eq!( Mutable::some_range(Some(&mk("0200000000")),
+                                    Some(&mk("0100000000")),
+                                    1).unwrap_err(),
+                LogicError::from(RangeImpossible::Backwards) );
+
+    assert_eq!( Mutable::some_range(Some(&mk("0200000000")),
+                                    Some(&mk("0200000000")),
+                                    1).unwrap_err(),
+                LogicError::from(RangeImpossible::Empty) );
   }
 
   #[test]
-- 
2.30.2