Add a test to verify the order of Option variants (FuelLabs#2334)

Added test to check for none in storagemap

test/src/sdk-harness/test_projects/harness.rs

@@ -8,6 +8,7 @@ mod exponentiation;
 mod hashing;
 mod logging;
 mod methods;
+mod option_field_order;
 mod predicate_data_simple;
 mod predicate_data_struct;
 mod reentrancy;

test/src/sdk-harness/test_projects/option_field_order/Forc.lock

@@ -0,0 +1,14 @@
+[[package]]
+name = 'core'
+source = 'path+from-root-9CF9D5A3681400C0'
+dependencies = []
+
+[[package]]
+name = 'option_field_order'
+source = 'root'
+dependencies = ['std']
+
+[[package]]
+name = 'std'
+source = 'path+from-root-9CF9D5A3681400C0'
+dependencies = ['core']

test/src/sdk-harness/test_projects/option_field_order/Forc.toml

@@ -0,0 +1,8 @@
+[project]
+authors = ["Fuel Labs <[email protected]>"]
+entry = "main.sw"
+license = "Apache-2.0"
+name = "option_field_order"
+
+[dependencies]
+std = { path = "../../../../../sway-lib-std" }

test/src/sdk-harness/test_projects/option_field_order/mod.rs

@@ -0,0 +1,31 @@
+use fuels::prelude::*;
+
+abigen!(
+    MyContract,
+    "test_projects/option_field_order/out/debug/option_field_order-abi.json"
+);
+
+#[tokio::test]
+async fn default_is_none() {
+    let instance = setup().await;
+    assert!(instance.is_none().call().await.unwrap().value);
+}
+
+async fn setup() -> MyContract {
+    let wallet = launch_provider_and_get_wallet().await;
+
+    let id = Contract::deploy(
+        "test_projects/option_field_order/out/debug/option_field_order.bin",
+        &wallet,
+        TxParameters::default(),
+        StorageConfiguration::with_storage_path(Some(
+            "test_projects/option_field_order/out/debug/option_field_order-storage_slots.json".to_string(),
+        )),
+    )
+    .await
+    .unwrap();
+
+    let instance = MyContract::new(id.to_string(), wallet);
+
+    instance
+}

test/src/sdk-harness/test_projects/option_field_order/src/main.sw

@@ -0,0 +1,23 @@
+contract;
+
+use std::{option::Option, storage::StorageMap};
+
+struct Data {
+    value: u64
+}
+
+storage {
+    value: StorageMap<u64, Option<Data>> = StorageMap {}
+}
+
+abi MyContract {
+    #[storage(read)]
+    fn is_none() -> bool;
+}
+
+impl MyContract for Contract {
+    #[storage(read)]
+    fn is_none() -> bool {
+        storage.value.get(0).is_none()
+    }
+}