Merge pull request #27953 from AleoHQ/fix/finalize-flattening

[Fix] Flattening finalize.

compiler/passes/src/flattening/flatten_program.rs

@@ -16,7 +16,7 @@
 
 use crate::Flattener;
 
-use leo_ast::{Function, ProgramReconstructor, ProgramScope, Statement, StatementReconstructor};
+use leo_ast::{Finalize, Function, ProgramReconstructor, ProgramScope, Statement, StatementReconstructor};
 
 impl ProgramReconstructor for Flattener<'_> {
     /// Flattens a program scope.
@@ -59,7 +59,23 @@ impl ProgramReconstructor for Flattener<'_> {
             output: function.output,
             output_type: function.output_type,
             block,
-            finalize: function.finalize,
+            finalize: function.finalize.map(|finalize| {
+                // Set the `is_finalize` flag before reconstructing the finalize block.
+                self.is_finalize = true;
+                // Reconstruct the finalize block.
+                let finalize = Finalize {
+                    identifier: finalize.identifier,
+                    input: finalize.input,
+                    output: finalize.output,
+                    output_type: finalize.output_type,
+                    block: self.reconstruct_block(finalize.block).0,
+                    span: finalize.span,
+                    id: finalize.id,
+                };
+                // Reset the `is_finalize` flag.
+                self.is_finalize = false;
+                finalize
+            }),
             span: function.span,
             id: function.id,
         }

compiler/passes/src/flattening/flatten_statement.rs

