From 15fe7e2885d2cb92a3dd3b143052f651ec5eace9 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 3 Apr 2021 11:09:39 +0100
Subject: [PATCH] geometry: Provide Rect::size()

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

diff --git a/base/geometry.rs b/base/geometry.rs
index 6d424f06..44a31d7a 100644
--- a/base/geometry.rs
+++ b/base/geometry.rs
@@ -287,6 +287,13 @@ impl<T> RectC<T> where T: Mean + Debug + Copy {
   }
 }
 
+impl<T> RectC<T> where T: CheckedArith + Debug + Copy {
+  #[throws(CoordinateOverflow)]
+  pub fn size(&self) -> PosC<T> {
+    (self.br() - self.tl())?
+  }
+}
+
 #[test]
 fn empty_area() {
   let empty = Rect::empty();
-- 
2.30.2