Renable assertion

ElementsProject · Oct 21, 2022 · a37867a · a37867a
1 parent 5430285
commit a37867a
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/src/descriptor/mod.rs b/src/descriptor/mod.rs
@@ -2109,4 +2109,9 @@ pk(03f28773c2d975288bc7d1d205c3748651b075fbc6610e58cddeeddf8f19405aa8))";
             "eltr(020000000000000000000000000000000000000000000000000000000000000002)",
         );
     }
+
+    #[test]
+    fn test_regression_29() {
+        let _ = Descriptor::<String>::from_str("eltr(,thresh(1,spk_eq(,00)))");
+    }
 }
diff --git a/src/miniscript/types/mod.rs b/src/miniscript/types/mod.rs
@@ -555,7 +555,7 @@ impl Property for Type {
         debug_assert!(self.mall.dissat == Dissat::None || self.corr.base != Base::V);
         debug_assert!(self.mall.safe || self.corr.base != Base::K);
         // Not true for covenant scripts. Covenant scripts have zero inputs, but are still malleable
-        // debug_assert!(self.mall.non_malleable || self.corr.input != Input::Zero);
+        debug_assert!(self.mall.non_malleable || self.corr.input != Input::Zero);
     }
 
     fn from_true() -> Self {