@@ -61,6 +61,11 @@ impl StatementReconstructor for Flattener<'_> {
     fn reconstruct_assert(&mut self, input: AssertStatement) -> (Statement, Self::AdditionalOutput) {
         let mut statements = Vec::new();
 
+        // If traversing a `finalize` block, return the assert as is.
+        if self.is_finalize {
+            return (Statement::Assert(input), statements);
+        }
+
         // Flatten the arguments of the assert statement.
         let assert = AssertStatement {
             span: input.span,
@@ -222,6 +227,26 @@ impl StatementReconstructor for Flattener<'_> {
     fn reconstruct_conditional(&mut self, conditional: ConditionalStatement) -> (Statement, Self::AdditionalOutput) {
         let mut statements = Vec::with_capacity(conditional.then.statements.len());
 
+        // If traversing a `finalize` block, only reconstruct the if and else blocks of the conditional statement.
+        if self.is_finalize {
+            let then_block = self.reconstruct_block(conditional.then).0;
+            let otherwise_block = conditional.otherwise.map(|statement| match *statement {
+                Statement::Block(block) => Box::new(Statement::Block(self.reconstruct_block(block).0)),
+                _ => unreachable!("Parsing guarantees that the `otherwise` is always a `Block`"),
+            });
+
+            return (
+                Statement::Conditional(ConditionalStatement {
+                    condition: conditional.condition,
+                    then: then_block,
+                    otherwise: otherwise_block,
+                    span: conditional.span,
+                    id: conditional.id,
+                }),
+                statements,
+            );
+        }
+
         // Add condition to the condition stack.
         self.condition_stack.push(conditional.condition.clone());
 
@@ -269,6 +294,10 @@ impl StatementReconstructor for Flattener<'_> {
     /// Transforms a return statement into an empty block statement.
     /// Stores the arguments to the return statement, which are later folded into a single return statement at the end of the function.
     fn reconstruct_return(&mut self, input: ReturnStatement) -> (Statement, Self::AdditionalOutput) {
+        // If traversing a `finalize` block, return as is.
+        if self.is_finalize {
+            return (Statement::Return(input), Default::default());
+        }
         // Construct the associated guard.
         let guard = self.construct_guard();
 

compiler/passes/src/flattening/flattener.rs

@@ -67,6 +67,8 @@ pub struct Flattener<'a> {
     pub(crate) returns: Vec<(Option<Expression>, ReturnStatement)>,
     /// The program name.
     pub(crate) program: Option<Symbol>,
+    /// Whether we are currently traversing a `finalize` block.
+    pub(crate) is_finalize: bool,
 }
 
 impl<'a> Flattener<'a> {
@@ -84,6 +86,7 @@ impl<'a> Flattener<'a> {
             condition_stack: Vec::new(),
             returns: Vec::new(),
             program: None,
+            is_finalize: false,
         }
     }
 

tests/expectations/compiler/array/array_in_finalize.out

@@ -9,10 +9,10 @@ outputs:
           initial_ast: 46b97966bd59f7f2ef2a8e9db3276ecccfb56cae533e223e8664aa40b7cd976f
           unrolled_ast: 46b97966bd59f7f2ef2a8e9db3276ecccfb56cae533e223e8664aa40b7cd976f
           ssa_ast: dc2456142b747ad537b8c8f4f454d902a63be4fd33ea0e3995b32d3e27696b6f
-          flattened_ast: 97e88581628c88cb5041806210a506045c89e331d65f9565b31c7bf78fd28505
-          destructured_ast: 71dda6bb1090bef21d053bd16480c533355595bf7a4361d706ce576236c3e561
-          inlined_ast: 71dda6bb1090bef21d053bd16480c533355595bf7a4361d706ce576236c3e561
-          dce_ast: 71dda6bb1090bef21d053bd16480c533355595bf7a4361d706ce576236c3e561
+          flattened_ast: 095a0ebb0a930b30166018e731f93f65c4128679ada974b881fd3fb80edf121c
+          destructured_ast: 29b85d96f313c94b2d2864511b7317c04095dccc1d9c481d28093368c72096e2
+          inlined_ast: 29b85d96f313c94b2d2864511b7317c04095dccc1d9c481d28093368c72096e2
+          dce_ast: 29b85d96f313c94b2d2864511b7317c04095dccc1d9c481d28093368c72096e2
           bytecode: 66a857f6a5e79328d146c55f5e42c6eb249b7c6c9cc1c6e0c534328b85e649eb
           errors: ""
           warnings: ""

tests/expectations/compiler/array/array_in_mapping.out

@@ -9,10 +9,10 @@ outputs:
           initial_ast: d22023292a932c574e079af02a3fe01dbef4d23182af231295a5ac416624f327
           unrolled_ast: d22023292a932c574e079af02a3fe01dbef4d23182af231295a5ac416624f327
           ssa_ast: d22023292a932c574e079af02a3fe01dbef4d23182af231295a5ac416624f327
-          flattened_ast: 7849fd84194fbc2e18cf12f92a9bee03f9e8cc88345df61dec47f060d6f3d463
-          destructured_ast: e2470df3c2ccb69bf2f164ea073e332d5a67c11436833f0503169b0339f92ab5
-          inlined_ast: e2470df3c2ccb69bf2f164ea073e332d5a67c11436833f0503169b0339f92ab5
-          dce_ast: e2470df3c2ccb69bf2f164ea073e332d5a67c11436833f0503169b0339f92ab5
+          flattened_ast: cadf6d4969374f8f9d7d2d6df84f1527f3006a50c7ffc4a24ec462c20c91f919
+          destructured_ast: f20ab6f576c360e3014bbdb74522b858cfe1c502418c1c740897fea39d536371
+          inlined_ast: f20ab6f576c360e3014bbdb74522b858cfe1c502418c1c740897fea39d536371
+          dce_ast: f20ab6f576c360e3014bbdb74522b858cfe1c502418c1c740897fea39d536371
           bytecode: bbabb76319d2c69ed28a19090796ad7f974be74a1ef138d0cc58507cc4787632
           errors: ""
           warnings: ""

tests/expectations/compiler/constants/constant_finalize.out

@@ -9,10 +9,10 @@ outputs:
           initial_ast: 3c93df9e002456e3280997e691a26070059d00b3360aedfa21eadbf6ac874d55
           unrolled_ast: c7e2d16c2f3925ca9c070c3c5e732afa2da488bec9913c2c1d60253fb3864e58
           ssa_ast: 86d0e28c9fb58f62f297380f63bb1d82dbd31dea4b3bacaf2b78def816cc40f7
-          flattened_ast: f4dacdcab926d687a4f80ac491f9d8be747f18f067db603f35ccbd9800804fde
-          destructured_ast: 3324379561b920162a9510e6608a5f4f4f4f7be8df7507897292d26261a4f48f
-          inlined_ast: 3324379561b920162a9510e6608a5f4f4f4f7be8df7507897292d26261a4f48f
-          dce_ast: 3324379561b920162a9510e6608a5f4f4f4f7be8df7507897292d26261a4f48f
+          flattened_ast: b0641041e7a396617bef2977459d151e2d6a300128ee8ddd369fcd6625839e2f
+          destructured_ast: 461f5b8b8a43846985ed0d7222683bcd65a9edaf22514c52153cd993c54b2fc5
+          inlined_ast: 461f5b8b8a43846985ed0d7222683bcd65a9edaf22514c52153cd993c54b2fc5
+          dce_ast: 461f5b8b8a43846985ed0d7222683bcd65a9edaf22514c52153cd993c54b2fc5
           bytecode: 34335e40c3ca26e00044d055cc0cb8d262fce1ac49a4940b36b1136e0772d305
           errors: ""
           warnings: ""

tests/expectations/compiler/examples/basic_bank.out

@@ -9,10 +9,10 @@ outputs:
           initial_ast: 579697d492aea0987211cee47e9c9f2071010c3231a95a51d7f74c553fee7f10
           unrolled_ast: b6dd96e88085733fd3ac7edee137e379c158c987570e453f68acbb71465ca781
           ssa_ast: 69fe5fe4fa856413a0e16e9c28dd3f280d90a0ed936324f4ebeea49f4acc90ee
-          flattened_ast: a71aa3203192639eb05b7a2074230211002d5cda95c2e05383b2b187491c7ac0
-          destructured_ast: ae1b58fb26a8532993ab2eb9f3baae3f5ad718aa99bfdb794690883f4ecf719a
-          inlined_ast: ebcb03ac587c9b1c75dac698ba51b92a17c864b1b414c81c227154735d0d986b
-          dce_ast: ebcb03ac587c9b1c75dac698ba51b92a17c864b1b414c81c227154735d0d986b
+          flattened_ast: b8373a67cec47aaa29dcae943ccd792ecad4d44685a0014974d0d693b8cc292a
+          destructured_ast: 866a655f2e4ee44c5b59fb0992a180ffb58c915f69bd38bc3e85de53e92a43d4
+          inlined_ast: 1ac1f8e17906032a4bc475919c5cfe874ba71ee3c6f40587406f7ad03e1f87f3
+          dce_ast: 1ac1f8e17906032a4bc475919c5cfe874ba71ee3c6f40587406f7ad03e1f87f3
           bytecode: 799c84f9a28bcdd1cb72269b56baae0905a136fc2d041745fb7ae52c9958b24e
           errors: ""
           warnings: ""

tests/expectations/compiler/examples/lottery.out

@@ -9,10 +9,10 @@ outputs:
           initial_ast: 21db026676b02baa0d131a215daa74249bb578f1768855ffce41b09458340033
           unrolled_ast: 21db026676b02baa0d131a215daa74249bb578f1768855ffce41b09458340033
           ssa_ast: 7b3a647dfdd6ef643d5710df4ead3b98d93025b1f0264382bfff2c24e55d1cb8
-          flattened_ast: e552d82aad18b816cfdb8711f5b6f80c967775112b3ef2cf4d5ee712e0339106
-          destructured_ast: be725f4ba9212e153a2ddf8a6f770c58d7a2b1b29a5e826f21435f68fba82578
-          inlined_ast: be725f4ba9212e153a2ddf8a6f770c58d7a2b1b29a5e826f21435f68fba82578
-          dce_ast: be725f4ba9212e153a2ddf8a6f770c58d7a2b1b29a5e826f21435f68fba82578
+          flattened_ast: 193844518c7bfd7e01d698a52bdbcf70c82a1937ee507adf4d00f390f84df91d
+          destructured_ast: 9be589c8b8617ea2c31b32e8250e14faaae9009aa0361f54b0d3a96891fffe35
+          inlined_ast: 9be589c8b8617ea2c31b32e8250e14faaae9009aa0361f54b0d3a96891fffe35
+          dce_ast: 9be589c8b8617ea2c31b32e8250e14faaae9009aa0361f54b0d3a96891fffe35
           bytecode: ec9d10d78356538cf9f94bc46c20c33001a05100906259e217eeea2cfd0c4a66
           errors: ""
           warnings: ""

tests/expectations/compiler/examples/token.out

@@ -9,10 +9,10 @@ outputs:
           initial_ast: 2b4311f224203d0a83a9e7821524e46bef0eaacd87717329fe86696cad6f2a61
           unrolled_ast: 2b4311f224203d0a83a9e7821524e46bef0eaacd87717329fe86696cad6f2a61
           ssa_ast: b46417bdbf9c7dfd30150e16923bb7e5f1e5699489867c606be254917abbc90d
-          flattened_ast: a00704d16fc88fb9485a4e0420b68ca30eac03b9f52923df06c058593c6da195
-          destructured_ast: 614e4825a4c9ed7f5b0bdbc86506e91b5386eb2c7e6201c931d05cd69fb36043
-          inlined_ast: 614e4825a4c9ed7f5b0bdbc86506e91b5386eb2c7e6201c931d05cd69fb36043
-          dce_ast: 614e4825a4c9ed7f5b0bdbc86506e91b5386eb2c7e6201c931d05cd69fb36043
+          flattened_ast: f0b5e38b1d67cacf61841efb72898b80adc6539916f6ac422ce081ef68c982a3
+          destructured_ast: a889ad3b5a7b176755be2efe3b31fe968185bc67326725731912c3b3b29f44e5
+          inlined_ast: a889ad3b5a7b176755be2efe3b31fe968185bc67326725731912c3b3b29f44e5
+          dce_ast: a889ad3b5a7b176755be2efe3b31fe968185bc67326725731912c3b3b29f44e5
           bytecode: 379643d6f93f6040c0bb64ea96345269a23d6fb23fa3eae46ceb8e9ea9c73f9a
           errors: ""
           warnings: ""

tests/expectations/compiler/examples/vote.out

@@ -9,10 +9,10 @@ outputs:
           initial_ast: 4fd9a923fcf8c5a2f2d02c9b831bd039180254769e92a3ae03da2216775f7e63
           unrolled_ast: 9329eff974f22dc5fbea357bc1336d823ad12d87851e61d509f9a22b3941ddd6
           ssa_ast: 217effef6281efd10a94925fbe5237172eac4d96433885e491588f2f1a46e55a
-          flattened_ast: 9b2ff8a6bdb6756fb02559df1b6793570aeeac5d8c45186f573528e8556d07c0
-          destructured_ast: bdddbe221634c8e1dcf817fa4b336264abd26e7b156d90f03ae2f1f0076acdf6
-          inlined_ast: bdddbe221634c8e1dcf817fa4b336264abd26e7b156d90f03ae2f1f0076acdf6
-          dce_ast: bdddbe221634c8e1dcf817fa4b336264abd26e7b156d90f03ae2f1f0076acdf6
+          flattened_ast: 39efd06c99e424ad701195c858045a8d5f2053704f8c1f6d1b2bf063dd5a8b6e
+          destructured_ast: 4bdfb095faa307bb502cbc6cf7e73be0b3a7c57dd646818e37b9e2287fdc5619
+          inlined_ast: 4bdfb095faa307bb502cbc6cf7e73be0b3a7c57dd646818e37b9e2287fdc5619
+          dce_ast: 4bdfb095faa307bb502cbc6cf7e73be0b3a7c57dd646818e37b9e2287fdc5619
           bytecode: 0c73fbf3a08f7b89b82fc3189771704f58740f37c41f9c5aa7aef2a808badf9b
           errors: ""
           warnings: ""

tests/expectations/compiler/finalize/block_height.out

@@ -9,10 +9,10 @@ outputs:
           initial_ast: 42f2b37c4ed365be1f60aed2ef9830376dcb2edfab050789b7b63b7e5e75dbbc
           unrolled_ast: 42f2b37c4ed365be1f60aed2ef9830376dcb2edfab050789b7b63b7e5e75dbbc
           ssa_ast: bdfdc3e00a555dc9e5fbaa42bbfd195e59ce08919324835b0b3922f9f20f7f12
-          flattened_ast: f0eb10f3368c93edddd730646118d23bcb52b80d8f68719a244d51c649f820ac
-          destructured_ast: 8e6f5c329820ec4e92fbd99b4cc3280ac2477630302003365fe9f644417ca804
-          inlined_ast: 8e6f5c329820ec4e92fbd99b4cc3280ac2477630302003365fe9f644417ca804
-          dce_ast: 8e6f5c329820ec4e92fbd99b4cc3280ac2477630302003365fe9f644417ca804
+          flattened_ast: 89b58e39475ffe0eea08e113dd18f64c7a7393466b552a3f8c13ff0b056e1f9e
+          destructured_ast: 223777746d28dc732ec1c439f189723a16e1e8b154e7ccb813f386d4f981533e
+          inlined_ast: 223777746d28dc732ec1c439f189723a16e1e8b154e7ccb813f386d4f981533e
+          dce_ast: 223777746d28dc732ec1c439f189723a16e1e8b154e7ccb813f386d4f981533e
           bytecode: 6e4a8aeaf3eabc361bf427126c0a7f35c64030fb9c8f66e178c7c05bbede1c48
           errors: ""
           warnings: ""

tests/expectations/compiler/finalize/contains.out

@@ -9,10 +9,10 @@ outputs:
           initial_ast: 00ae8cc302ee7025d063eee1c9ea9b9589cb9e4b94028b931f085c44041032cb
           unrolled_ast: 00ae8cc302ee7025d063eee1c9ea9b9589cb9e4b94028b931f085c44041032cb
           ssa_ast: ca540994be2e1cb0cdf6b3473d90ed778c7c1a2070ad82183f74625d586f8eb3
-          flattened_ast: af70353b9c96a1cfe61605303f6363ee8ab283b59ac0a18ea5006b20b222c199
-          destructured_ast: 4980be46ab5007df59342e1f8802efade3cc04e77ed0b6dfa97004e492edfb78
-          inlined_ast: 4980be46ab5007df59342e1f8802efade3cc04e77ed0b6dfa97004e492edfb78
-          dce_ast: 4980be46ab5007df59342e1f8802efade3cc04e77ed0b6dfa97004e492edfb78
+          flattened_ast: 11838c4a3782a59a2e77c3306aa3475e54c1410cde6285362b271fdf4cf5fa5d
+          destructured_ast: a67f729fc54ce1e2977bbe1587525830f4241a14686f4e0feda909837e8b52cb
+          inlined_ast: a67f729fc54ce1e2977bbe1587525830f4241a14686f4e0feda909837e8b52cb
+          dce_ast: a67f729fc54ce1e2977bbe1587525830f4241a14686f4e0feda909837e8b52cb
           bytecode: 2560848929684abb429a7de8a2ff0368fa2ea939f25ae84851be67374b652e8e
           errors: ""
           warnings: ""

tests/expectations/compiler/finalize/decrement_via_get_set.out

@@ -9,10 +9,10 @@ outputs:
           initial_ast: 726a9bcb5c98d56a65e14cd1362d48835ffcafadacdb98a5ad0bf38eb5b92aec
           unrolled_ast: 726a9bcb5c98d56a65e14cd1362d48835ffcafadacdb98a5ad0bf38eb5b92aec
           ssa_ast: 6bc87e36f16e5f3353309d2c7280f0eda43c8cecc2f28d96a29f79afa28bbe5f
-          flattened_ast: 102791ff2b41f6e0620ec61874abe4b49e9977b1161a08fd342f208cb8e14486
-          destructured_ast: c73fed24711eaf8f1465cbb59c7df6639f51bda5ebb21da0d39d9eb71fafd723
-          inlined_ast: c73fed24711eaf8f1465cbb59c7df6639f51bda5ebb21da0d39d9eb71fafd723
-          dce_ast: c73fed24711eaf8f1465cbb59c7df6639f51bda5ebb21da0d39d9eb71fafd723
+          flattened_ast: b01c3a3665fd88014a5101ef271a05683ce5ab89e41b65e114063e7e1aaafbd0
+          destructured_ast: 37efc9d90f347320c70a6809241651d3de45b38636db25f9b5340da850773867
+          inlined_ast: 37efc9d90f347320c70a6809241651d3de45b38636db25f9b5340da850773867
+          dce_ast: 37efc9d90f347320c70a6809241651d3de45b38636db25f9b5340da850773867
           bytecode: bbef5ec539b8616fe91e41c03c8ea6a71dfd3cb9731e634919bc8356e6664594
           errors: ""
           warnings: ""

tests/expectations/compiler/finalize/finalize.out

@@ -9,10 +9,10 @@ outputs:
           initial_ast: 6cf15b0de9fdcf8d9de46628aeeeacbaaddc8e1452ec1aeb447e94da0a336fb1
           unrolled_ast: 6cf15b0de9fdcf8d9de46628aeeeacbaaddc8e1452ec1aeb447e94da0a336fb1
           ssa_ast: 900b75b5aa816680c3cc9133ee530df22f3d8e9a555b77e7b66f32d7243fe542
-          flattened_ast: 91dd5cecad4aa325475573c3ac8fc34c82d81ae4114c9f02cf9f5f60bafc9aef
-          destructured_ast: 86c18064b28556713063dd40006db5c2ddbc814c0624401a9af4e1014f68d216
-          inlined_ast: 86c18064b28556713063dd40006db5c2ddbc814c0624401a9af4e1014f68d216
-          dce_ast: 86c18064b28556713063dd40006db5c2ddbc814c0624401a9af4e1014f68d216
+          flattened_ast: 4c56f909392df5a8ac9cb24ceae20165ecd1d30fdb1dc88aa3e4660315a6da4f
+          destructured_ast: 696f4451f27a13ab77ca168643feac9cd463bf1bd047f2537251d5bb4668dc15
+          inlined_ast: 696f4451f27a13ab77ca168643feac9cd463bf1bd047f2537251d5bb4668dc15
+          dce_ast: 696f4451f27a13ab77ca168643feac9cd463bf1bd047f2537251d5bb4668dc15
           bytecode: 33d8ca1b78918f26980919a4a8b332fb9b375ac476b64636a387fdab715d4ed9
           errors: ""
           warnings: ""

tests/expectations/compiler/finalize/finalize_with_method_calls.out

@@ -9,10 +9,10 @@ outputs:
           initial_ast: 50d96bc477a8528b09993639f92c505b7b91eed0f634f8a982741113bd0912d1
           unrolled_ast: 50d96bc477a8528b09993639f92c505b7b91eed0f634f8a982741113bd0912d1
           ssa_ast: ab8bfadeab820ffabb413af8450b081200ecc0074e335dc9d2ce0194153ed826
-          flattened_ast: 3151a26a35fc39acb1bd78005a6c00299c72c1bb168a73196cf10b7a3f31512f
-          destructured_ast: f648e6e0170a73ac78c50a2ca22d08e035e21f70895dbd350471c3e498423143
-          inlined_ast: f648e6e0170a73ac78c50a2ca22d08e035e21f70895dbd350471c3e498423143
-          dce_ast: f648e6e0170a73ac78c50a2ca22d08e035e21f70895dbd350471c3e498423143
+          flattened_ast: 25598ac625d5475e543b524f26874bdb4c3255ceb2a12ffe96772ef1ddb077eb
+          destructured_ast: 738d3b0e9066c9efab62de7008b06472f4018606bc21f1637878f886dc1fbfe0
+          inlined_ast: 738d3b0e9066c9efab62de7008b06472f4018606bc21f1637878f886dc1fbfe0
+          dce_ast: 738d3b0e9066c9efab62de7008b06472f4018606bc21f1637878f886dc1fbfe0
           bytecode: e9bcea998f0ff492fb57deabfcf08c4ed3f854880b595f17c9aa89181feb3764
           errors: ""
           warnings: ""

tests/expectations/compiler/finalize/increment_via_get_set.out

@@ -9,10 +9,10 @@ outputs:
           initial_ast: 329d475959c785e4434b657951d60a67b5623a3994873f0530230155ffa35d80
           unrolled_ast: 329d475959c785e4434b657951d60a67b5623a3994873f0530230155ffa35d80
           ssa_ast: a1b7f65d63f9d63f50b4d769b48b87abcc6d20d0b69347c3b8f0cb84a7dc3ff8
-          flattened_ast: badcea479106d411e219a6d3aca622de1d9e3e2c129b60efbad59eb73b336529
-          destructured_ast: e44205fe03136f850d4c1f66203ad6c42f1c7b4122fcb113af4071ebbbe426f6
-          inlined_ast: e44205fe03136f850d4c1f66203ad6c42f1c7b4122fcb113af4071ebbbe426f6
-          dce_ast: e44205fe03136f850d4c1f66203ad6c42f1c7b4122fcb113af4071ebbbe426f6
+          flattened_ast: b5b0350ac623337c8e950bf82816b918b5cac1584217aa99b721053fe720ba81
+          destructured_ast: a55b2d9f9fa6663974244752982b20c05595b69af772527c71af30eb2aabf0c3
+          inlined_ast: a55b2d9f9fa6663974244752982b20c05595b69af772527c71af30eb2aabf0c3
+          dce_ast: a55b2d9f9fa6663974244752982b20c05595b69af772527c71af30eb2aabf0c3
           bytecode: 10e754c190939dcffa342c5eef2be0dcb73ef1a9b4391a99e963db6dc61bd38a
           errors: ""
           warnings: ""

tests/expectations/compiler/finalize/inline_in_finalize.out

@@ -9,10 +9,10 @@ outputs:
           initial_ast: 439dc6e864f8346a6d8d8d0d663b622523a4f4073e7f618f8a3b48af57751117
           unrolled_ast: 439dc6e864f8346a6d8d8d0d663b622523a4f4073e7f618f8a3b48af57751117
           ssa_ast: 1691648d977f1ed92edd89210e0e32beac43e921e61f097c9e2d48cdcb7a1c79
-          flattened_ast: 161e05f17750487cfcbe37b099a9ca694c90fd6d4de62b652dc0a3a28f906fd3
-          destructured_ast: fc770d497d05cf52fa18d8cae7a160d92f42b6e530412e943be032b57fde0333
-          inlined_ast: 1a8009ee940ed404ee0ec79951f2f6578c890d997c6f2bdbd6be07bf6cb83632
-          dce_ast: 1a8009ee940ed404ee0ec79951f2f6578c890d997c6f2bdbd6be07bf6cb83632
+          flattened_ast: dd7f9e0af0170d189f5fbf9851309261fc50e588df70bd84b2891908cb1498dc
+          destructured_ast: 84d63fc5bdc9cdbb44ad8464493b4cb41620e6f600662a71bed01814c1b05e72
+          inlined_ast: 4b94a98b94b15a327d9355602fc0506dea40f05ddc49198b29e34799df1c05ba
+          dce_ast: 4b94a98b94b15a327d9355602fc0506dea40f05ddc49198b29e34799df1c05ba
           bytecode: 643990908e94b8c16515df0d5dcd64918c17b356ad82d652cd9d6504089c49f0
           errors: ""
           warnings: ""