refactor: Use ConstVec for instructions in Executable (#5096)

Signed-off-by: Dmitry Murzin <[email protected]>

crates/iroha_core/src/smartcontracts/isi/triggers/set.rs

@@ -19,6 +19,7 @@ use iroha_data_model::{
     query::error::FindError,
     transaction::WasmSmartContract,
 };
+use iroha_primitives::const_vec::ConstVec;
 use mv::{
     cell::{Block as CellBlock, Cell, Transaction as CellTransaction, View as CellView},
     storage::{
@@ -1012,7 +1013,7 @@ pub enum ExecutableRef {
     /// Loaded WASM
     Wasm(HashOf<WasmSmartContract>),
     /// Vector of ISI
-    Instructions(Vec<InstructionBox>),
+    Instructions(ConstVec<InstructionBox>),
 }
 
 impl core::fmt::Debug for ExecutableRef {

crates/iroha_data_model/src/block.rs

@@ -454,7 +454,7 @@ mod candidate {
             else {
                 return Err("Genesis transaction must contain instructions");
             };
-            let [InstructionBox::Upgrade(_)] = instructions_executor.as_slice() else {
+            let [InstructionBox::Upgrade(_)] = instructions_executor.as_ref() else {
                 return Err(
                     "First transaction must contain single `Upgrade` instruction to set executor",
                 );

crates/iroha_data_model/src/transaction.rs

@@ -30,6 +30,7 @@ use crate::{
 #[model]
 mod model {
     use getset::Getters;
+    use iroha_primitives::const_vec::ConstVec;
 
     use super::*;
     use crate::account::AccountId;
@@ -53,7 +54,7 @@ mod model {
     pub enum Executable {
         /// Ordered set of instructions.
         #[debug(fmt = "{_0:?}")]
-        Instructions(Vec<InstructionBox>),
+        Instructions(ConstVec<InstructionBox>),
         /// WebAssembly smartcontract
         Wasm(WasmSmartContract),
     }

crates/iroha_primitives/src/const_vec.rs

@@ -92,6 +92,16 @@ impl<T: IntoSchema> IntoSchema for ConstVec<T> {
     }
 }
 
+impl<'a, T> IntoIterator for &'a ConstVec<T> {
+    type Item = &'a T;
+
+    type IntoIter = <&'a [T] as IntoIterator>::IntoIter;
+
+    fn into_iter(self) -> Self::IntoIter {
+        self.0.into_iter()
+    }
+}
+
 impl<T> IntoIterator for ConstVec<T> {
     type Item = T;
 
@@ -102,6 +112,13 @@ impl<T> IntoIterator for ConstVec<T> {
     }
 }
 
+impl<T> FromIterator<T> for ConstVec<T> {
+    fn from_iter<I: IntoIterator<Item = T>>(iter: I) -> Self {
+        let vec: Vec<T> = iter.into_iter().collect();
+        Self::new(vec)
+    }
+}
+
 /// Trait to extend `[T]` with a method to convert it to `ConstVec<T>` by analogy with `[T]::to_vec()`.
 pub trait ToConstVec {
     /// The type of the items in the slice.

crates/iroha_schema_gen/src/lib.rs

@@ -192,6 +192,7 @@ types!(
     ConfigurationEventSet,
     ConstString,
     ConstVec<u8>,
+    ConstVec<InstructionBox>,
     CustomInstruction,
     CustomParameter,
     CustomParameterId,