From 43483827cc788254d018a3ce1a6d595d61d700be Mon Sep 17 00:00:00 2001
From: stickies-v <stickies-v@protonmail.com>
Date: Sat, 30 Apr 2022 19:58:01 +0200
Subject: [PATCH 1/2] Describe conflicts when raising MiniscriptPropertyError

---
 bip380/miniscript/property.py | 36 ++++++++++++++++++++---------------
 1 file changed, 21 insertions(+), 15 deletions(-)

diff --git a/bip380/miniscript/property.py b/bip380/miniscript/property.py
index 7d49265..29814f1 100644
--- a/bip380/miniscript/property.py
+++ b/bip380/miniscript/property.py
@@ -5,6 +5,7 @@
 
 from .errors import MiniscriptPropertyError
 
+
 # TODO: implement __eq__
 class Property:
     """Miniscript expression property"""
@@ -59,21 +60,26 @@ def check_valid(self):
                 num_types += 1
 
         # Check for conflicts in type & properties.
-        if not (
-            (not self.z or not self.o)
-            and (not self.n or not self.z)
-            and (not self.V or not self.d)
-            and (not self.K or self.u)
-            and (not self.V or not self.u)
-            and (not self.e or not self.f)
-            and (not self.e or self.d)
-            and (not self.V or not self.e)
-            and (not self.d or not self.f)
-            and (not self.V or self.f)
-            and (not self.K or self.s)
-            and (not self.z or self.m)
-        ):
-            raise MiniscriptPropertyError("Conflicting types and properties")
+        checks = [
+            # (type/property, must_be, must_not_be)
+            ("K", "us", ""),
+            ("V", "f", "due"),
+            ("z", "m", "o"),
+            ("n", "", "z"),
+            ("e", "d", "f"),
+            ("d", "", "f"),
+        ]
+        conflicts = []
+
+        for (attr, must_be, must_not_be) in checks:
+            if not getattr(self, attr):
+                continue
+            if not self.has_all(must_be):
+                conflicts.append(f"{attr} must be {must_be}")
+            if self.has_any(must_not_be):
+                conflicts.append(f"{attr} must not be {must_not_be}")
+        if conflicts:
+            raise MiniscriptPropertyError(f"Conflicting types and properties: {', '.join(conflicts)}")
 
     def type(self):
         return "".join(filter(lambda x: x in self.types, str(self)))

From 96dcb1de3fdf4750458c159a0824485e02160ee0 Mon Sep 17 00:00:00 2001
From: stickies-v <stickies-v@protonmail.com>
Date: Sun, 1 May 2022 19:55:08 +0200
Subject: [PATCH 2/2] Simplify single type check

---
 bip380/miniscript/property.py | 10 ++--------
 1 file changed, 2 insertions(+), 8 deletions(-)

diff --git a/bip380/miniscript/property.py b/bip380/miniscript/property.py
index 29814f1..9058bc3 100644
--- a/bip380/miniscript/property.py
+++ b/bip380/miniscript/property.py
@@ -50,14 +50,8 @@ def has_any(self, properties):
     def check_valid(self):
         """Raises a MiniscriptPropertyError if the types/properties conflict"""
         # Can only be of a single type.
-        num_types = 0
-        for typ in self.types:
-            if getattr(self, typ):
-                if num_types == 1:
-                    raise MiniscriptPropertyError(
-                        "A Miniscript fragment can only be of a single type"
-                    )
-                num_types += 1
+        if len(self.type()) > 1:
+            raise MiniscriptPropertyError("A Miniscript fragment can only be of a single type")
 
         # Check for conflicts in type & properties.
         checks = [