Type: From<Arc<Final>>

If we have a finalized type that we want to use inside the union bound
algorithm, then we can convert it to `Type`. The latter is mutable while
the former remains unchanged, as expected.

Author: uncomputable

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::*;