Fix opaque type destructuring in code gen

crates/aiken-lang/src/gen_uplc.rs

@@ -250,7 +250,7 @@ impl<'a> CodeGenerator<'a> {
                 panic!("Dangling expressions without an assignment")
             };
 
-            let replaced_type = convert_opaque_type(tipo, &self.data_types, true);
+            // let replaced_type = convert_opaque_type(tipo, &self.data_types, true);
 
             let air_value = self.build(value, module_build_name, &[]);
 
@@ -294,7 +294,7 @@ impl<'a> CodeGenerator<'a> {
                 pattern,
                 air_value,
                 then,
-                &replaced_type,
+                tipo,
                 AssignmentProperties {
                     value_type: value.tipo(),
                     kind: *kind,
@@ -1200,6 +1200,7 @@ impl<'a> CodeGenerator<'a> {
                     // TODO: See if we can combine these two if-conditions;
                     //
                     // i.e. can we lift data_type assignment out of the first if?
+
                     let then = if props.kind.is_expect() {
                         let data_type = lookup_data_type_by_tipo(&self.data_types, tipo)
                             .unwrap_or_else(|| {

examples/acceptance_tests/097/aiken.lock

@@ -0,0 +1,7 @@
+# This file was generated by Aiken
+# You typically do not need to edit this file
+
+requirements = []
+packages = []
+
+[etags]

examples/acceptance_tests/097/aiken.toml

@@ -0,0 +1,3 @@
+name = "aiken-lang/acceptance_test_097"
+version = "0.0.0"
+description = ""

examples/acceptance_tests/097/lib/foo.ak

@@ -0,0 +1,24 @@
+pub opaque type Dict<a, b> {
+  inner: List<(a, b)>,
+}
+
+pub opaque type Value {
+  inner: Dict<ByteArray, Dict<ByteArray, Int>>,
+}
+
+fn to_dict(v: Value) {
+  v.inner
+}
+
+fn to_list(d: Dict<a, b>) {
+  d.inner
+}
+
+test opaque_destructure() {
+  let x = Value { inner: Dict { inner: [(#"", Dict { inner: [("ab", 3)] })] } }
+
+  expect [(policy_a, Dict{inner: [(asset_name_a, quantity_a), ..]}), ..] =
+    x |> to_dict() |> to_list()
+
+  quantity_a > 2
+}