fix #198

Author: TomWambsgans

crates/lean_vm/src/tables/execution/mod.rs

@@ -42,16 +42,17 @@ impl<const BUS: bool> TableT for ExecutionTable<BUS> {
         ]
     }
 
+    #[allow(clippy::vec_init_then_push)] // https://github.com/leanEthereum/leanMultisig/issues/198
     fn bus(&self) -> Bus {
+        let mut data = Vec::with_capacity(4);
+        data.push(BusData::Column(COL_PRECOMPILE_DATA));
+        data.push(BusData::Column(COL_EXEC_NU_A));
+        data.push(BusData::Column(COL_EXEC_NU_B));
+        data.push(BusData::Column(COL_EXEC_NU_C));
         Bus {
             direction: BusDirection::Push,
             selector: COL_IS_PRECOMPILE,
-            data: vec![
-                BusData::Column(COL_PRECOMPILE_DATA),
-                BusData::Column(COL_EXEC_NU_A),
-                BusData::Column(COL_EXEC_NU_B),
-                BusData::Column(COL_EXEC_NU_C),
-            ],
+            data,
         }
     }
 

crates/lean_vm/src/tables/extension_op/mod.rs

@@ -106,16 +106,17 @@ impl<const BUS: bool> TableT for ExtensionOpPrecompile<BUS> {
         ]
     }
 
+    #[allow(clippy::vec_init_then_push)] // https://github.com/leanEthereum/leanMultisig/issues/198
     fn bus(&self) -> Bus {
+        let mut data = Vec::with_capacity(4);
+        data.push(BusData::Column(COL_AUX_EXTENSION_OP));
+        data.push(BusData::Column(COL_IDX_A));
+        data.push(BusData::Column(COL_IDX_B));
+        data.push(BusData::Column(COL_IDX_RES));
         Bus {
             direction: BusDirection::Pull,
             selector: COL_ACTIVATION_FLAG,
-            data: vec![
-                BusData::Column(COL_AUX_EXTENSION_OP),
-                BusData::Column(COL_IDX_A),
-                BusData::Column(COL_IDX_B),
-                BusData::Column(COL_IDX_RES),
-            ],
+            data,
         }
     }
 

crates/lean_vm/src/tables/poseidon_16/mod.rs

@@ -130,16 +130,17 @@ impl<const BUS: bool> TableT for Poseidon16Precompile<BUS> {
         ]
     }
 
+    #[allow(clippy::vec_init_then_push)] // https://github.com/leanEthereum/leanMultisig/issues/198
     fn bus(&self) -> Bus {
+        let mut data = Vec::with_capacity(4);
+        data.push(BusData::Constant(POSEIDON_PRECOMPILE_DATA));
+        data.push(BusData::Column(POSEIDON_16_COL_INDEX_INPUT_LEFT));
+        data.push(BusData::Column(POSEIDON_16_COL_INDEX_INPUT_RIGHT));
+        data.push(BusData::Column(POSEIDON_16_COL_INDEX_INPUT_RES));
         Bus {
             direction: BusDirection::Pull,
             selector: POSEIDON_16_COL_FLAG,
-            data: vec![
-                BusData::Constant(POSEIDON_PRECOMPILE_DATA),
-                BusData::Column(POSEIDON_16_COL_INDEX_INPUT_LEFT),
-                BusData::Column(POSEIDON_16_COL_INDEX_INPUT_RIGHT),
-                BusData::Column(POSEIDON_16_COL_INDEX_INPUT_RES),
-            ],
+            data,
         }
     }