loader: make sure Go version is plumbed through

This fixes the new loop variable behavior in Go 1.22.

Specifically:
  * The compiler (actually, the x/tools/go/ssa package) now correctly
    picks up the Go version.
  * If a module doesn't specify the Go version, the current Go version
    (from the `go` tool and standard library) is used. This fixes
    `go run`.
  * The tests in testdata/ that use a separate directory are now
    actually run in that directory. This makes it possible to use a
    go.mod file there.
  * There is a test to make sure old Go modules still work with the old
    Go behavior, even on a newer Go version.

3 files changed, 46 insertions, 0 deletions

diff --git a/testdata/go1.22/go.mod b/testdata/go1.22/go.mod
new file mode 100644
index 000000000..fd97e8b22
--- /dev/null
+++ b/testdata/go1.22/go.mod
@@ -0,0 +1,3 @@
+module github.com/tinygo-org/tinygo/testdata/go1.22
+
+go 1.22
diff --git a/testdata/go1.22/main.go b/testdata/go1.22/main.go
new file mode 100644
index 000000000..80f6c887b
--- /dev/null
+++ b/testdata/go1.22/main.go
@@ -0,0 +1,31 @@
+package main
+
+func main() {
+	testIntegerRange()
+	testLoopVar()
+}
+
+func testIntegerRange() {
+	for i := range 10 {
+		println(10 - i)
+	}
+	println("go1.22 has lift-off!")
+}
+
+func testLoopVar() {
+	var f func() int
+	for i := 0; i < 1; i++ {
+		if i == 0 {
+			f = func() int { return i }
+		}
+	}
+	// Variable n is 1 in Go 1.21, or 0 in Go 1.22.
+	n := f()
+	if n == 0 {
+		println("loops behave like Go 1.22")
+	} else if n == 1 {
+		println("loops behave like Go 1.21")
+	} else {
+		println("unknown loop behavior")
+	}
+}
diff --git a/testdata/go1.22/out.txt b/testdata/go1.22/out.txt
new file mode 100644
index 000000000..ac9836aff
--- /dev/null
+++ b/testdata/go1.22/out.txt
@@ -0,0 +1,12 @@
+10
+9
+8
+7
+6
+5
+4
+3
+2
+1
+go1.22 has lift-off!
+loops behave like Go 1.22