From bd9ae22aeadafb2ec8659570bebd8f4659d9366b Mon Sep 17 00:00:00 2001
From: Hanno Braun <hanno@braun-odw.eu>
Date: Thu, 4 May 2023 12:03:43 +0200
Subject: [PATCH] Implement `Insert` for `Tetrahedron`

---
 crates/fj-kernel/src/operations/insert.rs | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

diff --git a/crates/fj-kernel/src/operations/insert.rs b/crates/fj-kernel/src/operations/insert.rs
index 6cf0eebc4..8c71d9a74 100644
--- a/crates/fj-kernel/src/operations/insert.rs
+++ b/crates/fj-kernel/src/operations/insert.rs
@@ -7,7 +7,7 @@ use crate::{
     storage::Handle,
 };
 
-use super::Polygon;
+use super::{Polygon, Tetrahedron};
 
 /// Insert an object into its respective store
 ///
@@ -91,3 +91,17 @@ impl<const D: usize> Insert for Polygon<D, IsInsertedNo> {
         }
     }
 }
+
+impl Insert for Tetrahedron<IsInsertedNo> {
+    type Inserted = Tetrahedron<IsInsertedYes>;
+
+    fn insert(self, services: &mut Services) -> Self::Inserted {
+        Tetrahedron {
+            shell: self.shell.insert(services),
+            abc: self.abc,
+            bad: self.bad,
+            dac: self.dac,
+            cbd: self.cbd,
+        }
+    }
+}