@zyno-io/ts-reflection 26.1005.1121 → 26.1009.210

package/dist/type-compiler/go/type_expr.go

@@ -299,9 +299,12 @@ func genericTypeExpr(info *fileInfo, reg *registry, name string, args []string,
 			for i := range alias.params {
 				out = replaceTypeParameter(out, aliasParamName(alias, i), aliasArg(alias, args, i))
 			}
-			if hasUnresolvedTypeParameters(out, alias.params) || isUnsupportedTypeSyntax(out) {
+			if hasUnresolvedTypeParameters(out, alias.params) {
 				return "{kind: 2, typeName: " + quote(name) + ", typeArguments: [" + mapJoin(args, func(arg string) string { return typeExprCtx(info, reg, arg, ctx) }) + "]}"
 			}
+			// Let the type encoder classify the instantiated body. Its supported
+			// object, tuple, array, and generic syntax also contains brackets and
+			// colons; the unsupported-syntax fallback runs after those cases.
 			return withTypeName(typeExprCtx(owner, reg, out, ctx), name)
 		}
 		if decl, owner, _, ok := resolveInterfaceDeclRefAt(info, reg, name, ctx.pos); ok {

package/dist/type-compiler/go/typia_expr.go

@@ -838,9 +838,6 @@ func hasPreferredTypiaBlockerSyntaxDeep(info *fileInfo, reg *registry, raw strin
 		}
 		return false
 	}
-	if strings.Contains(raw, "[") || strings.Contains(raw, "]") {
-		return false
-	}
 	if name, args, ok := generic(raw); ok {
 		if (name == "Pattern" || name == "Validate") && (len(args) == 0 || !isLiteralStringType(args[0])) {
 			return true
@@ -892,6 +889,12 @@ func hasPreferredTypiaBlockerSyntaxDeep(info *fileInfo, reg *registry, raw strin
 		}
 		return false
 	}
+	// Inspect the generic itself before treating brackets as checker-resolved
+	// indexed access. A tuple in its options must not erase runtime metadata
+	// (for example FileUpload<{ allowedTypes: ['image/png'] }>).
+	if strings.Contains(raw, "[") || strings.Contains(raw, "]") {
+		return false
+	}
 	if isIdentifierName(raw) {
 		if alias, owner, _, ok := resolveAliasRef(info, reg, raw); ok {
 			return hasPreferredTypiaBlockerSyntaxDeep(owner, reg, alias.body, root, alias.pos, seen)

package/dist/type-compiler/go/upload_alias_test.go

@@ -0,0 +1,34 @@
+package main
+
+import "testing"
+
+func TestUploadAliasesWithTupleOptionsKeepInternalMetadata(t *testing.T) {
+	info, reg := testTypeInfo()
+	info.aliases["ImageUpload"] = aliasInfo{body: "FileUpload<{ maxSize: '128B'; allowedTypes: ['image/png'] }>"}
+	info.aliases["ChainedUpload"] = aliasInfo{body: "ImageUpload"}
+	for _, raw := range []string{
+		"FileUpload<{ allowedTypes: ['image/png'] }>",
+		"ImageUpload", "ChainedUpload", "ImageUpload[]",
+		"{ attachments?: ImageUpload[] }",
+		"HttpBody<{ attachments?: ImageUpload[] }>",
+	} {
+		if canPreferTypiaTypeOnPreferredSurface(info, reg, raw) {
+			t.Errorf("upload constructor/options must not be erased on preferred surface: %s", raw)
+		}
+	}
+	if !canPreferTypiaTypeOnPreferredSurface(info, reg, "Source['items'][number]") {
+		t.Fatal("indexed access must remain checker-resolved")
+	}
+}
+func TestGenericUploadAliasKeepsInstantiatedPolicy(t *testing.T) {
+	info, reg := testTypeInfo()
+	info.aliases["GenericUpload"] = aliasInfo{
+		params: []string{"Types"},
+		body:   "FileUpload<{ maxSize: '128B'; allowedTypes: Types }>",
+	}
+	expr := typeExpr(info, reg, "GenericUpload<['image/png']>")
+	assertContainsAll(t, expr, "kind: 16", "classType:", "FileUpload", "typeArguments:", "name: \"allowedTypes\"", "literal: \"image/png\"")
+	if canPreferTypiaTypeOnPreferredSurface(info, reg, "GenericUpload<['image/png']>") {
+		t.Fatal("generic upload aliases must retain runtime metadata")
+	}
+}

package/package.json

@@ -1,8 +1,13 @@
 {
     "name": "@zyno-io/ts-reflection",
-    "version": "26.1005.1121",
+    "version": "26.1009.210",
     "description": "Browser-neutral TypeScript reflection and runtime metadata",
     "license": "MIT",
+    "repository": {
+        "type": "git",
+        "url": "git+https://github.com/zyno-io/ts-server-foundation.git",
+        "directory": "packages/reflection"
+    },
     "files": [
         "dist/",
         "package.json",