Fix template literal validation tag inheritance in type checking

[Copilot]

Template literal types were not inheriting validation tags when intersected with tags like MaxLength and Pattern. This caused validation to pass incorrectly when it should fail.

Problem

Consider this type intersection:

type TaggedTemplate = tags.MaxLength<10> & 
                     tags.Pattern<'^[a-zA-Z0-9_]+$'> & 
                     `prefix${string}postfix`;

const testValue = 'prefix;"+,df0123456789postfix'; // 28 chars, special characters

// Before fix: This would pass validation (incorrect)
typia.validate<TaggedTemplate>(testValue); // { success: true }

// But regular string with same tags would fail correctly  
typia.validate<tags.MaxLength<10> & tags.Pattern<'^[a-zA-Z0-9_]+$'> & string>(testValue); 
// { success: false, errors: [...] }

The issue affected all validation functions: validate, assert, is, and schema generation.

Root Cause

The intersection handler correctly processed validation tags and attached them to template literal metadata. However, the code generator for templates (check_template) was only generating pattern matching code and ignoring the tpl.tags field, unlike check_string which processes both type checking and validation tags.

Solution

Modified src/programmers/internal/check_template.ts to:

1. Add validation tag processing: Created check_template_type_tags function similar to check_string_type_tags
2. Generate validation conditions: Process tags with validate scripts and transpile them to runtime checks
3. Combine all validations: Return conditions that include template pattern matching AND validation tag checking

Updated call sites in CheckerProgrammer.ts and check_dynamic_key.ts to pass the required context parameter.

After Fix

// Now correctly fails validation
typia.validate<TaggedTemplate>('prefix;"+,df0123456789postfix');
// { 
//   success: false, 
//   errors: [
//     { expected: "string & MaxLength<10>", ... },
//     { expected: "string & Pattern<'^[a-zA-Z0-9_]+$'>", ... }
//   ] 
// }

// Valid values pass as expected
typia.validate<TaggedTemplate>('prefix123pos'); // { success: true }

The fix ensures template literals validate against:

1. Template structure (must match prefix*postfix pattern)
2. Length constraints (MaxLength<10>)
3. Pattern constraints (Pattern<'^[a-zA-Z0-9_]+$'>)

Fixes #1635.

---

💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.

[socket-security]

Review the following changes in direct dependencies. Learn more about Socket for GitHub.

Diff	Package	Supply Chain Security	Vulnerability	Quality	Maintenance	License
	@​types/​body-parser@​1.19.5 ⏵ 1.19.6
	@​types/​express@​4.17.21 ⏵ 4.17.23
	@​typescript-eslint/​parser@​8.30.1 ⏵ 8.40.0				+1
	@​types/​autocannon@​7.12.6 ⏵ 7.12.7	+1		+1
	@​types/​inquirer@​8.2.10 ⏵ 8.2.12
	rollup-plugin-node-externals@​8.0.0 ⏵ 8.0.1	+1			-3
	@​typescript-eslint/​eslint-plugin@​8.30.1 ⏵ 8.40.0	+1		+1	+1
	@​types/​node@​22.14.1 ⏵ 18.19.123
	@​types/​node@​22.14.1 ⏵ 20.19.11
	@​types/​node@​22.14.1 ⏵ 22.17.2	+1		+1
	class-validator@​0.14.1 ⏵ 0.14.2	+1		+1
	tinyglobby@​0.2.13 ⏵ 0.2.14			+1
	fp-ts@​2.16.10 ⏵ 2.16.11
	fastify@​4.29.0 ⏵ 4.29.1	+1	+16
	prettier@​3.5.3 ⏵ 3.6.2	+1
	zod@​3.24.3 ⏵ 3.25.76	+1			+2
	rollup@​4.40.0 ⏵ 4.47.1				+2
	inquirer@​8.2.6 ⏵ 8.2.7
	openai@​4.95.1 ⏵ 4.104.0	+1		+1

View full report

[pkg-pr-new]

Open in StackBlitz

npm i https://pkg.pr.new/typia@1656

commit: 1891b30

[Mlocik97]

4 .map and .filter loops instead of one reduce? I think we can optimize this.

[Mlocik97]

@copilot let's replace this with one single reduce loop.