diff --git a/src/rect.rs b/src/rect.rs
index 25c1a99..372b842 100644
--- a/src/rect.rs
+++ b/src/rect.rs
@@ -42,7 +42,7 @@ pub fn Rect<T:Clone>(origin: Point2D<T>, size: Size2D<T>) -> Rect<T> {
     }
 }
 
-impl<T: Copy + Clone + PartialOrd + Add<T, Output=T> + Sub<T, Output=T>> Rect<T> {
+impl<T: Copy + Clone + PartialOrd + Add<T, Output=T> + Sub<T, Output=T> + Zero> Rect<T> {
     #[inline]
     pub fn intersects(&self, other: &Rect<T>) -> bool {
         self.origin.x < other.origin.x + other.size.width &&
@@ -89,6 +89,13 @@ impl<T: Copy + Clone + PartialOrd + Add<T, Output=T> + Sub<T, Output=T>> Rect<T>
 
     #[inline]
     pub fn union(&self, other: &Rect<T>) -> Rect<T> {
+        if self.size == Zero::zero() {
+            return *other
+        }
+        if other.size == Zero::zero() {
+            return *self
+        }
+
         let upper_left = Point2D(min(self.min_x(), other.min_x()),
                                  min(self.min_y(), other.min_y()));
 
diff --git a/src/size.rs b/src/size.rs
index 591c66d..f61f4ac 100644
--- a/src/size.rs
+++ b/src/size.rs
@@ -52,6 +52,15 @@ impl<T: Zero> Size2D<T> {
     }
 }
 
+impl<T: Zero> Zero for Size2D<T> {
+    fn zero() -> Size2D<T> {
+        Size2D {
+            width: Zero::zero(),
+            height: Zero::zero(),
+        }
+    }
+}
+
 impl<Scale: Copy, T0: Mul<Scale, Output=T1>, T1: Clone> Mul<Scale> for Size2D<T0> {
     type Output = Size2D<T1>;
     #[inline]