Merge #218: Convert Types

3b64943 Type: From<Arc<Final>> (Christian Lewe)

Pull request description:

  Convert finalized types to unfinalized ones, for use during unification.

ACKs for top commit:
  apoelstra:
    ACK 3b64943

Tree-SHA512: 78e553a1375acb898f401bc0693a3b4e03baf23b046145193cacd4619d80a769bdb080a76146d2293c0c443f0f04727c8ca77b0f8bd2c95fe76f4aa0fd4e66d7

src/types/final_data.rs

@@ -12,6 +12,7 @@
 //!
 
 use crate::dag::{Dag, DagLike, NoSharing};
+use crate::types::{Bound, Type};
 use crate::Tmr;
 
 use std::sync::Arc;
@@ -226,6 +227,12 @@ impl Final {
     }
 }
 
+impl From<Arc<Final>> for Type {
+    fn from(value: Arc<Final>) -> Self {
+        Type::from(Bound::Complete(value))
+    }
+}
+
 #[cfg(test)]
 mod tests {
     use super::*;