goscript 0.0.57 → 0.0.59

package/compiler/stmt-assign.go

@@ -47,356 +47,6 @@ import (
 // It correctly applies `let` for `:=` (define) tokens and handles varRefing and
 // cloning semantics based on type information and analysis.
 func (c *GoToTSCompiler) WriteStmtAssign(exp *ast.AssignStmt) error {
-	// writeMultiVarAssignFromCall handles multi-variable assignment from a single function call.
-	writeMultiVarAssignFromCall := func(lhs []ast.Expr, callExpr *ast.CallExpr, tok token.Token) error {
-		// For token.DEFINE (:=), we need to check if any of the variables are already declared
-		// In Go, := can be used for redeclaration if at least one variable is new
-		if tok == token.DEFINE {
-			// For token.DEFINE (:=), we need to handle variable declarations differently
-			// In Go, := can redeclare existing variables if at least one variable is new
-
-			// First, identify which variables are new vs existing
-			newVars := make([]bool, len(lhs))
-			anyNewVars := false
-			allNewVars := true
-
-			// For multi-variable assignments with :=, we need to determine which variables
-			// are already in scope and which are new declarations
-			for i, lhsExpr := range lhs {
-				if ident, ok := lhsExpr.(*ast.Ident); ok && ident.Name != "_" {
-					// In Go, variables declared with := can be redeclared if at least one is new
-					// For TypeScript, we need to separately declare new variables
-
-					// Check if this variable is already in scope
-					// - If the variable is used elsewhere before this point, it's existing
-					// - Otherwise, it's a new variable being declared
-					isNew := true
-
-					// Check if the variable is used elsewhere in the code
-					if obj := c.pkg.TypesInfo.Uses[ident]; obj != nil {
-						// If it's in Uses, it's referenced elsewhere, so it exists
-						isNew = false
-						allNewVars = false
-					}
-
-					newVars[i] = isNew
-					if isNew {
-						anyNewVars = true
-					}
-				}
-			}
-
-			// Get function return types if available
-			var resultTypes []*types.Var
-			if callExpr.Fun != nil {
-				if funcType, ok := c.pkg.TypesInfo.TypeOf(callExpr.Fun).Underlying().(*types.Signature); ok {
-					if funcType.Results() != nil && funcType.Results().Len() > 0 {
-						for i := 0; i < funcType.Results().Len(); i++ {
-							resultTypes = append(resultTypes, funcType.Results().At(i))
-						}
-					}
-				}
-			}
-
-			if allNewVars && anyNewVars {
-				c.tsw.WriteLiterally("let [")
-
-				for i, lhsExpr := range lhs {
-					if i != 0 {
-						c.tsw.WriteLiterally(", ")
-					}
-
-					if ident, ok := lhsExpr.(*ast.Ident); ok {
-						if ident.Name == "_" {
-							// For underscore variables, use empty slots in destructuring pattern
-						} else {
-							c.WriteIdent(ident, false)
-						}
-					} else {
-						c.WriteValueExpr(lhsExpr)
-					}
-				}
-				c.tsw.WriteLiterally("] = ")
-				c.WriteValueExpr(callExpr)
-				c.tsw.WriteLine("")
-				return nil
-			} else if anyNewVars {
-				// If only some variables are new, declare them separately before the assignment
-				// Declare each new variable with appropriate type
-				for i, lhsExpr := range lhs {
-					if ident, ok := lhsExpr.(*ast.Ident); ok && ident.Name != "_" && newVars[i] {
-						c.tsw.WriteLiterally("let ")
-						c.WriteIdent(ident, false)
-
-						// Add type annotation if we have type information
-						if i < len(resultTypes) {
-							c.tsw.WriteLiterally(": ")
-							c.WriteGoType(resultTypes[i].Type(), GoTypeContextGeneral)
-						}
-
-						c.tsw.WriteLine("")
-					}
-				}
-			}
-		}
-
-		// First, collect all the selector expressions to identify variables that need to be initialized
-		hasSelectors := false
-		for _, lhsExpr := range lhs {
-			if _, ok := lhsExpr.(*ast.SelectorExpr); ok {
-				hasSelectors = true
-				break
-			}
-			if _, ok := lhsExpr.(*ast.StarExpr); ok {
-				hasSelectors = true
-				break
-			}
-			if _, ok := lhsExpr.(*ast.IndexExpr); ok {
-				hasSelectors = true
-				break
-			}
-		}
-
-		// If we have selector expressions, we need to ensure variables are initialized
-		// before the destructuring assignment
-		if hasSelectors {
-			c.tsw.WriteLiterally("{")
-			c.tsw.WriteLine("")
-
-			// Write a temporary variable to hold the function call result
-			c.tsw.WriteLiterally("  const _tmp = ")
-			if err := c.WriteValueExpr(callExpr); err != nil {
-				return fmt.Errorf("failed to write RHS call expression in assignment: %w", err)
-			}
-			c.tsw.WriteLine("")
-
-			for i, lhsExpr := range lhs {
-				// Skip underscore variables
-				if ident, ok := lhsExpr.(*ast.Ident); ok && ident.Name == "_" {
-					continue
-				}
-
-				// Write the LHS with indentation
-				c.tsw.WriteLiterally("  ")
-				if ident, ok := lhsExpr.(*ast.Ident); ok {
-					c.WriteIdent(ident, false)
-				} else if selectorExpr, ok := lhsExpr.(*ast.SelectorExpr); ok {
-					if err := c.WriteValueExpr(selectorExpr); err != nil {
-						return fmt.Errorf("failed to write selector expression in LHS: %w", err)
-					}
-				} else if starExpr, ok := lhsExpr.(*ast.StarExpr); ok {
-					// Handle pointer dereference assignment: *p = value becomes p!.value = value
-					// Write the pointer variable directly without using WriteValueExpr
-					// because we don't want automatic .value access here
-					switch operand := starExpr.X.(type) {
-					case *ast.Ident:
-						// Write identifier without .value access
-						c.WriteIdent(operand, false)
-					default:
-						// For other expressions, use WriteValueExpr
-						if err := c.WriteValueExpr(starExpr.X); err != nil {
-							return fmt.Errorf("failed to write star expression X in LHS: %w", err)
-						}
-					}
-					c.tsw.WriteLiterally("!.value")
-				} else if indexExpr, ok := lhsExpr.(*ast.IndexExpr); ok {
-					// Handle index expressions (e.g., arr[i], slice[j]) by using WriteValueExpr
-					if err := c.WriteValueExpr(indexExpr); err != nil {
-						return fmt.Errorf("failed to write index expression in LHS: %w", err)
-					}
-				} else {
-					return errors.Errorf("unhandled LHS expression in assignment: %T", lhsExpr)
-				}
-
-				// Write the assignment
-				c.tsw.WriteLiterallyf(" = _tmp[%d]", i)
-				// Always add a newline after each assignment
-				c.tsw.WriteLine("")
-			}
-
-			// Close the block scope
-			c.tsw.WriteLiterally("}")
-			c.tsw.WriteLine("")
-
-			return nil
-		}
-
-		// For simple cases without selector expressions, use array destructuring
-		// Add semicolon before destructuring assignment to prevent TypeScript
-		// from interpreting it as array access on the previous line
-		if tok != token.DEFINE {
-			c.tsw.WriteLiterally(";")
-		}
-		c.tsw.WriteLiterally("[")
-
-		// Find the last non-blank identifier to avoid trailing commas
-		lastNonBlankIndex := -1
-		for i := len(lhs) - 1; i >= 0; i-- {
-			if ident, ok := lhs[i].(*ast.Ident); !ok || ident.Name != "_" {
-				lastNonBlankIndex = i
-				break
-			}
-		}
-
-		for i, lhsExpr := range lhs {
-			// Write comma before non-first elements
-			if i > 0 {
-				c.tsw.WriteLiterally(", ")
-			}
-
-			if ident, ok := lhsExpr.(*ast.Ident); ok {
-				// For underscore variables, use empty slots in destructuring pattern
-				if ident.Name != "_" {
-					c.WriteIdent(ident, false)
-				}
-				// For blank identifiers, we write nothing (empty slot)
-			} else if selectorExpr, ok := lhsExpr.(*ast.SelectorExpr); ok {
-				// Handle selector expressions (e.g., a.b) by using WriteValueExpr
-				if err := c.WriteValueExpr(selectorExpr); err != nil {
-					return fmt.Errorf("failed to write selector expression in LHS: %w", err)
-				}
-			} else if starExpr, ok := lhsExpr.(*ast.StarExpr); ok {
-				// Handle pointer dereference in destructuring: *p becomes p!.value
-				// Write the pointer variable directly without using WriteValueExpr
-				// because we don't want automatic .value access here
-				switch operand := starExpr.X.(type) {
-				case *ast.Ident:
-					// Write identifier without .value access
-					c.WriteIdent(operand, false)
-				default:
-					// For other expressions, use WriteValueExpr
-					if err := c.WriteValueExpr(starExpr.X); err != nil {
-						return fmt.Errorf("failed to write star expression X in destructuring: %w", err)
-					}
-				}
-				c.tsw.WriteLiterally("!.value")
-			} else if indexExpr, ok := lhsExpr.(*ast.IndexExpr); ok {
-				// Handle index expressions (e.g., arr[i], slice[j]) by using WriteValueExpr
-				if err := c.WriteValueExpr(indexExpr); err != nil {
-					return fmt.Errorf("failed to write index expression in destructuring: %w", err)
-				}
-			} else {
-				// Should not happen for valid Go code in this context, but handle defensively
-				return errors.Errorf("unhandled LHS expression in destructuring: %T", lhsExpr)
-			}
-
-			// Stop writing if we've reached the last non-blank element
-			if i == lastNonBlankIndex {
-				break
-			}
-		}
-		c.tsw.WriteLiterally("] = ")
-
-		c.WriteValueExpr(callExpr)
-
-		c.tsw.WriteLine("")
-		return nil
-	}
-
-	// writeMapLookupWithExists handles the map comma-ok idiom: value, exists := myMap[key]
-	// Uses array destructuring with the tuple-returning $.mapGet function
-	writeMapLookupWithExists := func(lhs []ast.Expr, indexExpr *ast.IndexExpr, tok token.Token) error {
-		// First check that we have exactly two LHS expressions (value and exists)
-		if len(lhs) != 2 {
-			return fmt.Errorf("map comma-ok idiom requires exactly 2 variables on LHS, got %d", len(lhs))
-		}
-
-		// Check for blank identifiers
-		valueIsBlank := false
-		existsIsBlank := false
-
-		if valIdent, ok := lhs[0].(*ast.Ident); ok && valIdent.Name == "_" {
-			valueIsBlank = true
-		}
-		if existsIdent, ok := lhs[1].(*ast.Ident); ok && existsIdent.Name == "_" {
-			existsIsBlank = true
-		}
-
-		// Use array destructuring with mapGet tuple return
-		if tok == token.DEFINE {
-			c.tsw.WriteLiterally("let ")
-		} else {
-			// Add semicolon before destructuring assignment to prevent TypeScript
-			// from interpreting it as array access on the previous line
-			c.tsw.WriteLiterally(";")
-		}
-
-		c.tsw.WriteLiterally("[")
-
-		// Write LHS variables, handling blanks
-		if !valueIsBlank {
-			if err := c.WriteValueExpr(lhs[0]); err != nil {
-				return err
-			}
-		}
-		// Note: for blank identifiers, we just omit the variable name entirely
-
-		c.tsw.WriteLiterally(", ")
-
-		if !existsIsBlank {
-			if err := c.WriteValueExpr(lhs[1]); err != nil {
-				return err
-			}
-		}
-		// Note: for blank identifiers, we just omit the variable name entirely
-
-		c.tsw.WriteLiterally("] = $.mapGet(")
-
-		// Write map expression
-		if err := c.WriteValueExpr(indexExpr.X); err != nil {
-			return err
-		}
-
-		c.tsw.WriteLiterally(", ")
-
-		// Write key expression
-		if err := c.WriteValueExpr(indexExpr.Index); err != nil {
-			return err
-		}
-
-		c.tsw.WriteLiterally(", ")
-
-		// Write the zero value for the map's value type
-		if tv, ok := c.pkg.TypesInfo.Types[indexExpr.X]; ok {
-			if mapType, isMap := tv.Type.Underlying().(*types.Map); isMap {
-				c.WriteZeroValueForType(mapType.Elem())
-			} else if typeParam, isTypeParam := tv.Type.(*types.TypeParam); isTypeParam {
-				// Handle type parameter constrained to be a map type
-				constraint := typeParam.Constraint()
-				if constraint != nil {
-					underlying := constraint.Underlying()
-					if iface, isInterface := underlying.(*types.Interface); isInterface {
-						if hasMapConstraint(iface) {
-							// Get the value type from the constraint
-							mapValueType := getMapValueTypeFromConstraint(iface)
-							if mapValueType != nil {
-								c.WriteZeroValueForType(mapValueType)
-							} else {
-								c.tsw.WriteLiterally("null")
-							}
-						} else {
-							c.tsw.WriteLiterally("null")
-						}
-					} else {
-						c.tsw.WriteLiterally("null")
-					}
-				} else {
-					c.tsw.WriteLiterally("null")
-				}
-			} else {
-				// Fallback zero value if type info is missing or not a map
-				c.tsw.WriteLiterally("null")
-			}
-		} else {
-			c.tsw.WriteLiterally("null")
-		}
-
-		c.tsw.WriteLiterally(")")
-		c.tsw.WriteLine("")
-
-		return nil
-	}
-
 	// Handle multi-variable assignment from a single expression.
 	if len(exp.Lhs) > 1 && len(exp.Rhs) == 1 {
 		rhsExpr := exp.Rhs[0]
@@ -420,7 +70,7 @@ func (c *GoToTSCompiler) WriteStmtAssign(exp *ast.AssignStmt) error {
 				return nil
 			}
 			// Handle general function calls that return multiple values
-			return writeMultiVarAssignFromCall(exp.Lhs, callExpr, exp.Tok)
+			return c.writeMultiVarAssignFromCall(exp.Lhs, callExpr, exp.Tok)
 		}
 
 		if typeAssertExpr, ok := rhsExpr.(*ast.TypeAssertExpr); ok {
@@ -430,20 +80,20 @@ func (c *GoToTSCompiler) WriteStmtAssign(exp *ast.AssignStmt) error {
 			if len(exp.Lhs) == 2 {
 				// Get the type of the indexed expression
 				if c.pkg != nil && c.pkg.TypesInfo != nil {
-					tv, ok := c.pkg.TypesInfo.Types[indexExpr.X]
+					v, ok := c.pkg.TypesInfo.Types[indexExpr.X]
 					if ok {
 						// Check if it's a concrete map type
-						if _, isMap := tv.Type.Underlying().(*types.Map); isMap {
-							return writeMapLookupWithExists(exp.Lhs, indexExpr, exp.Tok)
+						if _, isMap := v.Type.Underlying().(*types.Map); isMap {
+							return c.writeMapLookupWithExists(exp.Lhs, indexExpr, exp.Tok)
 						}
 						// Check if it's a type parameter constrained to be a map type
-						if typeParam, isTypeParam := tv.Type.(*types.TypeParam); isTypeParam {
+						if typeParam, isTypeParam := v.Type.(*types.TypeParam); isTypeParam {
 							constraint := typeParam.Constraint()
 							if constraint != nil {
 								underlying := constraint.Underlying()
 								if iface, isInterface := underlying.(*types.Interface); isInterface {
 									if hasMapConstraint(iface) {
-										return writeMapLookupWithExists(exp.Lhs, indexExpr, exp.Tok)
+										return c.writeMapLookupWithExists(exp.Lhs, indexExpr, exp.Tok)
 									}
 								}
 							}
@@ -554,3 +204,335 @@ func (c *GoToTSCompiler) writeInlineComment(node ast.Node) {
 		}
 	}
 }
+
+// writeLHSTarget writes an LHS target expression for assignment contexts.
+// It preserves the exact behavior used in WriteStmtAssign for selector, star, and index expressions,
+// and avoids adding .value on identifiers.
+func (c *GoToTSCompiler) writeLHSTarget(lhsExpr ast.Expr) error {
+	switch t := lhsExpr.(type) {
+	case *ast.Ident:
+		// Caller should have handled blank identifiers; write name without .value
+		c.WriteIdent(t, false)
+		return nil
+	case *ast.SelectorExpr:
+		if err := c.WriteValueExpr(t); err != nil {
+			return fmt.Errorf("failed to write selector expression in LHS: %w", err)
+		}
+		return nil
+	case *ast.StarExpr:
+		// Handle pointer dereference assignment: *p = value becomes p!.value = value
+		// Write the pointer variable directly without using WriteValueExpr when it's an identifier
+		switch operand := t.X.(type) {
+		case *ast.Ident:
+			c.WriteIdent(operand, false)
+		default:
+			if err := c.WriteValueExpr(t.X); err != nil {
+				return fmt.Errorf("failed to write star expression X in LHS: %w", err)
+			}
+		}
+		c.tsw.WriteLiterally("!.value")
+		return nil
+	case *ast.IndexExpr:
+		if err := c.WriteValueExpr(t); err != nil {
+			return fmt.Errorf("failed to write index expression in LHS: %w", err)
+		}
+		return nil
+	default:
+		return errors.Errorf("unhandled LHS expression in assignment: %T", lhsExpr)
+	}
+}
+
+// lhsHasComplexTargets returns true if any LHS expression is a selector, star (dereference), or index expression.
+func (c *GoToTSCompiler) lhsHasComplexTargets(lhs []ast.Expr) bool {
+	for _, e := range lhs {
+		switch e.(type) {
+		case *ast.SelectorExpr, *ast.StarExpr, *ast.IndexExpr:
+			return true
+		}
+	}
+	return false
+}
+
+// writeMultiVarAssignFromCall handles multi-variable assignment from a single function call.
+func (c *GoToTSCompiler) writeMultiVarAssignFromCall(lhs []ast.Expr, callExpr *ast.CallExpr, tok token.Token) error {
+	// For token.DEFINE (:=), we need to check if any of the variables are already declared
+	// In Go, := can be used for redeclaration if at least one variable is new
+	if tok == token.DEFINE {
+		// For token.DEFINE (:=), we need to handle variable declarations differently
+		// In Go, := can redeclare existing variables if at least one is new
+
+		// First, identify which variables are new vs existing
+		newVars := make([]bool, len(lhs))
+		anyNewVars := false
+		allNewVars := true
+
+		// For multi-variable assignments with :=, we need to determine which variables
+		// are already in scope and which are new declarations
+		for i, lhsExpr := range lhs {
+			if ident, ok := lhsExpr.(*ast.Ident); ok && ident.Name != "_" {
+				// In Go, variables declared with := can be redeclared if at least one is new
+				// For TypeScript, we need to separately declare new variables
+
+				// Check if this variable is already in scope
+				// - If the variable is used elsewhere before this point, it's existing
+				// - Otherwise, it's a new variable being declared
+				isNew := true
+
+				// Check if the variable is used elsewhere in the code
+				if obj := c.pkg.TypesInfo.Uses[ident]; obj != nil {
+					// If it's in Uses, it's referenced elsewhere, so it exists
+					isNew = false
+					allNewVars = false
+				}
+
+				newVars[i] = isNew
+				if isNew {
+					anyNewVars = true
+				}
+			}
+		}
+
+		// Get function return types if available
+		var resultTypes []*types.Var
+		if callExpr.Fun != nil {
+			if funcType, ok := c.pkg.TypesInfo.TypeOf(callExpr.Fun).Underlying().(*types.Signature); ok {
+				if funcType.Results() != nil && funcType.Results().Len() > 0 {
+					for i := 0; i < funcType.Results().Len(); i++ {
+						resultTypes = append(resultTypes, funcType.Results().At(i))
+					}
+				}
+			}
+		}
+
+		if allNewVars && anyNewVars {
+			c.tsw.WriteLiterally("let [")
+
+			for i, lhsExpr := range lhs {
+				if i != 0 {
+					c.tsw.WriteLiterally(", ")
+				}
+
+				if ident, ok := lhsExpr.(*ast.Ident); ok {
+					if ident.Name == "_" {
+						// For underscore variables, use empty slots in destructuring pattern
+					} else {
+						c.WriteIdent(ident, false)
+					}
+				} else {
+					c.WriteValueExpr(lhsExpr)
+				}
+			}
+			c.tsw.WriteLiterally("] = ")
+			c.WriteValueExpr(callExpr)
+			c.tsw.WriteLine("")
+			return nil
+		} else if anyNewVars {
+			// If only some variables are new, declare them separately before the assignment
+			// Declare each new variable with appropriate type
+			for i, lhsExpr := range lhs {
+				if ident, ok := lhsExpr.(*ast.Ident); ok && ident.Name != "_" && newVars[i] {
+					c.tsw.WriteLiterally("let ")
+					c.WriteIdent(ident, false)
+					// Add type annotation if we have type information
+					if i < len(resultTypes) {
+						c.tsw.WriteLiterally(": ")
+						c.WriteGoType(resultTypes[i].Type(), GoTypeContextGeneral)
+					}
+					c.tsw.WriteLine("")
+				}
+			}
+		}
+	}
+
+	// First, collect all the selector expressions to identify variables that need to be initialized
+	hasSelectors := c.lhsHasComplexTargets(lhs)
+
+	// If we have selector expressions, we need to ensure variables are initialized
+	// before the destructuring assignment
+	if hasSelectors {
+		c.tsw.WriteLiterally("{")
+		c.tsw.WriteLine("")
+
+		// Write a temporary variable to hold the function call result
+		c.tsw.WriteLiterally("  const _tmp = ")
+		if err := c.WriteValueExpr(callExpr); err != nil {
+			return fmt.Errorf("failed to write RHS call expression in assignment: %w", err)
+		}
+		c.tsw.WriteLine("")
+
+		for i, lhsExpr := range lhs {
+			// Skip underscore variables
+			if ident, ok := lhsExpr.(*ast.Ident); ok && ident.Name == "_" {
+				continue
+			}
+
+			// Write the LHS with indentation
+			c.tsw.WriteLiterally("  ")
+			if err := c.writeLHSTarget(lhsExpr); err != nil {
+				return err
+			}
+
+			// Write the assignment
+			c.tsw.WriteLiterallyf(" = _tmp[%d]", i)
+			// Always add a newline after each assignment
+			c.tsw.WriteLine("")
+		}
+
+		// Close the block scope
+		c.tsw.WriteLiterally("}")
+		c.tsw.WriteLine("")
+
+		return nil
+	}
+
+	// For simple cases without selector expressions, use array destructuring
+	// Add semicolon before destructuring assignment to prevent TypeScript
+	// from interpreting it as array access on the previous line
+	if tok != token.DEFINE {
+		c.tsw.WriteLiterally(";")
+	}
+	c.tsw.WriteLiterally("[")
+
+	// Find the last non-blank identifier to avoid trailing commas
+	lastNonBlankIndex := -1
+	for i := len(lhs) - 1; i >= 0; i-- {
+		if ident, ok := lhs[i].(*ast.Ident); !ok || ident.Name != "_" {
+			lastNonBlankIndex = i
+			break
+		}
+	}
+
+	for i, lhsExpr := range lhs {
+		// Write comma before non-first elements
+		if i > 0 {
+			c.tsw.WriteLiterally(", ")
+		}
+
+		if ident, ok := lhsExpr.(*ast.Ident); ok {
+			// For underscore variables, use empty slots in destructuring pattern
+			if ident.Name != "_" {
+				c.WriteIdent(ident, false)
+			}
+			// For blank identifiers, we write nothing (empty slot)
+		} else {
+			if err := c.writeLHSTarget(lhsExpr); err != nil {
+				return err
+			}
+		}
+
+		// Stop writing if we've reached the last non-blank element
+		if i == lastNonBlankIndex {
+			break
+		}
+	}
+	c.tsw.WriteLiterally("] = ")
+
+	c.WriteValueExpr(callExpr)
+
+	c.tsw.WriteLine("")
+	return nil
+}
+
+// writeMapLookupWithExists handles the map comma-ok idiom: value, exists := myMap[key]
+// Uses array destructuring with the tuple-returning $.mapGet function
+func (c *GoToTSCompiler) writeMapLookupWithExists(lhs []ast.Expr, indexExpr *ast.IndexExpr, tok token.Token) error {
+	// First check that we have exactly two LHS expressions (value and exists)
+	if len(lhs) != 2 {
+		return fmt.Errorf("map comma-ok idiom requires exactly 2 variables on LHS, got %d", len(lhs))
+	}
+
+	// Check for blank identifiers
+	valueIsBlank := false
+	existsIsBlank := false
+
+	if valIdent, ok := lhs[0].(*ast.Ident); ok && valIdent.Name == "_" {
+		valueIsBlank = true
+	}
+	if existsIdent, ok := lhs[1].(*ast.Ident); ok && existsIdent.Name == "_" {
+		existsIsBlank = true
+	}
+
+	// Use array destructuring with mapGet tuple return
+	if tok == token.DEFINE {
+		c.tsw.WriteLiterally("let ")
+	} else {
+		// Add semicolon before destructuring assignment to prevent TypeScript
+		// from interpreting it as array access on the previous line
+		c.tsw.WriteLiterally(";")
+	}
+
+	c.tsw.WriteLiterally("[")
+
+	// Write LHS variables, handling blanks
+	if !valueIsBlank {
+		if err := c.WriteValueExpr(lhs[0]); err != nil {
+			return err
+		}
+	}
+	// Note: for blank identifiers, we just omit the variable name entirely
+
+	c.tsw.WriteLiterally(", ")
+
+	if !existsIsBlank {
+		if err := c.WriteValueExpr(lhs[1]); err != nil {
+			return err
+		}
+	}
+	// Note: for blank identifiers, we just omit the variable name entirely
+
+	c.tsw.WriteLiterally("] = $.mapGet(")
+
+	// Write map expression
+	if err := c.WriteValueExpr(indexExpr.X); err != nil {
+		return err
+	}
+
+	c.tsw.WriteLiterally(", ")
+
+	// Write key expression
+	if err := c.WriteValueExpr(indexExpr.Index); err != nil {
+		return err
+	}
+
+	c.tsw.WriteLiterally(", ")
+
+	// Write the zero value for the map's value type
+	if tv, ok := c.pkg.TypesInfo.Types[indexExpr.X]; ok {
+		if mapType, isMap := tv.Type.Underlying().(*types.Map); isMap {
+			c.WriteZeroValueForType(mapType.Elem())
+		} else if typeParam, isTypeParam := tv.Type.(*types.TypeParam); isTypeParam {
+			// Handle type parameter constrained to be a map type
+			constraint := typeParam.Constraint()
+			if constraint != nil {
+				underlying := constraint.Underlying()
+				if iface, isInterface := underlying.(*types.Interface); isInterface {
+					if hasMapConstraint(iface) {
+						// Get the value type from the constraint
+						mapValueType := getMapValueTypeFromConstraint(iface)
+						if mapValueType != nil {
+							c.WriteZeroValueForType(mapValueType)
+						} else {
+							c.tsw.WriteLiterally("null")
+						}
+					} else {
+						c.tsw.WriteLiterally("null")
+					}
+				} else {
+					c.tsw.WriteLiterally("null")
+				}
+			} else {
+				c.tsw.WriteLiterally("null")
+			}
+		} else {
+			// Fallback zero value if type info is missing or not a map
+			c.tsw.WriteLiterally("null")
+		}
+	} else {
+		c.tsw.WriteLiterally("null")
+	}
+
+	c.tsw.WriteLiterally(")")
+	c.tsw.WriteLine("")
+
+	return nil
+}