fix: bounced message size validation for fixed-size slices (#3129)

Author: hazyone

dev-docs/CHANGELOG.md

@@ -7,6 +7,8 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+- [fix] Added fixed-bytes support to bounced message size calculations
+
 ### Docs
 
 - Changed the title of the "Gas-expensive" badge to "500+ gas" to avoid confusion when discussing relative gas-efficiency: PR [#3120](https://github.com/tact-lang/tact/pull/3120)

src/types/__snapshots__/resolveStatements.spec.ts.snap

@@ -81,6 +81,15 @@ exports[`resolveStatements should fail statements for bounced-type-is-smaller 1`
 "
 `;
 
+exports[`resolveStatements should fail statements for bounced-type-is-smaller-in-bytes 1`] = `
+"<unknown>:18:22: Maximum size of the bounced message is 224 bits, but the "a" field of type "A" cannot fit into it because its too big, so it cannot be accessed. Reduce the type of this field so that it fits into 224 bits
+  17 |   bounced(src: bounced<A>) {
+> 18 |     let x: Int = src.a;
+                            ^
+  19 |   }
+"
+`;
+
 exports[`resolveStatements should fail statements for call-non-optional-method-on-optional 1`] = `
 "<unknown>:10:13: Cannot call method "isNotNone" on an expression of type "Address?" (optional Address) without unwrapping it with "!!" first
    9 |     receive() {

src/types/resolveDescriptors.ts

@@ -2460,14 +2460,16 @@ function resolvePartialFields(ctx: CompilerContext, type: TypeDescription) {
 
         let fieldBits = f.abi.type.optional ? 1 : 0;
 
-        // TODO handle fixed-bytes
-        if (Number.isInteger(f.abi.type.format)) {
-            fieldBits += f.abi.type.format as number;
-        } else if (f.abi.type.format === "coins") {
+        const { type, format } = f.abi.type;
+
+        if (Number.isInteger(format)) {
+            const amount = format as number;
+            fieldBits += type === "fixed-bytes" ? amount * 8 : amount;
+        } else if (format === "coins") {
             fieldBits += 124;
-        } else if (f.abi.type.type === "address") {
+        } else if (type === "address") {
             fieldBits += 267;
-        } else if (f.abi.type.type === "bool") {
+        } else if (type === "bool") {
             fieldBits += 1;
         } else {
             // Unsupported - all others (slice, builder, nested structs, maps)

src/types/stmts-failed/bounced-type-is-smaller-in-bytes.tact

@@ -0,0 +1,20 @@
+primitive Slice;
+
+trait BaseTrait {
+
+}
+
+message A {
+  a: Slice as bytes32;
+}
+
+contract Test {
+  init() {}
+  receive(src: A) {
+
+  }
+
+  bounced(src: bounced<A>) {
+    let x: Int = src.a;
+  }
+}