* added stack space optimization using closures,

Author: nabeel99

lang/syn/src/codegen/accounts/constraints.rs

@@ -545,7 +545,7 @@ fn generate_constraint_init_group(
                 // Define the bump and pda variable.
                 #find_pda
 
-                let #field: #ty_decl = {
+                let #field: #ty_decl = (||{
                     // Checks that all the required accounts for this operation are present.
                     #optional_checks
 
@@ -579,8 +579,8 @@ fn generate_constraint_init_group(
                             return Err(anchor_lang::error::Error::from(anchor_lang::error::ErrorCode::ConstraintTokenTokenProgram).with_account_name(#name_str).with_pubkeys((*owner_program, #token_program.key())));
                         }
                     }
-                    pa
-                };
+                    Ok(pa)
+                })()?;
             }
         }
         InitKind::AssociatedToken {
@@ -616,7 +616,7 @@ fn generate_constraint_init_group(
                 // Define the bump and pda variable.
                 #find_pda
 
-                let #field: #ty_decl = {
+                let #field: #ty_decl = (||{
                     // Checks that all the required accounts for this operation are present.
                     #optional_checks
 
@@ -652,8 +652,8 @@ fn generate_constraint_init_group(
                             return Err(anchor_lang::error::Error::from(anchor_lang::error::ErrorCode::AccountNotAssociatedTokenAccount).with_account_name(#name_str));
                         }
                     }
-                    pa
-                };
+                    Ok(pa)
+                })()?;
             }
         }
         InitKind::Mint {
@@ -1012,7 +1012,7 @@ fn generate_constraint_init_group(
                 // Define the bump variable.
                 #find_pda
 
-                let #field = {
+                let #field = (||{
                     // Checks that all the required accounts for this operation are present.
                     #optional_checks
 
@@ -1057,8 +1057,8 @@ fn generate_constraint_init_group(
                     }
 
                     // Done.
-                    pa
-                };
+                    Ok(pa)
+                })()?;
             }
         }
     }

tests/zero-copy/programs/zero-copy/src/lib.rs

@@ -101,6 +101,114 @@ pub struct CreateBar<'info> {
         space = Bar::LEN + 8
     )]
     bar: AccountLoader<'info, Bar>,
+    #[account(
+        init,
+        payer = authority, owner = ID,
+        space = Bar::LEN + 8
+    )]
+    bar_3: AccountLoader<'info, Bar>,
+    #[account(
+        init,
+        payer = authority, owner = ID,
+        space = Bar::LEN + 8
+    )]
+    bar_4: AccountLoader<'info, Bar>,
+    #[account(
+        init,
+        payer = authority, owner = ID,
+        space = Bar::LEN + 8
+    )]
+    bar_5: AccountLoader<'info, Bar>,
+    #[account(
+        init,
+        payer = authority, owner = ID,
+        space = Bar::LEN + 8
+    )]
+    bar_6: AccountLoader<'info, Bar>,
+    #[account(
+        init,
+        payer = authority, owner = ID,
+        space = Bar::LEN + 8
+    )]
+    bar_7: AccountLoader<'info, Bar>,
+    #[account(
+        init,
+        payer = authority, owner = ID,
+        space = Bar::LEN + 8
+    )]
+    bar_8: AccountLoader<'info, Bar>,
+    #[account(
+        init,
+        payer = authority, owner = ID,
+        space = Bar::LEN + 8
+    )]
+    bar_9: AccountLoader<'info, Bar>,
+    #[account(
+        init,
+        payer = authority, owner = ID,
+        space = Bar::LEN + 8
+    )]
+    bar_10: AccountLoader<'info, Bar>,
+    #[account(
+        init,
+        payer = authority, owner = ID,
+        space = Bar::LEN + 8
+    )]
+    bar_11: AccountLoader<'info, Bar>,
+    #[account(
+        init,
+        payer = authority, owner = ID,
+        space = Bar::LEN + 8
+    )]
+    bar_12: AccountLoader<'info, Bar>,
+    #[account(
+        init,
+        payer = authority, owner = ID,
+        space = Bar::LEN + 8
+    )]
+    bar_13: AccountLoader<'info, Bar>,
+    #[account(
+        init,
+        payer = authority, owner = ID,
+        space = Bar::LEN + 8
+    )]
+    bar_14: AccountLoader<'info, Bar>,
+    #[account(
+        init,
+        payer = authority, owner = ID,
+        space = Bar::LEN + 8
+    )]
+    bar_15: AccountLoader<'info, Bar>,
+    #[account(
+        init,
+        payer = authority, owner = ID,
+        space = Bar::LEN + 8
+    )]
+    bar_16: AccountLoader<'info, Bar>,
+    #[account(
+        init,
+        payer = authority, owner = ID,
+        space = Bar::LEN + 8
+    )]
+    bar_17: AccountLoader<'info, Bar>,
+    #[account(
+        init,
+        payer = authority, owner = ID,
+        space = Bar::LEN + 8
+    )]
+    bar_18: AccountLoader<'info, Bar>,
+    #[account(
+        init,
+        payer = authority, owner = ID,
+        space = Bar::LEN + 8
+    )]
+    bar_19: AccountLoader<'info, Bar>,
+    #[account(
+        init,
+        payer = authority, owner = ID,
+        space = Bar::LEN + 8
+    )]
+    bar_20: AccountLoader<'info, Bar>,
     #[account(mut)]
     authority: Signer<'info>,
     foo: AccountLoader<'info, Foo>,