Fill in default definitions

Author: sanket1729

src/miniscript/types/mod.rs

@@ -339,21 +339,23 @@ pub trait Property: Sized {
     fn cast_zeronotequal(self) -> Result<Self, ErrorKind>;
 
     /// Cast by changing `[X]` to `AndV([X], True)`
-    fn cast_true(self) -> Result<Self, ErrorKind>;
+    fn cast_true(self) -> Result<Self, ErrorKind> {
+        Self::and_v(self, Self::from_true())
+    }
 
     /// Cast by changing `[X]` to `or_i([X], 0)` or `or_i(0, [X])`
     fn cast_or_i_false(self) -> Result<Self, ErrorKind>;
 
     /// Cast by changing `[X]` to `or_i([X], 0)`. Default implementation
     /// simply passes through to `cast_or_i_false`
     fn cast_unlikely(self) -> Result<Self, ErrorKind> {
-        self.cast_or_i_false()
+        Self::or_i(self, Self::from_false())
     }
 
     /// Cast by changing `[X]` to `or_i(0, [X])`. Default implementation
     /// simply passes through to `cast_or_i_false`
     fn cast_likely(self) -> Result<Self, ErrorKind> {
-        self.cast_or_i_false()
+        Self::or_i(Self::from_false(), self)
     }
 
     /// Computes the type of an `AndB` fragment