@@ -858,7 +858,7 @@ mod tests {
858858 // Set memory via safe helper.
859859 assert ! ( instance. memory_set( 0 , & [ ] ) . is_err( ) ) ;
860860 // Get memory via safe helper.
861- let mut dst = Vec :: new ( ) ;
861+ let mut dst: Vec < u8 > = Vec :: new ( ) ;
862862 dst. resize ( 65536 , 0 ) ;
863863 // Reading 65536 bytes.
864864 assert ! ( instance. memory_get( 0 , & mut dst) . is_err( ) ) ;
@@ -899,7 +899,7 @@ mod tests {
899899 // Set memory via safe helper.
900900 assert ! ( instance. memory_set( 0 , & [ ] ) . is_err( ) ) ;
901901 // Get memory via safe helper.
902- let mut dst = Vec :: new ( ) ;
902+ let mut dst: Vec < 8 > = Vec :: new ( ) ;
903903 dst. resize ( 65536 , 0 ) ;
904904 // Reading 65536 bytes.
905905 assert ! ( instance. memory_get( 0 , & mut dst) . is_err( ) ) ;
@@ -1042,32 +1042,27 @@ mod tests {
10421042 . expect ( "successful execution" ) ;
10431043 assert ! ( !result. trapped( ) ) ;
10441044
1045- // Read memory (to empty slice) via safe helper.
1046- let mut dst = Vec :: new ( ) ;
1047- assert ! ( instance. memory_get( 0 , & mut dst) . is_ok( ) ) ;
1048- assert ! ( instance. memory_get( 65536 + 65535 , & mut dst) . is_ok( ) ) ;
1049- assert ! ( instance. memory_get( 65536 + 65536 , & mut dst) . is_err( ) ) ;
1050- assert ! ( instance. memory_get( 65536 + 65537 , & mut dst) . is_err( ) ) ;
1051-
1052- // Read short memory via safe helper.
1053- let mut dst = Vec :: new ( ) ;
1054- dst. resize ( 4 , 0 ) ;
1055- assert ! ( instance. memory_get( 0 , & mut dst) . is_ok( ) ) ;
1056- assert ! ( instance. memory_get( 65536 + 65532 , & mut dst) . is_ok( ) ) ;
1057- assert ! ( instance. memory_get( 65536 + 65533 , & mut dst) . is_err( ) ) ;
1058- assert ! ( instance. memory_get( 65536 + 65534 , & mut dst) . is_err( ) ) ;
1059- assert ! ( instance. memory_get( 65536 + 65535 , & mut dst) . is_err( ) ) ;
1060- assert ! ( instance. memory_get( 65536 + 65536 , & mut dst) . is_err( ) ) ;
1061- assert ! ( instance. memory_get( 65536 + 65537 , & mut dst) . is_err( ) ) ;
1062-
10631045 // Read memory via safe helper.
1064- let mut dst = Vec :: new ( ) ;
1046+ let mut dst: Vec < u8 > = Vec :: new ( ) ;
10651047 dst. resize ( 65536 , 0 ) ;
10661048 // Reading 65536 bytes.
10671049 assert ! ( instance. memory_get( 0 , & mut dst) . is_ok( ) ) ;
10681050 // Only checking the first 4.
10691051 assert_eq ! ( dst[ 0 ..4 ] , [ 0x55 , 0x66 , 0x77 , 0x88 ] ) ;
10701052
1071-
1053+ // Read into empty slice.
1054+ assert ! ( instance. memory_get( 0 , & mut dst[ 0 ..0 ] ) . is_ok( ) ) ;
1055+ assert ! ( instance. memory_get( 65536 + 65535 , & mut dst[ 0 ..0 ] ) . is_ok( ) ) ;
1056+ assert ! ( instance. memory_get( 65536 + 65536 , & mut dst[ 0 ..0 ] ) . is_err( ) ) ;
1057+ assert ! ( instance. memory_get( 65536 + 65537 , & mut dst[ 0 ..0 ] ) . is_err( ) ) ;
1058+
1059+ // Read into short slice.
1060+ assert ! ( instance. memory_get( 0 , & mut dst[ 0 ..4 ] ) . is_ok( ) ) ;
1061+ assert ! ( instance. memory_get( 65536 + 65532 , & mut dst[ 0 ..4 ] ) . is_ok( ) ) ;
1062+ assert ! ( instance. memory_get( 65536 + 65533 , & mut dst[ 0 ..4 ] ) . is_err( ) ) ;
1063+ assert ! ( instance. memory_get( 65536 + 65534 , & mut dst[ 0 ..4 ] ) . is_err( ) ) ;
1064+ assert ! ( instance. memory_get( 65536 + 65535 , & mut dst[ 0 ..4 ] ) . is_err( ) ) ;
1065+ assert ! ( instance. memory_get( 65536 + 65536 , & mut dst[ 0 ..4 ] ) . is_err( ) ) ;
1066+ assert ! ( instance. memory_get( 65536 + 65537 , & mut dst[ 0 ..4 ] ) . is_err( ) ) ;
10721067 }
10731068}
0 commit comments