Test StructInstantiatedTypes

Author: sublee

internal/convgen/assign/basic.go

@@ -32,6 +32,11 @@ func (fac Factory) TryBasic(x, y Object) (*BasicAssigner, bool) {
 	}
 
 	if types.ConvertibleTo(x.Type().Type(), y.Type().Type()) {
+		if x.Type().Basic.Info()&(types.IsInteger|types.IsUnsigned) != 0 && y.Type().Basic.Info() == types.IsString {
+			// int or uint -> string conversion is not allowed
+			return nil, false
+		}
+
 		as.convertible = true
 		as.x = x
 		as.y = y

testdata/StructInstantiatedTypes/main/main.go

@@ -0,0 +1,46 @@
+//go:build convgen
+
+package main
+
+import (
+	"fmt"
+	"strconv"
+
+	"github.com/sublee/convgen"
+)
+
+type (
+	X[T any] struct{ Value T }
+	Y[T any] struct{ Value T }
+)
+
+var mod = convgen.New(convgen.ImportFunc(strconv.Itoa))
+
+func Int8_Int32(x X[int8]) (y Y[int32]) { convgen.Struct(mod, x, &y); return }
+func Int_String(x X[int]) (y Y[string]) { convgen.Struct(mod, x, &y); return }
+
+type XX struct {
+	Int8_Int32 X[int8]
+	Int_String X[int]
+}
+
+type YY struct {
+	Int8_Int32 Y[int32]
+	Int_String Y[string]
+}
+
+func XX_YY(x XX) (y YY) { convgen.Struct(mod, x, &y); return }
+
+func main() {
+	// Output: int32 123
+	fmt.Printf("%[1]T %[1]v\n", Int8_Int32(X[int8]{Value: 123}).Value)
+
+	// Output: string 123
+	fmt.Printf("%[1]T %[1]v\n", Int_String(X[int]{Value: 123}).Value)
+
+	// Output: main.YY{Int8_Int32:main.Y[int32]{Value:123}, Int_String:main.Y[string]{Value:"123"}}
+	fmt.Printf("%#v\n", XX_YY(XX{
+		Int8_Int32: X[int8]{Value: 123},
+		Int_String: X[int]{Value: 123},
+	}))
+}

testdata/StructInstantiatedTypes/program_output.txt

@@ -0,0 +1,3 @@
+int32 123
+string 123
+main.YY{Int8_Int32:main.Y[int32]{Value:123}, Int_String:main.Y[string]{Value:"123"}}