Don't decompose all func result assignments

compiler/desugar.go

@@ -701,13 +701,20 @@ func (d *desugarer) decomposeExpression(expr ast.Expr, flags exprFlags) (ast.Exp
 				// Need to hoist the CallExpr out into a temporary variable in
 				// this case, so that the relative order of calls (and their
 				// prerequisites) is preserved.
-				queue[i] = decompose(e)
-			} else {
-				e.Fun = decompose(e.Fun)
-				for i, arg := range e.Args {
-					e.Args[i] = decompose(arg)
+				switch d.info.TypeOf(e).(type) {
+				case *types.Tuple:
+					// TODO: can't hoist like this when it's a function
+					//  that returns multiple values
+				default:
+					queue[i] = decompose(e)
+					continue
 				}
 			}
+			e.Fun = decompose(e.Fun)
+			for i, arg := range e.Args {
+				e.Args[i] = decompose(arg)
+			}
+
 		case *ast.CompositeLit:
 			for i, elt := range e.Elts {
 				e.Elts[i] = decompose(elt)

compiler/desugar_test.go

@@ -1147,6 +1147,26 @@ _l0:
 	_v2 := c(_v3)
 	_v0 <- _v2
 }
+`,
+		},
+		{
+			name: "FIXME: don't hoist function calls when there are multiple results",
+			body: "a, b, c = d(e())",
+			info: func(stmts []ast.Stmt, info *types.Info) {
+				callExpr := stmts[0].(*ast.AssignStmt).Rhs[0]
+				info.Types[callExpr] = types.TypeAndValue{
+					Type: types.NewTuple(
+						types.NewVar(0, nil, "a", intType),
+						types.NewVar(0, nil, "b", intType),
+						types.NewVar(0, nil, "c", intType),
+					),
+				}
+			},
+			expect: `
+{
+	_v0 := e()
+	a, b, c = d(_v0)
+}
 `,
 		},
 	} {