WIP

scopegraphs/src/completeness/drop.rs

@@ -0,0 +1,9 @@
+use super::ExplicitClose;
+
+/// Completeness implementation that leverages the [Drop] trait to close edges.
+#[derive(Debug, Default)]
+pub struct DropClose<LABEL> {
+    explicit_close: ExplicitClose<LABEL>,
+}
+
+impl<LABEL> Sealed for DropClose<LABEL> {}

scopegraphs/src/completeness/mod.rs

@@ -28,6 +28,8 @@ mod implicit;
 pub use implicit::*;
 mod unchecked;
 pub use unchecked::*;
+mod drop;
+pub use drop::*;
 
 mod private {
     pub trait Sealed {}