From a88b054754c2ed1a963c1198a009569f82f56f17 Mon Sep 17 00:00:00 2001
From: Hanno Braun <hello@hannobraun.com>
Date: Wed, 5 Jun 2024 20:41:53 +0200
Subject: [PATCH] Avoid use of `BuildHalfEdge::circle`

---
 crates/fj-core/src/operations/holes.rs | 21 +++------------------
 1 file changed, 3 insertions(+), 18 deletions(-)

diff --git a/crates/fj-core/src/operations/holes.rs b/crates/fj-core/src/operations/holes.rs
index f46980348..d2b209470 100644
--- a/crates/fj-core/src/operations/holes.rs
+++ b/crates/fj-core/src/operations/holes.rs
@@ -43,17 +43,14 @@ impl AddHole for Shell {
         path: impl Into<Vector<3>>,
         core: &mut Core,
     ) -> Self {
-        let entry = HalfEdge::circle(
+        let entry = Cycle::circle(
             location.position,
             radius,
             location.face.surface().clone(),
             core,
         );
         let hole = Region::empty(core)
-            .update_exterior(
-                |_, core| Cycle::empty().add_half_edges([entry.clone()], core),
-                core,
-            )
+            .update_exterior(|_, _| entry.clone(), core)
             .sweep_region(
                 location.face.surface().clone(),
                 None,
@@ -68,19 +65,7 @@ impl AddHole for Shell {
             location.face,
             |face, core| {
                 [face.update_region(
-                    |region, core| {
-                        region.add_interiors(
-                            [Cycle::empty().add_joined_edges(
-                                [(
-                                    entry.clone(),
-                                    *core.layers.geometry.of_half_edge(&entry),
-                                )],
-                                location.face.surface().clone(),
-                                core,
-                            )],
-                            core,
-                        )
-                    },
+                    |region, core| region.add_interiors([entry], core),
                     core,
                 )]
             },