Adds test proving #6858 is fixed.

test/src/e2e_vm_tests/test_programs/should_pass/stdlib/asset_id_into_bytes/Forc.lock

@@ -0,0 +1,13 @@
+[[package]]
+name = "asset_id_into_bytes"
+source = "member"
+dependencies = ["std"]
+
+[[package]]
+name = "core"
+source = "path+from-root-F9E4FAEF7F341E13"
+
+[[package]]
+name = "std"
+source = "path+from-root-F9E4FAEF7F341E13"
+dependencies = ["core"]

test/src/e2e_vm_tests/test_programs/should_pass/stdlib/asset_id_into_bytes/Forc.toml

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

test/src/e2e_vm_tests/test_programs/should_pass/stdlib/asset_id_into_bytes/src/main.sw

@@ -0,0 +1,67 @@
+script;
+
+fn main() -> bool {
+    let bits = 0x8900c5bec4ca97d4febf9ceb4754a60d782abbf3cd815836c1872116f203f861;
+
+    let _bits3 = 0x1000000000000000_0000000000000000_0000000000000000_0000000000000000;
+    let _bits4 = 0x1000000000000000_0000000000000000_00000000000000000_000000000000000;
+
+    // test from()
+    let addr = Address::from(bits);
+    assert(addr.bits() == bits);
+
+    // test into()
+    let new_bits:b256 = addr.into();
+    assert(new_bits == bits);
+
+    // test Eq
+    let addr1 = Address::from(0x0000000000000000_0000000000000000_0000000000000000_0000000000000000);
+    let addr2 = Address::from(0x0000000000000000_0000000000000000_0000000000000000_0000000000000000);
+    let addr3 = Address::from(0x1000000000000000_0000000000000000_0000000000000000_0000000000000000);
+    let addr4 = Address::from(0x1000000000000000_0000000000000000_0000000000000000_0000000000000000);
+    let addr5 = Address::from(0x0000000000000000_1000000000000000_0000000000000000_0000000000000000);
+    let addr6 = Address::from(0x0000000000000000_1000000000000000_0000000000000000_0000000000000000);
+    let addr7 = Address::from(0x0000000000000000_0000000000000000_1000000000000000_0000000000000000);
+    let addr8 = Address::from(0x0000000000000000_0000000000000000_1000000000000000_0000000000000000);
+    let addr9 = Address::from(0x0000000000000000_0000000000000000_0000000000000000_1000000000000000);
+    let addrA = Address::from(0x0000000000000000_0000000000000000_0000000000000000_1000000000000000);
+    let addrB = Address::from(0x0000000000000000_0000000000000000_0000000000000000_0000000000000001);
+    let addrC = Address::from(0x0000000000000000_0000000000000000_0000000000000000_0000000000000001);
+    let addrD = Address::from(0x0000001000000000_0010000000000000_0000000001000000_0000000100000000);
+    let addrE = Address::from(0x0000001000000000_0010000000000000_0000000001000000_0000000100000000);
+
+    assert(addr1 == addr2);
+    assert(addr3 == addr4);
+    assert(addr5 == addr6);
+    assert(addr7 == addr8);
+    assert(addr9 == addrA);
+    assert(addrB == addrC);
+    assert(addrD == addrE);
+
+    assert(!(addr1 == addr3));
+    assert(!(addr1 == addr5));
+    assert(!(addr1 == addr7));
+    assert(!(addr1 == addr9));
+    assert(!(addr1 == addrB));
+    assert(!(addr1 == addrD));
+
+    assert(!(addr3 == addr5));
+    assert(!(addr3 == addr7));
+    assert(!(addr3 == addr9));
+    assert(!(addr3 == addrB));
+    assert(!(addr3 == addrD));
+
+    assert(!(addr5 == addr7));
+    assert(!(addr5 == addr9));
+    assert(!(addr5 == addrB));
+    assert(!(addr5 == addrD));
+
+    assert(!(addr7 == addr9));
+    assert(!(addr7 == addrB));
+    assert(!(addr7 == addrD));
+
+    assert(!(addr9 == addrB));
+    assert(!(addr9 == addrD));
+
+    true
+}

test/src/e2e_vm_tests/test_programs/should_pass/stdlib/asset_id_into_bytes/test.toml

@@ -0,0 +1,4 @@
+category = "run"
+expected_result = { action = "return", value = 1 }
+expected_result_new_encoding = { action = "return_data", value = "01" }
+validate_abi = false