feat: clarify error message for bounced types from which accessed a field that does not fit in 224 bytes

Author: i582

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

@@ -81,7 +81,7 @@ Line 10, col 5:
 `;
 
 exports[`resolveStatements should fail statements for bounced-type-is-smaller 1`] = `
-"<unknown>:23:22: Type bounced<"A"> does not have a field named "c"
+"<unknown>:23:22: Maximum size of the bounced message is 224 bytes, but the "c" field cannot fit into it due to the size of previous fields or its own size, so it cannot be accessed. Make the type of the fields before this one smaller, or reduce the type of this field so that it fits into 224 bytes
 Line 23, col 22:
   22 |     let y: Bool = src.b;
 > 23 |     let z: Int = src.c;
@@ -1238,6 +1238,36 @@ Line 9, col 5:
 "
 `;
 
+exports[`resolveStatements should fail statements for usage-of-bounced-field-in-type-that-is-too-big 1`] = `
+"<unknown>:14:29: Maximum size of the bounced message is 224 bytes, but the "amount" field cannot fit into it due to the size of previous fields or its own size, so it cannot be accessed. Make the type of the fields before this one smaller, or reduce the type of this field so that it fits into 224 bytes
+Line 14, col 29:
+  13 |         self.balance += msg.data; // ok
+> 14 |         self.balance += msg.amount;
+                                   ^~~~~~
+  15 |     }
+"
+`;
+
+exports[`resolveStatements should fail statements for usage-of-bounced-field-in-type-that-is-too-big-2 1`] = `
+"<unknown>:26:29: Maximum size of the bounced message is 224 bytes, but the "amount" field cannot fit into it due to the size of previous fields or its own size, so it cannot be accessed. Make the type of the fields before this one smaller, or reduce the type of this field so that it fits into 224 bytes
+Line 26, col 29:
+  25 | 
+> 26 |         self.balance += msg.amount;
+                                   ^~~~~~
+  27 |     }
+"
+`;
+
+exports[`resolveStatements should fail statements for usage-of-bounced-field-that-is-too-big 1`] = `
+"<unknown>:12:29: Maximum size of the bounced message is 224 bytes, but the "amount" field 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 bytes
+Line 12, col 29:
+  11 |     bounced(msg: bounced<Withdraw>){
+> 12 |         self.balance += msg.amount;
+                                   ^~~~~~
+  13 |     }
+"
+`;
+
 exports[`resolveStatements should fail statements for var-does-not-exist 1`] = `
 "<unknown>:5:9: Unable to resolve id 'nonExistentVariable'
 Line 5, col 9:

src/types/resolveExpression.ts

@@ -450,6 +450,26 @@ function resolveFieldAccess(
             }
         }
 
+        // If it is bounced<T>, check all fields of T
+        if (src.kind === "ref_bounced") {
+            const field = srcT.fields.find((v) => eqNames(v.name, exp.field));
+
+            // If it has field, it means that this field doesn't fit into bounced message
+            if (field !== undefined) {
+                if (srcT.fields.length == 1) {
+                    throwCompilationError(
+                        `Maximum size of the bounced message is 224 bytes, but the ${idTextErr(exp.field)} field 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 bytes`,
+                        exp.field.loc,
+                    );
+                }
+
+                throwCompilationError(
+                    `Maximum size of the bounced message is 224 bytes, but the ${idTextErr(exp.field)} field cannot fit into it due to the size of previous fields or its own size, so it cannot be accessed. Make the type of the fields before this one smaller, or reduce the type of this field so that it fits into 224 bytes`,
+                    exp.field.loc,
+                );
+            }
+        }
+
         throwCompilationError(
             `Type ${typeStr} does not have a field named ${idTextErr(exp.field)}`,
             exp.field.loc,

src/types/stmts-failed/usage-of-bounced-field-in-type-that-is-too-big-2.tact

@@ -0,0 +1,28 @@
+primitive Int;
+trait BaseTrait { }
+
+message Withdraw {
+    data128: Int as uint128; // 128
+    data64: Int as uint64; // 192
+    data16: Int as uint16; // 208
+    data8: Int as uint8; // 216
+    data4: Int as uint4; // 220
+    data4_2: Int as uint4; // 224
+
+    amount: Int as uint128;
+}
+
+contract Fund {
+    balance: Int as uint256 = 0;
+
+    bounced(msg: bounced<Withdraw>){
+        self.balance += msg.data128; // ok
+        self.balance += msg.data64; // ok
+        self.balance += msg.data16; // ok
+        self.balance += msg.data8; // ok
+        self.balance += msg.data4; // ok
+        self.balance += msg.data4_2; // ok
+
+        self.balance += msg.amount;
+    }
+}

src/types/stmts-failed/usage-of-bounced-field-in-type-that-is-too-big.tact

@@ -0,0 +1,16 @@
+primitive Int;
+trait BaseTrait { }
+
+message Withdraw {
+    data: Int as uint128;
+    amount: Int as uint128; // exceeds 224 bytes
+}
+
+contract Fund {
+    balance: Int as uint256 = 0;
+
+    bounced(msg: bounced<Withdraw>){
+        self.balance += msg.data; // ok
+        self.balance += msg.amount;
+    }
+}

src/types/stmts-failed/usage-of-bounced-field-that-is-too-big.tact

@@ -0,0 +1,14 @@
+primitive Int;
+trait BaseTrait { }
+
+message Withdraw {
+    amount: Int as uint256; // too big
+}
+
+contract Fund {
+    balance: Int as uint256 = 0;
+
+    bounced(msg: bounced<Withdraw>){
+        self.balance += msg.amount;
+    }
+}