[v2] fix object destructure with number literal props — coerce i64 prop type to f64 since dynobj_get returns f64

Author: cs01

src/hir/lower-destructure.ts

@@ -138,7 +138,8 @@ export function lowerObjectDestructuring(d: any, mutable: boolean): HIRStmt[] {
 
     for (const { fieldName, localName, span } of resolveObjectDestructProps(d.id.properties)) {
       const propInfo = props.find((p) => p.name === fieldName);
-      const propType = propInfo ? propInfo.type : DYNOBJ;
+      let propType = propInfo ? propInfo.type : DYNOBJ;
+      if (propType.kind === "i64") propType = F64;
       const elemId = freshId();
       const key: HIRExpr = { kind: "literal_string", value: fieldName, type: I8PTR };
       const fieldGet = dynObjGetForType(

src/hir/lower.ts

@@ -440,7 +440,8 @@ export function lowerModule(
 
             for (const { fieldName, localName } of resolveObjectDestructProps(d.id.properties)) {
               const propInfo = props.find((p) => p.name === fieldName);
-              const propType = propInfo ? propInfo.type : DYNOBJ;
+              let propType = propInfo ? propInfo.type : DYNOBJ;
+              if (propType.kind === "i64") propType = F64;
               const key: HIRExpr = { kind: "literal_string", value: fieldName, type: I8PTR };
               const fieldGet = dynObjGetForType(
                 { kind: "global_get", name: tmpName, type: initExpr.type },

tests/fixtures/objects/object-destruct-numbers.ts

@@ -0,0 +1,6 @@
+const o = { x: 1, y: 2, z: 100 };
+const { x, y, z } = o;
+console.log(x);
+console.log(y);
+console.log(z);
+console.log(x + y + z);