Fix for #269 (#265)

Consensys · Apr 24, 2024 · 1470df5 · 1470df5
1 parent 4e1e708
commit 1470df5
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/src/types/infer.ts b/src/types/infer.ts
@@ -1431,9 +1431,14 @@ export class InferType {
                         argTs.push(...node.parent.vArguments.map((arg) => this.typeOf(arg)));
 
                         for (const argT of argTs) {
-                            if (!(argT instanceof PointerType && eq(argT.to, baseT.type))) {
+                            if (
+                                !(
+                                    (argT instanceof PointerType && eq(argT.to, baseT.type)) ||
+                                    argT instanceof FixedBytesType
+                                )
+                            ) {
                                 throw new SolTypeError(
-                                    `Unexpected arguments to concat in ${pp(node.parent)}`
+                                    `Unexpected argument type ${argT.pp()} to builtin function bytes.concat in ${pp(node.parent)}.`
                                 );
                             }
                         }