zod-compiler 1.23.0 → 1.23.2

package/dist/core/codegen/schemas/string.js

@@ -1,47 +1,47 @@
-import { checkPriority, emitEffectCallable, emitEffectFn, emitRegex, emitRegexSourceString, escapeString, } from "../context.js";
+import { EMAIL_REGEX_SOURCE, fastTestSource } from "../well-known-regex.js";
+import { checkPriority, emitEffectCallable, emitEffectFn, emitRegex, emitRegexSourceString, escapeString } from "../context.js";
 import { emit } from "../emit.js";
 import { invalidFormat, invalidType, tooBig, tooSmall } from "../emit-issue.js";
-import { EMAIL_REGEX_SOURCE, fastTestSource, UUID_REGEX_SOURCE } from "../well-known-regex.js";
 import { refineCheck, superRefineCheck, superRefineFastTest } from "./effect.js";
+//#region src/core/codegen/schemas/string.ts
 /** `re.lastIndex=0;` reset statement for stateful (g/y-flagged) regexes. */
 function lastIndexReset(regexVar, flags) {
-    return flags && /[gy]/.test(flags) ? `${regexVar}.lastIndex=0;` : "";
+	return flags && /[gy]/.test(flags) ? `${regexVar}.lastIndex=0;` : "";
 }
 /**
- * Generate the url check, mirroring $ZodURL semantics:
- * trim → new URL(trimmed) → optional hostname/protocol regex tests →
- * write back url.href (normalize) or the trimmed input.
- */
+* Generate the url check, mirroring $ZodURL semantics:
+* trim → new URL(trimmed) → optional hostname/protocol regex tests →
+* write back url.href (normalize) or the trimmed input.
+*/
 function slowUrlCheck(check, g) {
-    const trimmedVar = g.temp("ut");
-    const urlVar = g.temp("u");
-    let inner = "";
-    if (check.hostname) {
-        const re = g.regex("host", check.hostname, check.hostnameFlags);
-        inner += emit `
+	const trimmedVar = g.temp("ut");
+	const urlVar = g.temp("u");
+	let inner = "";
+	if (check.hostname) {
+		const re = g.regex("host", check.hostname, check.hostnameFlags);
+		inner += emit`
       ${lastIndexReset(re, check.hostnameFlags)}
       if(!${re}.test(${urlVar}.hostname)){
         ${invalidFormat(g, "url", {
-            extra: `note:"Invalid hostname",pattern:${escapeString(check.hostname)}`,
-            message: check.message,
-        })}
+			extra: `note:"Invalid hostname",pattern:${escapeString(check.hostname)}`,
+			message: check.message
+		})}
       }`;
-    }
-    if (check.protocol) {
-        const re = g.regex("proto", check.protocol, check.protocolFlags);
-        const protoExpr = `(${urlVar}.protocol.endsWith(":")?${urlVar}.protocol.slice(0,-1):${urlVar}.protocol)`;
-        inner += emit `
+	}
+	if (check.protocol) {
+		const re = g.regex("proto", check.protocol, check.protocolFlags);
+		const protoExpr = `(${urlVar}.protocol.endsWith(":")?${urlVar}.protocol.slice(0,-1):${urlVar}.protocol)`;
+		inner += emit`
       ${lastIndexReset(re, check.protocolFlags)}
       if(!${re}.test(${protoExpr})){
         ${invalidFormat(g, "url", {
-            extra: `note:"Invalid protocol",pattern:${escapeString(check.protocol)}`,
-            message: check.message,
-        })}
+			extra: `note:"Invalid protocol",pattern:${escapeString(check.protocol)}`,
+			message: check.message
+		})}
       }`;
-    }
-    // Zod writes the value back even when hostname/protocol issues were pushed.
-    inner += `${g.output}=${check.normalize ? `${urlVar}.href` : trimmedVar};`;
-    return emit `
+	}
+	inner += `${g.output}=${check.normalize ? `${urlVar}.href` : trimmedVar};`;
+	return emit`
     var ${trimmedVar}=${g.input}.trim();
     var ${urlVar}=null;
     try{${urlVar}=new URL(${trimmedVar});}catch(_){}
@@ -51,207 +51,168 @@ function slowUrlCheck(check, g) {
       ${inner}
     }`;
 }
-export function slowString(ir, g) {
-    let code = "";
-    if (ir.coerce) {
-        code += emit `try{${g.output}=String(${g.input});}catch(_){}`;
-    }
-    code += emit `
+function slowString(ir, g) {
+	let code = "";
+	if (ir.coerce) code += emit`try{${g.output}=String(${g.input});}catch(_){}`;
+	code += emit`
     if(typeof ${g.input}!=="string"){
       ${invalidType(g, "string")}
     }`;
-    if (ir.checks.length > 0) {
-        code += `else{`;
-        // Insertion order mirrors zod's issue order for multi-failure inputs;
-        // the slow path collects all issues with no short-circuit.
-        for (const check of ir.checks) {
-            switch (check.kind) {
-                case "min_length":
-                    code += emit `
+	if (ir.checks.length > 0) {
+		code += `else{`;
+		for (const check of ir.checks) switch (check.kind) {
+			case "min_length":
+				code += emit`
             if(${g.input}.length<${check.minimum}){
               ${tooSmall(g, check.minimum, "string", true, { message: check.message })}
             }`;
-                    break;
-                case "max_length":
-                    code += emit `
+				break;
+			case "max_length":
+				code += emit`
             if(${g.input}.length>${check.maximum}){
               ${tooBig(g, check.maximum, "string", true, { message: check.message })}
             }`;
-                    break;
-                case "length_equals":
-                    code += emit `
+				break;
+			case "length_equals":
+				code += emit`
             if(${g.input}.length<${check.length}){
-              ${tooSmall(g, check.length, "string", true, { exact: true, message: check.message })}
+              ${tooSmall(g, check.length, "string", true, {
+					exact: true,
+					message: check.message
+				})}
             }else if(${g.input}.length>${check.length}){
-              ${tooBig(g, check.length, "string", true, { exact: true, message: check.message })}
+              ${tooBig(g, check.length, "string", true, {
+					exact: true,
+					message: check.message
+				})}
             }`;
-                    break;
-                case "includes":
-                    code += emit `
-            if(!${g.input}.includes(${escapeString(check.includes)}${check.position !== undefined ? `,${check.position}` : ""})){
-              ${invalidFormat(g, "includes", { extra: `includes:${escapeString(check.includes)}`, message: check.message })}
+				break;
+			case "includes":
+				code += emit`
+            if(!${g.input}.includes(${escapeString(check.includes)}${check.position !== void 0 ? `,${check.position}` : ""})){
+              ${invalidFormat(g, "includes", {
+					extra: `includes:${escapeString(check.includes)}`,
+					message: check.message
+				})}
             }`;
-                    break;
-                case "starts_with":
-                    code += emit `
+				break;
+			case "starts_with":
+				code += emit`
             if(!${g.input}.startsWith(${escapeString(check.prefix)})){
-              ${invalidFormat(g, "starts_with", { extra: `prefix:${escapeString(check.prefix)}`, message: check.message })}
+              ${invalidFormat(g, "starts_with", {
+					extra: `prefix:${escapeString(check.prefix)}`,
+					message: check.message
+				})}
             }`;
-                    break;
-                case "ends_with":
-                    code += emit `
+				break;
+			case "ends_with":
+				code += emit`
             if(!${g.input}.endsWith(${escapeString(check.suffix)})){
-              ${invalidFormat(g, "ends_with", { extra: `suffix:${escapeString(check.suffix)}`, message: check.message })}
+              ${invalidFormat(g, "ends_with", {
+					extra: `suffix:${escapeString(check.suffix)}`,
+					message: check.message
+				})}
             }`;
-                    break;
-                case "refine_effect":
-                    code += refineCheck(check, g.input, g);
-                    break;
-                case "super_refine_effect":
-                    code += superRefineCheck(check, g.input, g);
-                    break;
-                case "overwrite_effect":
-                    // $ZodCheckOverwrite: value = tx(value). Later checks read the
-                    // rewritten value because input aliases the output location.
-                    code += emit `${g.output}=${emitEffectFn(g.ctx, check.source)}(${g.input});`;
-                    break;
-                case "string_format": {
-                    let regexVar;
-                    let pattern;
-                    if (check.format === "url") {
-                        code += slowUrlCheck(check, g);
-                        continue;
-                    }
-                    if (check.format === "email") {
-                        pattern = check.pattern ?? EMAIL_REGEX_SOURCE;
-                        regexVar = g.regex("email", pattern, check.patternFlags);
-                    }
-                    else if (check.format === "regex" && check.pattern) {
-                        pattern = check.pattern;
-                        regexVar = g.regex("str", pattern, check.patternFlags);
-                    }
-                    else if (check.format === "uuid") {
-                        pattern = check.pattern ?? UUID_REGEX_SOURCE;
-                        regexVar = g.regex("uuid", pattern, check.patternFlags);
-                    }
-                    else {
-                        if (check.pattern) {
-                            pattern = check.pattern;
-                            regexVar = g.regex("str", pattern, check.patternFlags);
-                        }
-                        else {
-                            // Extraction guarantees a pattern for non-special formats;
-                            // defensive skip kept for hand-built IR.
-                            continue;
-                        }
-                    }
-                    // When emitRegex swapped in a faster equivalent pattern, the runtime
-                    // regex's toString() would leak the rewrite into the issue. Reference
-                    // the shared original-pattern string instead (pattern came from
-                    // RegExp.source, so it matches zod's `.toString()` byte-for-byte).
-                    const rewritten = !check.patternFlags && fastTestSource(pattern) !== null;
-                    const patternExpr = rewritten
-                        ? emitRegexSourceString(g.ctx, pattern)
-                        : `${regexVar}.toString()`;
-                    code += emit `
+				break;
+			case "refine_effect":
+				code += refineCheck(check, g.input, g);
+				break;
+			case "super_refine_effect":
+				code += superRefineCheck(check, g.input, g);
+				break;
+			case "overwrite_effect":
+				code += emit`${g.output}=${emitEffectFn(g.ctx, check.source)}(${g.input});`;
+				break;
+			case "string_format": {
+				let regexVar;
+				let pattern;
+				if (check.format === "url") {
+					code += slowUrlCheck(check, g);
+					continue;
+				}
+				if (check.format === "email") {
+					pattern = check.pattern ?? EMAIL_REGEX_SOURCE;
+					regexVar = g.regex("email", pattern, check.patternFlags);
+				} else if (check.format === "regex" && check.pattern) {
+					pattern = check.pattern;
+					regexVar = g.regex("str", pattern, check.patternFlags);
+				} else if (check.format === "uuid") {
+					pattern = check.pattern ?? "^([0-9a-fA-F]{8}-[0-9a-fA-F]{4}-[1-8][0-9a-fA-F]{3}-[89abAB][0-9a-fA-F]{3}-[0-9a-fA-F]{12}|00000000-0000-0000-0000-000000000000|ffffffff-ffff-ffff-ffff-ffffffffffff)$";
+					regexVar = g.regex("uuid", pattern, check.patternFlags);
+				} else if (check.pattern) {
+					pattern = check.pattern;
+					regexVar = g.regex("str", pattern, check.patternFlags);
+				} else continue;
+				const patternExpr = !check.patternFlags && fastTestSource(pattern) !== null ? emitRegexSourceString(g.ctx, pattern) : `${regexVar}.toString()`;
+				code += emit`
             ${lastIndexReset(regexVar, check.patternFlags)}
             if(!${regexVar}.test(${g.input})){
-              ${invalidFormat(g, { expr: escapeString(check.format) }, { extra: `pattern:${patternExpr},origin:"string"`, message: check.message })}
+              ${invalidFormat(g, { expr: escapeString(check.format) }, {
+					extra: `pattern:${patternExpr},origin:"string"`,
+					message: check.message
+				})}
             }`;
-                    break;
-                }
-            }
-        }
-        code += `}`;
-    }
-    return `${code}\n`;
+				break;
+			}
+		}
+		code += `}`;
+	}
+	return `${code}\n`;
 }
 /**
- * Boolean expression testing ONE compiled string check against `x`, or null when
- * the check is not expressible as a pure predicate (`z.url()`, which trims and
- * normalizes, and an unknown format with no pattern).
- *
- * Shared by the fast path — which sorts the checks cheapest-first and joins them
- * with `&&` — and by the build path, which emits them one statement at a time in
- * DECLARATION order so an interleaved `.trim()` rewrite is visible to the checks
- * that follow it (see buildString).
- */
-export function fastStringCheck(check, x, ctx) {
-    switch (check.kind) {
-        case "min_length":
-            return `${x}.length>=${check.minimum}`;
-        case "max_length":
-            return `${x}.length<=${check.maximum}`;
-        case "length_equals":
-            return `${x}.length===${check.length}`;
-        case "includes":
-            return check.position !== undefined
-                ? `${x}.includes(${escapeString(check.includes)},${check.position})`
-                : `${x}.includes(${escapeString(check.includes)})`;
-        case "starts_with":
-            return `${x}.startsWith(${escapeString(check.prefix)})`;
-        case "ends_with":
-            return `${x}.endsWith(${escapeString(check.suffix)})`;
-        case "string_format": {
-            // URL validation mutates (trims) and uses try/catch — not a predicate.
-            if (check.format === "url")
-                return null;
-            let pattern;
-            let prefix;
-            if (check.format === "email") {
-                prefix = "email";
-                pattern = check.pattern ?? EMAIL_REGEX_SOURCE;
-            }
-            else if (check.format === "uuid") {
-                prefix = "uuid";
-                pattern = check.pattern ?? UUID_REGEX_SOURCE;
-            }
-            else if (check.pattern) {
-                prefix = "re";
-                pattern = check.pattern;
-            }
-            else {
-                // Unknown format without pattern — can't generate a check
-                return null;
-            }
-            const v = emitRegex(ctx, prefix, pattern, check.patternFlags);
-            // Stateful (g/y) regexes need lastIndex reset; comma expression keeps
-            // this usable inside the boolean chain.
-            return check.patternFlags && /[gy]/.test(check.patternFlags)
-                ? `((${v}.lastIndex=0),${v}.test(${x}))`
-                : `${v}.test(${x})`;
-        }
-        default:
-            // A check kind this generator does not model (number/bigint/date/set
-            // shapes never reach here from a string node).
-            return null;
-    }
+* Boolean expression testing ONE compiled string check against `x`, or null when
+* the check is not expressible as a pure predicate (`z.url()`, which trims and
+* normalizes, and an unknown format with no pattern).
+*
+* Shared by the fast path — which sorts the checks cheapest-first and joins them
+* with `&&` — and by the build path, which emits them one statement at a time in
+* DECLARATION order so an interleaved `.trim()` rewrite is visible to the checks
+* that follow it (see buildString).
+*/
+function fastStringCheck(check, x, ctx) {
+	switch (check.kind) {
+		case "min_length": return `${x}.length>=${check.minimum}`;
+		case "max_length": return `${x}.length<=${check.maximum}`;
+		case "length_equals": return `${x}.length===${check.length}`;
+		case "includes": return check.position !== void 0 ? `${x}.includes(${escapeString(check.includes)},${check.position})` : `${x}.includes(${escapeString(check.includes)})`;
+		case "starts_with": return `${x}.startsWith(${escapeString(check.prefix)})`;
+		case "ends_with": return `${x}.endsWith(${escapeString(check.suffix)})`;
+		case "string_format": {
+			if (check.format === "url") return null;
+			let pattern;
+			let prefix;
+			if (check.format === "email") {
+				prefix = "email";
+				pattern = check.pattern ?? EMAIL_REGEX_SOURCE;
+			} else if (check.format === "uuid") {
+				prefix = "uuid";
+				pattern = check.pattern ?? "^([0-9a-fA-F]{8}-[0-9a-fA-F]{4}-[1-8][0-9a-fA-F]{3}-[89abAB][0-9a-fA-F]{3}-[0-9a-fA-F]{12}|00000000-0000-0000-0000-000000000000|ffffffff-ffff-ffff-ffff-ffffffffffff)$";
+			} else if (check.pattern) {
+				prefix = "re";
+				pattern = check.pattern;
+			} else return null;
+			const v = emitRegex(ctx, prefix, pattern, check.patternFlags);
+			return check.patternFlags && /[gy]/.test(check.patternFlags) ? `((${v}.lastIndex=0),${v}.test(${x}))` : `${v}.test(${x})`;
+		}
+		default: return null;
+	}
 }
-export function fastString(ir, g) {
-    if (ir.coerce)
-        return null;
-    // Overwrite effects rewrite the value — the fast path returns input
-    // unchanged, so any mutation makes it ineligible.
-    if (ir.checks.some((c) => c.kind === "overwrite_effect"))
-        return null;
-    const x = g.input;
-    const parts = [`typeof ${x}==="string"`];
-    const checks = ir.checks.filter((c) => c.kind !== "refine_effect" && c.kind !== "overwrite_effect");
-    for (const check of checks.sort(checkPriority)) {
-        const expr = fastStringCheck(check, x, g.ctx);
-        if (expr === null)
-            return null;
-        parts.push(expr);
-    }
-    // Refine effect checks (appended last — run after cheap checks short-circuit)
-    for (const check of ir.checks) {
-        if (check.kind === "refine_effect") {
-            parts.push(`${emitEffectCallable(g.ctx, check)}(${x})`);
-        }
-        else if (check.kind === "super_refine_effect") {
-            parts.push(superRefineFastTest(check, x, g));
-        }
-    }
-    return parts.join("&&");
+function fastString(ir, g) {
+	if (ir.coerce) return null;
+	if (ir.checks.some((c) => c.kind === "overwrite_effect")) return null;
+	const x = g.input;
+	const parts = [`typeof ${x}==="string"`];
+	const checks = ir.checks.filter((c) => c.kind !== "refine_effect" && c.kind !== "overwrite_effect");
+	for (const check of checks.sort(checkPriority)) {
+		const expr = fastStringCheck(check, x, g.ctx);
+		if (expr === null) return null;
+		parts.push(expr);
+	}
+	for (const check of ir.checks) if (check.kind === "refine_effect") parts.push(`${emitEffectCallable(g.ctx, check)}(${x})`);
+	else if (check.kind === "super_refine_effect") parts.push(superRefineFastTest(check, x, g));
+	return parts.join("&&");
 }
+//#endregion
+export { fastString, fastStringCheck, slowString };
+
 //# sourceMappingURL=string.js.map

package/dist/core/codegen/schemas/string.js.map

@@ -1 +1 @@
-{"version":3,"file":"string.js","sourceRoot":"","sources":["../../../../src/core/codegen/schemas/string.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,aAAa,EACb,kBAAkB,EAClB,YAAY,EACZ,SAAS,EACT,qBAAqB,EACrB,YAAY,GACb,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAClC,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAChF,OAAO,EAAE,kBAAkB,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC/F,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAEjF,4EAA4E;AAC5E,SAAS,cAAc,CAAC,QAAgB,EAAE,KAAyB;IACjE,OAAO,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC;AACvE,CAAC;AAED;;;;GAIG;AACH,SAAS,YAAY,CAAC,KAAwB,EAAE,CAAU;IACxD,MAAM,UAAU,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChC,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3B,IAAI,KAAK,GAAG,EAAE,CAAC;IACf,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACnB,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC;QAChE,KAAK,IAAI,IAAI,CAAA;QACT,cAAc,CAAC,EAAE,EAAE,KAAK,CAAC,aAAa,CAAC;YACnC,EAAE,SAAS,MAAM;UACnB,aAAa,CAAC,CAAC,EAAE,KAAK,EAAE;YACxB,KAAK,EAAE,mCAAmC,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE;YACxE,OAAO,EAAE,KAAK,CAAC,OAAO;SACvB,CAAC;QACF,CAAC;IACP,CAAC;IACD,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACnB,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC;QACjE,MAAM,SAAS,GAAG,IAAI,MAAM,2BAA2B,MAAM,yBAAyB,MAAM,YAAY,CAAC;QACzG,KAAK,IAAI,IAAI,CAAA;QACT,cAAc,CAAC,EAAE,EAAE,KAAK,CAAC,aAAa,CAAC;YACnC,EAAE,SAAS,SAAS;UACtB,aAAa,CAAC,CAAC,EAAE,KAAK,EAAE;YACxB,KAAK,EAAE,mCAAmC,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE;YACxE,OAAO,EAAE,KAAK,CAAC,OAAO;SACvB,CAAC;QACF,CAAC;IACP,CAAC;IACD,4EAA4E;IAC5E,KAAK,IAAI,GAAG,CAAC,CAAC,MAAM,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,MAAM,OAAO,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC;IAC3E,OAAO,IAAI,CAAA;UACH,UAAU,IAAI,CAAC,CAAC,KAAK;UACrB,MAAM;UACN,MAAM,YAAY,UAAU;SAC7B,MAAM;QACP,aAAa,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;;QAEnD,KAAK;MACP,CAAC;AACP,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,EAAY,EAAE,CAAU;IACjD,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QACd,IAAI,IAAI,IAAI,CAAA,OAAO,CAAC,CAAC,MAAM,WAAW,CAAC,CAAC,KAAK,eAAe,CAAC;IAC/D,CAAC;IACD,IAAI,IAAI,IAAI,CAAA;gBACE,CAAC,CAAC,KAAK;QACf,WAAW,CAAC,CAAC,EAAE,QAAQ,CAAC;MAC1B,CAAC;IAEL,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,IAAI,IAAI,OAAO,CAAC;QAChB,sEAAsE;QACtE,2DAA2D;QAC3D,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;YAC9B,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;gBACnB,KAAK,YAAY;oBACf,IAAI,IAAI,IAAI,CAAA;iBACL,CAAC,CAAC,KAAK,WAAW,KAAK,CAAC,OAAO;gBAChC,QAAQ,CAAC,CAAC,EAAE,KAAK,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;cACxE,CAAC;oBACL,MAAM;gBACR,KAAK,YAAY;oBACf,IAAI,IAAI,IAAI,CAAA;iBACL,CAAC,CAAC,KAAK,WAAW,KAAK,CAAC,OAAO;gBAChC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;cACtE,CAAC;oBACL,MAAM;gBACR,KAAK,eAAe;oBAClB,IAAI,IAAI,IAAI,CAAA;iBACL,CAAC,CAAC,KAAK,WAAW,KAAK,CAAC,MAAM;gBAC/B,QAAQ,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;uBAC3E,CAAC,CAAC,KAAK,WAAW,KAAK,CAAC,MAAM;gBACrC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;cAClF,CAAC;oBACL,MAAM;gBACR,KAAK,UAAU;oBACb,IAAI,IAAI,IAAI,CAAA;kBACJ,CAAC,CAAC,KAAK,aAAa,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE;gBAC7G,aAAa,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE,KAAK,EAAE,YAAY,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;cAC7G,CAAC;oBACL,MAAM;gBACR,KAAK,aAAa;oBAChB,IAAI,IAAI,IAAI,CAAA;kBACJ,CAAC,CAAC,KAAK,eAAe,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC;gBAClD,aAAa,CAAC,CAAC,EAAE,aAAa,EAAE,EAAE,KAAK,EAAE,UAAU,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;cAC5G,CAAC;oBACL,MAAM;gBACR,KAAK,WAAW;oBACd,IAAI,IAAI,IAAI,CAAA;kBACJ,CAAC,CAAC,KAAK,aAAa,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC;gBAChD,aAAa,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE,KAAK,EAAE,UAAU,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;cAC1G,CAAC;oBACL,MAAM;gBACR,KAAK,eAAe;oBAClB,IAAI,IAAI,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;oBACvC,MAAM;gBACR,KAAK,qBAAqB;oBACxB,IAAI,IAAI,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;oBAC5C,MAAM;gBACR,KAAK,kBAAkB;oBACrB,+DAA+D;oBAC/D,6DAA6D;oBAC7D,IAAI,IAAI,IAAI,CAAA,GAAG,CAAC,CAAC,MAAM,IAAI,YAAY,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC;oBAC5E,MAAM;gBACR,KAAK,eAAe,CAAC,CAAC,CAAC;oBACrB,IAAI,QAAgB,CAAC;oBACrB,IAAI,OAAe,CAAC;oBACpB,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;wBAC3B,IAAI,IAAI,YAAY,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;wBAC/B,SAAS;oBACX,CAAC;oBACD,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;wBAC7B,OAAO,GAAG,KAAK,CAAC,OAAO,IAAI,kBAAkB,CAAC;wBAC9C,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;oBAC3D,CAAC;yBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;wBACrD,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;wBACxB,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;oBACzD,CAAC;yBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;wBACnC,OAAO,GAAG,KAAK,CAAC,OAAO,IAAI,iBAAiB,CAAC;wBAC7C,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;oBAC1D,CAAC;yBAAM,CAAC;wBACN,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;4BAClB,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;4BACxB,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;wBACzD,CAAC;6BAAM,CAAC;4BACN,2DAA2D;4BAC3D,yCAAyC;4BACzC,SAAS;wBACX,CAAC;oBACH,CAAC;oBACD,qEAAqE;oBACrE,sEAAsE;oBACtE,gEAAgE;oBAChE,mEAAmE;oBACnE,MAAM,SAAS,GAAG,CAAC,KAAK,CAAC,YAAY,IAAI,cAAc,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC;oBAC1E,MAAM,WAAW,GAAG,SAAS;wBAC3B,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC;wBACvC,CAAC,CAAC,GAAG,QAAQ,aAAa,CAAC;oBAC7B,IAAI,IAAI,IAAI,CAAA;cACR,cAAc,CAAC,QAAQ,EAAE,KAAK,CAAC,YAAY,CAAC;kBACxC,QAAQ,SAAS,CAAC,CAAC,KAAK;gBAC1B,aAAa,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,WAAW,WAAW,kBAAkB,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;cACrI,CAAC;oBACL,MAAM;gBACR,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,IAAI,GAAG,CAAC;IACd,CAAC;IAED,OAAO,GAAG,IAAI,IAAI,CAAC;AACrB,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,eAAe,CAAC,KAAc,EAAE,CAAS,EAAE,GAAmB;IAC5E,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,YAAY;YACf,OAAO,GAAG,CAAC,YAAY,KAAK,CAAC,OAAO,EAAE,CAAC;QACzC,KAAK,YAAY;YACf,OAAO,GAAG,CAAC,YAAY,KAAK,CAAC,OAAO,EAAE,CAAC;QACzC,KAAK,eAAe;YAClB,OAAO,GAAG,CAAC,aAAa,KAAK,CAAC,MAAM,EAAE,CAAC;QACzC,KAAK,UAAU;YACb,OAAO,KAAK,CAAC,QAAQ,KAAK,SAAS;gBACjC,CAAC,CAAC,GAAG,CAAC,aAAa,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,QAAQ,GAAG;gBACpE,CAAC,CAAC,GAAG,CAAC,aAAa,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC;QACvD,KAAK,aAAa;YAChB,OAAO,GAAG,CAAC,eAAe,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC;QAC1D,KAAK,WAAW;YACd,OAAO,GAAG,CAAC,aAAa,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC;QACxD,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,uEAAuE;YACvE,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK;gBAAE,OAAO,IAAI,CAAC;YACxC,IAAI,OAAe,CAAC;YACpB,IAAI,MAAc,CAAC;YACnB,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;gBAC7B,MAAM,GAAG,OAAO,CAAC;gBACjB,OAAO,GAAG,KAAK,CAAC,OAAO,IAAI,kBAAkB,CAAC;YAChD,CAAC;iBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;gBACnC,MAAM,GAAG,MAAM,CAAC;gBAChB,OAAO,GAAG,KAAK,CAAC,OAAO,IAAI,iBAAiB,CAAC;YAC/C,CAAC;iBAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;gBACzB,MAAM,GAAG,IAAI,CAAC;gBACd,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;YAC1B,CAAC;iBAAM,CAAC;gBACN,0DAA0D;gBAC1D,OAAO,IAAI,CAAC;YACd,CAAC;YACD,MAAM,CAAC,GAAG,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;YAC9D,sEAAsE;YACtE,wCAAwC;YACxC,OAAO,KAAK,CAAC,YAAY,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC;gBAC1D,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC,SAAS,CAAC,IAAI;gBACxC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC;QACxB,CAAC;QACD;YACE,qEAAqE;YACrE,+CAA+C;YAC/C,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,EAAY,EAAE,CAAU;IACjD,IAAI,EAAE,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IAC3B,oEAAoE;IACpE,kDAAkD;IAClD,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,kBAAkB,CAAC;QAAE,OAAO,IAAI,CAAC;IAEtE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;IAClB,MAAM,KAAK,GAAa,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;IACnD,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAC7B,CAAC,CAAC,EAAgB,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,CAAC,IAAI,KAAK,kBAAkB,CACjF,CAAC;IAEF,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;QAC/C,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QAC9C,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC;IAED,8EAA8E;IAC9E,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QAC9B,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YACnC,KAAK,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1D,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YAChD,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}
+{"version":3,"file":"string.js","names":[],"sources":["../../../../src/core/codegen/schemas/string.ts"],"sourcesContent":["import type { CheckIR, CheckStringFormat, StringIR } from \"../../types.js\";\nimport type { CodeGenContext, FastGen, SlowGen } from \"../context.js\";\nimport {\n  checkPriority,\n  emitEffectCallable,\n  emitEffectFn,\n  emitRegex,\n  emitRegexSourceString,\n  escapeString,\n} from \"../context.js\";\nimport { emit } from \"../emit.js\";\nimport { invalidFormat, invalidType, tooBig, tooSmall } from \"../emit-issue.js\";\nimport { EMAIL_REGEX_SOURCE, fastTestSource, UUID_REGEX_SOURCE } from \"../well-known-regex.js\";\nimport { refineCheck, superRefineCheck, superRefineFastTest } from \"./effect.js\";\n\n/** `re.lastIndex=0;` reset statement for stateful (g/y-flagged) regexes. */\nfunction lastIndexReset(regexVar: string, flags: string | undefined): string {\n  return flags && /[gy]/.test(flags) ? `${regexVar}.lastIndex=0;` : \"\";\n}\n\n/**\n * Generate the url check, mirroring $ZodURL semantics:\n * trim → new URL(trimmed) → optional hostname/protocol regex tests →\n * write back url.href (normalize) or the trimmed input.\n */\nfunction slowUrlCheck(check: CheckStringFormat, g: SlowGen): string {\n  const trimmedVar = g.temp(\"ut\");\n  const urlVar = g.temp(\"u\");\n  let inner = \"\";\n  if (check.hostname) {\n    const re = g.regex(\"host\", check.hostname, check.hostnameFlags);\n    inner += emit`\n      ${lastIndexReset(re, check.hostnameFlags)}\n      if(!${re}.test(${urlVar}.hostname)){\n        ${invalidFormat(g, \"url\", {\n          extra: `note:\"Invalid hostname\",pattern:${escapeString(check.hostname)}`,\n          message: check.message,\n        })}\n      }`;\n  }\n  if (check.protocol) {\n    const re = g.regex(\"proto\", check.protocol, check.protocolFlags);\n    const protoExpr = `(${urlVar}.protocol.endsWith(\":\")?${urlVar}.protocol.slice(0,-1):${urlVar}.protocol)`;\n    inner += emit`\n      ${lastIndexReset(re, check.protocolFlags)}\n      if(!${re}.test(${protoExpr})){\n        ${invalidFormat(g, \"url\", {\n          extra: `note:\"Invalid protocol\",pattern:${escapeString(check.protocol)}`,\n          message: check.message,\n        })}\n      }`;\n  }\n  // Zod writes the value back even when hostname/protocol issues were pushed.\n  inner += `${g.output}=${check.normalize ? `${urlVar}.href` : trimmedVar};`;\n  return emit`\n    var ${trimmedVar}=${g.input}.trim();\n    var ${urlVar}=null;\n    try{${urlVar}=new URL(${trimmedVar});}catch(_){}\n    if(${urlVar}===null){\n      ${invalidFormat(g, \"url\", { message: check.message })}\n    }else{\n      ${inner}\n    }`;\n}\n\nexport function slowString(ir: StringIR, g: SlowGen): string {\n  let code = \"\";\n  if (ir.coerce) {\n    code += emit`try{${g.output}=String(${g.input});}catch(_){}`;\n  }\n  code += emit`\n    if(typeof ${g.input}!==\"string\"){\n      ${invalidType(g, \"string\")}\n    }`;\n\n  if (ir.checks.length > 0) {\n    code += `else{`;\n    // Insertion order mirrors zod's issue order for multi-failure inputs;\n    // the slow path collects all issues with no short-circuit.\n    for (const check of ir.checks) {\n      switch (check.kind) {\n        case \"min_length\":\n          code += emit`\n            if(${g.input}.length<${check.minimum}){\n              ${tooSmall(g, check.minimum, \"string\", true, { message: check.message })}\n            }`;\n          break;\n        case \"max_length\":\n          code += emit`\n            if(${g.input}.length>${check.maximum}){\n              ${tooBig(g, check.maximum, \"string\", true, { message: check.message })}\n            }`;\n          break;\n        case \"length_equals\":\n          code += emit`\n            if(${g.input}.length<${check.length}){\n              ${tooSmall(g, check.length, \"string\", true, { exact: true, message: check.message })}\n            }else if(${g.input}.length>${check.length}){\n              ${tooBig(g, check.length, \"string\", true, { exact: true, message: check.message })}\n            }`;\n          break;\n        case \"includes\":\n          code += emit`\n            if(!${g.input}.includes(${escapeString(check.includes)}${check.position !== undefined ? `,${check.position}` : \"\"})){\n              ${invalidFormat(g, \"includes\", { extra: `includes:${escapeString(check.includes)}`, message: check.message })}\n            }`;\n          break;\n        case \"starts_with\":\n          code += emit`\n            if(!${g.input}.startsWith(${escapeString(check.prefix)})){\n              ${invalidFormat(g, \"starts_with\", { extra: `prefix:${escapeString(check.prefix)}`, message: check.message })}\n            }`;\n          break;\n        case \"ends_with\":\n          code += emit`\n            if(!${g.input}.endsWith(${escapeString(check.suffix)})){\n              ${invalidFormat(g, \"ends_with\", { extra: `suffix:${escapeString(check.suffix)}`, message: check.message })}\n            }`;\n          break;\n        case \"refine_effect\":\n          code += refineCheck(check, g.input, g);\n          break;\n        case \"super_refine_effect\":\n          code += superRefineCheck(check, g.input, g);\n          break;\n        case \"overwrite_effect\":\n          // $ZodCheckOverwrite: value = tx(value). Later checks read the\n          // rewritten value because input aliases the output location.\n          code += emit`${g.output}=${emitEffectFn(g.ctx, check.source)}(${g.input});`;\n          break;\n        case \"string_format\": {\n          let regexVar: string;\n          let pattern: string;\n          if (check.format === \"url\") {\n            code += slowUrlCheck(check, g);\n            continue;\n          }\n          if (check.format === \"email\") {\n            pattern = check.pattern ?? EMAIL_REGEX_SOURCE;\n            regexVar = g.regex(\"email\", pattern, check.patternFlags);\n          } else if (check.format === \"regex\" && check.pattern) {\n            pattern = check.pattern;\n            regexVar = g.regex(\"str\", pattern, check.patternFlags);\n          } else if (check.format === \"uuid\") {\n            pattern = check.pattern ?? UUID_REGEX_SOURCE;\n            regexVar = g.regex(\"uuid\", pattern, check.patternFlags);\n          } else {\n            if (check.pattern) {\n              pattern = check.pattern;\n              regexVar = g.regex(\"str\", pattern, check.patternFlags);\n            } else {\n              // Extraction guarantees a pattern for non-special formats;\n              // defensive skip kept for hand-built IR.\n              continue;\n            }\n          }\n          // When emitRegex swapped in a faster equivalent pattern, the runtime\n          // regex's toString() would leak the rewrite into the issue. Reference\n          // the shared original-pattern string instead (pattern came from\n          // RegExp.source, so it matches zod's `.toString()` byte-for-byte).\n          const rewritten = !check.patternFlags && fastTestSource(pattern) !== null;\n          const patternExpr = rewritten\n            ? emitRegexSourceString(g.ctx, pattern)\n            : `${regexVar}.toString()`;\n          code += emit`\n            ${lastIndexReset(regexVar, check.patternFlags)}\n            if(!${regexVar}.test(${g.input})){\n              ${invalidFormat(g, { expr: escapeString(check.format) }, { extra: `pattern:${patternExpr},origin:\"string\"`, message: check.message })}\n            }`;\n          break;\n        }\n      }\n    }\n    code += `}`;\n  }\n\n  return `${code}\\n`;\n}\n\n/**\n * Boolean expression testing ONE compiled string check against `x`, or null when\n * the check is not expressible as a pure predicate (`z.url()`, which trims and\n * normalizes, and an unknown format with no pattern).\n *\n * Shared by the fast path — which sorts the checks cheapest-first and joins them\n * with `&&` — and by the build path, which emits them one statement at a time in\n * DECLARATION order so an interleaved `.trim()` rewrite is visible to the checks\n * that follow it (see buildString).\n */\nexport function fastStringCheck(check: CheckIR, x: string, ctx: CodeGenContext): string | null {\n  switch (check.kind) {\n    case \"min_length\":\n      return `${x}.length>=${check.minimum}`;\n    case \"max_length\":\n      return `${x}.length<=${check.maximum}`;\n    case \"length_equals\":\n      return `${x}.length===${check.length}`;\n    case \"includes\":\n      return check.position !== undefined\n        ? `${x}.includes(${escapeString(check.includes)},${check.position})`\n        : `${x}.includes(${escapeString(check.includes)})`;\n    case \"starts_with\":\n      return `${x}.startsWith(${escapeString(check.prefix)})`;\n    case \"ends_with\":\n      return `${x}.endsWith(${escapeString(check.suffix)})`;\n    case \"string_format\": {\n      // URL validation mutates (trims) and uses try/catch — not a predicate.\n      if (check.format === \"url\") return null;\n      let pattern: string;\n      let prefix: string;\n      if (check.format === \"email\") {\n        prefix = \"email\";\n        pattern = check.pattern ?? EMAIL_REGEX_SOURCE;\n      } else if (check.format === \"uuid\") {\n        prefix = \"uuid\";\n        pattern = check.pattern ?? UUID_REGEX_SOURCE;\n      } else if (check.pattern) {\n        prefix = \"re\";\n        pattern = check.pattern;\n      } else {\n        // Unknown format without pattern — can't generate a check\n        return null;\n      }\n      const v = emitRegex(ctx, prefix, pattern, check.patternFlags);\n      // Stateful (g/y) regexes need lastIndex reset; comma expression keeps\n      // this usable inside the boolean chain.\n      return check.patternFlags && /[gy]/.test(check.patternFlags)\n        ? `((${v}.lastIndex=0),${v}.test(${x}))`\n        : `${v}.test(${x})`;\n    }\n    default:\n      // A check kind this generator does not model (number/bigint/date/set\n      // shapes never reach here from a string node).\n      return null;\n  }\n}\n\nexport function fastString(ir: StringIR, g: FastGen): string | null {\n  if (ir.coerce) return null;\n  // Overwrite effects rewrite the value — the fast path returns input\n  // unchanged, so any mutation makes it ineligible.\n  if (ir.checks.some((c) => c.kind === \"overwrite_effect\")) return null;\n\n  const x = g.input;\n  const parts: string[] = [`typeof ${x}===\"string\"`];\n  const checks = ir.checks.filter(\n    (c): c is CheckIR => c.kind !== \"refine_effect\" && c.kind !== \"overwrite_effect\",\n  );\n\n  for (const check of checks.sort(checkPriority)) {\n    const expr = fastStringCheck(check, x, g.ctx);\n    if (expr === null) return null;\n    parts.push(expr);\n  }\n\n  // Refine effect checks (appended last — run after cheap checks short-circuit)\n  for (const check of ir.checks) {\n    if (check.kind === \"refine_effect\") {\n      parts.push(`${emitEffectCallable(g.ctx, check)}(${x})`);\n    } else if (check.kind === \"super_refine_effect\") {\n      parts.push(superRefineFastTest(check, x, g));\n    }\n  }\n\n  return parts.join(\"&&\");\n}\n"],"mappings":";;;;;;;AAgBA,SAAS,eAAe,UAAkB,OAAmC;CAC3E,OAAO,SAAS,OAAO,KAAK,KAAK,IAAI,GAAG,SAAS,iBAAiB;AACpE;;;;;;AAOA,SAAS,aAAa,OAA0B,GAAoB;CAClE,MAAM,aAAa,EAAE,KAAK,IAAI;CAC9B,MAAM,SAAS,EAAE,KAAK,GAAG;CACzB,IAAI,QAAQ;CACZ,IAAI,MAAM,UAAU;EAClB,MAAM,KAAK,EAAE,MAAM,QAAQ,MAAM,UAAU,MAAM,aAAa;EAC9D,SAAS,IAAI;QACT,eAAe,IAAI,MAAM,aAAa,EAAE;YACpC,GAAG,QAAQ,OAAO;UACpB,cAAc,GAAG,OAAO;GACxB,OAAO,mCAAmC,aAAa,MAAM,QAAQ;GACrE,SAAS,MAAM;EACjB,CAAC,EAAE;;CAET;CACA,IAAI,MAAM,UAAU;EAClB,MAAM,KAAK,EAAE,MAAM,SAAS,MAAM,UAAU,MAAM,aAAa;EAC/D,MAAM,YAAY,IAAI,OAAO,0BAA0B,OAAO,wBAAwB,OAAO;EAC7F,SAAS,IAAI;QACT,eAAe,IAAI,MAAM,aAAa,EAAE;YACpC,GAAG,QAAQ,UAAU;UACvB,cAAc,GAAG,OAAO;GACxB,OAAO,mCAAmC,aAAa,MAAM,QAAQ;GACrE,SAAS,MAAM;EACjB,CAAC,EAAE;;CAET;CAEA,SAAS,GAAG,EAAE,OAAO,GAAG,MAAM,YAAY,GAAG,OAAO,SAAS,WAAW;CACxE,OAAO,IAAI;UACH,WAAW,GAAG,EAAE,MAAM;UACtB,OAAO;UACP,OAAO,WAAW,WAAW;SAC9B,OAAO;QACR,cAAc,GAAG,OAAO,EAAE,SAAS,MAAM,QAAQ,CAAC,EAAE;;QAEpD,MAAM;;AAEd;AAEA,SAAgB,WAAW,IAAc,GAAoB;CAC3D,IAAI,OAAO;CACX,IAAI,GAAG,QACL,QAAQ,IAAI,OAAO,EAAE,OAAO,UAAU,EAAE,MAAM;CAEhD,QAAQ,IAAI;gBACE,EAAE,MAAM;QAChB,YAAY,GAAG,QAAQ,EAAE;;CAG/B,IAAI,GAAG,OAAO,SAAS,GAAG;EACxB,QAAQ;EAGR,KAAK,MAAM,SAAS,GAAG,QACrB,QAAQ,MAAM,MAAd;GACE,KAAK;IACH,QAAQ,IAAI;iBACL,EAAE,MAAM,UAAU,MAAM,QAAQ;gBACjC,SAAS,GAAG,MAAM,SAAS,UAAU,MAAM,EAAE,SAAS,MAAM,QAAQ,CAAC,EAAE;;IAE7E;GACF,KAAK;IACH,QAAQ,IAAI;iBACL,EAAE,MAAM,UAAU,MAAM,QAAQ;gBACjC,OAAO,GAAG,MAAM,SAAS,UAAU,MAAM,EAAE,SAAS,MAAM,QAAQ,CAAC,EAAE;;IAE3E;GACF,KAAK;IACH,QAAQ,IAAI;iBACL,EAAE,MAAM,UAAU,MAAM,OAAO;gBAChC,SAAS,GAAG,MAAM,QAAQ,UAAU,MAAM;KAAE,OAAO;KAAM,SAAS,MAAM;IAAQ,CAAC,EAAE;uBAC5E,EAAE,MAAM,UAAU,MAAM,OAAO;gBACtC,OAAO,GAAG,MAAM,QAAQ,UAAU,MAAM;KAAE,OAAO;KAAM,SAAS,MAAM;IAAQ,CAAC,EAAE;;IAEvF;GACF,KAAK;IACH,QAAQ,IAAI;kBACJ,EAAE,MAAM,YAAY,aAAa,MAAM,QAAQ,IAAI,MAAM,aAAa,KAAA,IAAY,IAAI,MAAM,aAAa,GAAG;gBAC9G,cAAc,GAAG,YAAY;KAAE,OAAO,YAAY,aAAa,MAAM,QAAQ;KAAK,SAAS,MAAM;IAAQ,CAAC,EAAE;;IAElH;GACF,KAAK;IACH,QAAQ,IAAI;kBACJ,EAAE,MAAM,cAAc,aAAa,MAAM,MAAM,EAAE;gBACnD,cAAc,GAAG,eAAe;KAAE,OAAO,UAAU,aAAa,MAAM,MAAM;KAAK,SAAS,MAAM;IAAQ,CAAC,EAAE;;IAEjH;GACF,KAAK;IACH,QAAQ,IAAI;kBACJ,EAAE,MAAM,YAAY,aAAa,MAAM,MAAM,EAAE;gBACjD,cAAc,GAAG,aAAa;KAAE,OAAO,UAAU,aAAa,MAAM,MAAM;KAAK,SAAS,MAAM;IAAQ,CAAC,EAAE;;IAE/G;GACF,KAAK;IACH,QAAQ,YAAY,OAAO,EAAE,OAAO,CAAC;IACrC;GACF,KAAK;IACH,QAAQ,iBAAiB,OAAO,EAAE,OAAO,CAAC;IAC1C;GACF,KAAK;IAGH,QAAQ,IAAI,GAAG,EAAE,OAAO,GAAG,aAAa,EAAE,KAAK,MAAM,MAAM,EAAE,GAAG,EAAE,MAAM;IACxE;GACF,KAAK,iBAAiB;IACpB,IAAI;IACJ,IAAI;IACJ,IAAI,MAAM,WAAW,OAAO;KAC1B,QAAQ,aAAa,OAAO,CAAC;KAC7B;IACF;IACA,IAAI,MAAM,WAAW,SAAS;KAC5B,UAAU,MAAM,WAAW;KAC3B,WAAW,EAAE,MAAM,SAAS,SAAS,MAAM,YAAY;IACzD,OAAO,IAAI,MAAM,WAAW,WAAW,MAAM,SAAS;KACpD,UAAU,MAAM;KAChB,WAAW,EAAE,MAAM,OAAO,SAAS,MAAM,YAAY;IACvD,OAAO,IAAI,MAAM,WAAW,QAAQ;KAClC,UAAU,MAAM,WAAA;KAChB,WAAW,EAAE,MAAM,QAAQ,SAAS,MAAM,YAAY;IACxD,OACE,IAAI,MAAM,SAAS;KACjB,UAAU,MAAM;KAChB,WAAW,EAAE,MAAM,OAAO,SAAS,MAAM,YAAY;IACvD,OAGE;IAQJ,MAAM,cADY,CAAC,MAAM,gBAAgB,eAAe,OAAO,MAAM,OAEjE,sBAAsB,EAAE,KAAK,OAAO,IACpC,GAAG,SAAS;IAChB,QAAQ,IAAI;cACR,eAAe,UAAU,MAAM,YAAY,EAAE;kBACzC,SAAS,QAAQ,EAAE,MAAM;gBAC3B,cAAc,GAAG,EAAE,MAAM,aAAa,MAAM,MAAM,EAAE,GAAG;KAAE,OAAO,WAAW,YAAY;KAAmB,SAAS,MAAM;IAAQ,CAAC,EAAE;;IAE1I;GACF;EACF;EAEF,QAAQ;CACV;CAEA,OAAO,GAAG,KAAK;AACjB;;;;;;;;;;;AAYA,SAAgB,gBAAgB,OAAgB,GAAW,KAAoC;CAC7F,QAAQ,MAAM,MAAd;EACE,KAAK,cACH,OAAO,GAAG,EAAE,WAAW,MAAM;EAC/B,KAAK,cACH,OAAO,GAAG,EAAE,WAAW,MAAM;EAC/B,KAAK,iBACH,OAAO,GAAG,EAAE,YAAY,MAAM;EAChC,KAAK,YACH,OAAO,MAAM,aAAa,KAAA,IACtB,GAAG,EAAE,YAAY,aAAa,MAAM,QAAQ,EAAE,GAAG,MAAM,SAAS,KAChE,GAAG,EAAE,YAAY,aAAa,MAAM,QAAQ,EAAE;EACpD,KAAK,eACH,OAAO,GAAG,EAAE,cAAc,aAAa,MAAM,MAAM,EAAE;EACvD,KAAK,aACH,OAAO,GAAG,EAAE,YAAY,aAAa,MAAM,MAAM,EAAE;EACrD,KAAK,iBAAiB;GAEpB,IAAI,MAAM,WAAW,OAAO,OAAO;GACnC,IAAI;GACJ,IAAI;GACJ,IAAI,MAAM,WAAW,SAAS;IAC5B,SAAS;IACT,UAAU,MAAM,WAAW;GAC7B,OAAO,IAAI,MAAM,WAAW,QAAQ;IAClC,SAAS;IACT,UAAU,MAAM,WAAA;GAClB,OAAO,IAAI,MAAM,SAAS;IACxB,SAAS;IACT,UAAU,MAAM;GAClB,OAEE,OAAO;GAET,MAAM,IAAI,UAAU,KAAK,QAAQ,SAAS,MAAM,YAAY;GAG5D,OAAO,MAAM,gBAAgB,OAAO,KAAK,MAAM,YAAY,IACvD,KAAK,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MACnC,GAAG,EAAE,QAAQ,EAAE;EACrB;EACA,SAGE,OAAO;CACX;AACF;AAEA,SAAgB,WAAW,IAAc,GAA2B;CAClE,IAAI,GAAG,QAAQ,OAAO;CAGtB,IAAI,GAAG,OAAO,MAAM,MAAM,EAAE,SAAS,kBAAkB,GAAG,OAAO;CAEjE,MAAM,IAAI,EAAE;CACZ,MAAM,QAAkB,CAAC,UAAU,EAAE,YAAY;CACjD,MAAM,SAAS,GAAG,OAAO,QACtB,MAAoB,EAAE,SAAS,mBAAmB,EAAE,SAAS,kBAChE;CAEA,KAAK,MAAM,SAAS,OAAO,KAAK,aAAa,GAAG;EAC9C,MAAM,OAAO,gBAAgB,OAAO,GAAG,EAAE,GAAG;EAC5C,IAAI,SAAS,MAAM,OAAO;EAC1B,MAAM,KAAK,IAAI;CACjB;CAGA,KAAK,MAAM,SAAS,GAAG,QACrB,IAAI,MAAM,SAAS,iBACjB,MAAM,KAAK,GAAG,mBAAmB,EAAE,KAAK,KAAK,EAAE,GAAG,EAAE,EAAE;MACjD,IAAI,MAAM,SAAS,uBACxB,MAAM,KAAK,oBAAoB,OAAO,GAAG,CAAC,CAAC;CAI/C,OAAO,MAAM,KAAK,IAAI;AACxB"}

package/dist/core/codegen/schemas/symbol.d.ts

@@ -1,5 +1,8 @@
-import type { SymbolIR } from "../../types.js";
-import type { FastGen, SlowGen } from "../context.js";
-export declare function slowSymbol(_ir: SymbolIR, g: SlowGen): string;
-export declare function fastSymbol(_ir: SymbolIR, g: FastGen): string | null;
+import { SymbolIR } from "../../types.js";
+import { FastGen, SlowGen } from "../context.js";
+//#region src/core/codegen/schemas/symbol.d.ts
+declare function slowSymbol(_ir: SymbolIR, g: SlowGen): string;
+declare function fastSymbol(_ir: SymbolIR, g: FastGen): string | null;
+//#endregion
+export { fastSymbol, slowSymbol };
 //# sourceMappingURL=symbol.d.ts.map

package/dist/core/codegen/schemas/symbol.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"symbol.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/schemas/symbol.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAItD,wBAAgB,UAAU,CAAC,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,CAM5D;AAED,wBAAgB,UAAU,CAAC,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAEnE"}
+{"version":3,"file":"symbol.d.ts","names":[],"sources":["../../../../src/core/codegen/schemas/symbol.ts"],"mappings":";;;iBAKgB,WAAW,KAAK,UAAU,GAAG;iBAQ7B,WAAW,KAAK,UAAU,GAAG"}

package/dist/core/codegen/schemas/symbol.js

@@ -1,13 +1,17 @@
 import { emit } from "../emit.js";
 import { invalidType } from "../emit-issue.js";
-export function slowSymbol(_ir, g) {
-    return `${emit `
+//#region src/core/codegen/schemas/symbol.ts
+function slowSymbol(_ir, g) {
+	return `${emit`
     if(typeof ${g.input}!=="symbol"){
       ${invalidType(g, "symbol")}
     }
   `}\n`;
 }
-export function fastSymbol(_ir, g) {
-    return `typeof ${g.input}==="symbol"`;
+function fastSymbol(_ir, g) {
+	return `typeof ${g.input}==="symbol"`;
 }
+//#endregion
+export { fastSymbol, slowSymbol };
+
 //# sourceMappingURL=symbol.js.map

package/dist/core/codegen/schemas/symbol.js.map

@@ -1 +1 @@
-{"version":3,"file":"symbol.js","sourceRoot":"","sources":["../../../../src/core/codegen/schemas/symbol.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAClC,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE/C,MAAM,UAAU,UAAU,CAAC,GAAa,EAAE,CAAU;IAClD,OAAO,GAAG,IAAI,CAAA;gBACA,CAAC,CAAC,KAAK;QACf,WAAW,CAAC,CAAC,EAAE,QAAQ,CAAC;;GAE7B,IAAI,CAAC;AACR,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,GAAa,EAAE,CAAU;IAClD,OAAO,UAAU,CAAC,CAAC,KAAK,aAAa,CAAC;AACxC,CAAC"}
+{"version":3,"file":"symbol.js","names":[],"sources":["../../../../src/core/codegen/schemas/symbol.ts"],"sourcesContent":["import type { SymbolIR } from \"../../types.js\";\nimport type { FastGen, SlowGen } from \"../context.js\";\nimport { emit } from \"../emit.js\";\nimport { invalidType } from \"../emit-issue.js\";\n\nexport function slowSymbol(_ir: SymbolIR, g: SlowGen): string {\n  return `${emit`\n    if(typeof ${g.input}!==\"symbol\"){\n      ${invalidType(g, \"symbol\")}\n    }\n  `}\\n`;\n}\n\nexport function fastSymbol(_ir: SymbolIR, g: FastGen): string | null {\n  return `typeof ${g.input}===\"symbol\"`;\n}\n"],"mappings":";;;AAKA,SAAgB,WAAW,KAAe,GAAoB;CAC5D,OAAO,GAAG,IAAI;gBACA,EAAE,MAAM;QAChB,YAAY,GAAG,QAAQ,EAAE;;IAE7B;AACJ;AAEA,SAAgB,WAAW,KAAe,GAA2B;CACnE,OAAO,UAAU,EAAE,MAAM;AAC3B"}

package/dist/core/codegen/schemas/template-literal.d.ts

@@ -1,5 +1,8 @@
-import type { TemplateLiteralIR } from "../../types.js";
-import type { FastGen, SlowGen } from "../context.js";
-export declare function slowTemplateLiteral(ir: TemplateLiteralIR, g: SlowGen): string;
-export declare function fastTemplateLiteral(ir: TemplateLiteralIR, g: FastGen): string | null;
+import { TemplateLiteralIR } from "../../types.js";
+import { FastGen, SlowGen } from "../context.js";
+//#region src/core/codegen/schemas/template-literal.d.ts
+declare function slowTemplateLiteral(ir: TemplateLiteralIR, g: SlowGen): string;
+declare function fastTemplateLiteral(ir: TemplateLiteralIR, g: FastGen): string | null;
+//#endregion
+export { fastTemplateLiteral, slowTemplateLiteral };
 //# sourceMappingURL=template-literal.d.ts.map

package/dist/core/codegen/schemas/template-literal.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"template-literal.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/schemas/template-literal.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACxD,OAAO,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAMtD,wBAAgB,mBAAmB,CAAC,EAAE,EAAE,iBAAiB,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,CAe7E;AAED,wBAAgB,mBAAmB,CAAC,EAAE,EAAE,iBAAiB,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAGpF"}
+{"version":3,"file":"template-literal.d.ts","names":[],"sources":["../../../../src/core/codegen/schemas/template-literal.ts"],"mappings":";;;iBAOgB,oBAAoB,IAAI,mBAAmB,GAAG;iBAiB9C,oBAAoB,IAAI,mBAAmB,GAAG"}

package/dist/core/codegen/schemas/template-literal.js

@@ -1,24 +1,23 @@
+import { fastTestSource } from "../well-known-regex.js";
 import { emitRegexSourceString } from "../context.js";
 import { emit } from "../emit.js";
 import { invalidFormat, invalidType } from "../emit-issue.js";
-import { fastTestSource } from "../well-known-regex.js";
-export function slowTemplateLiteral(ir, g) {
-    const regexVar = g.regex("tl", ir.pattern);
-    // Same rule as slowString: when emitRegex swapped in a faster equivalent
-    // pattern, the runtime regex's toString() would leak the rewrite into the
-    // issue, so the ORIGINAL source string is referenced instead.
-    const patternExpr = fastTestSource(ir.pattern) === null
-        ? `${regexVar}.toString()`
-        : emitRegexSourceString(g.ctx, ir.pattern);
-    return `${emit `
+//#region src/core/codegen/schemas/template-literal.ts
+function slowTemplateLiteral(ir, g) {
+	const regexVar = g.regex("tl", ir.pattern);
+	const patternExpr = fastTestSource(ir.pattern) === null ? `${regexVar}.toString()` : emitRegexSourceString(g.ctx, ir.pattern);
+	return `${emit`
     if(typeof ${g.input}!=="string"){
       ${invalidType(g, "string")}
     }else if(!${regexVar}.test(${g.input})){
       ${invalidFormat(g, "template_literal", { extra: `pattern:${patternExpr}` })}
     }`}\n`;
 }
-export function fastTemplateLiteral(ir, g) {
-    const regexVar = g.regex("tl", ir.pattern);
-    return `typeof ${g.input}==="string"&&${regexVar}.test(${g.input})`;
+function fastTemplateLiteral(ir, g) {
+	const regexVar = g.regex("tl", ir.pattern);
+	return `typeof ${g.input}==="string"&&${regexVar}.test(${g.input})`;
 }
+//#endregion
+export { fastTemplateLiteral, slowTemplateLiteral };
+
 //# sourceMappingURL=template-literal.js.map

package/dist/core/codegen/schemas/template-literal.js.map

@@ -1 +1 @@
-{"version":3,"file":"template-literal.js","sourceRoot":"","sources":["../../../../src/core/codegen/schemas/template-literal.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAClC,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC9D,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAExD,MAAM,UAAU,mBAAmB,CAAC,EAAqB,EAAE,CAAU;IACnE,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC;IAC3C,yEAAyE;IACzE,0EAA0E;IAC1E,8DAA8D;IAC9D,MAAM,WAAW,GACf,cAAc,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,IAAI;QACjC,CAAC,CAAC,GAAG,QAAQ,aAAa;QAC1B,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC;IAC/C,OAAO,GAAG,IAAI,CAAA;gBACA,CAAC,CAAC,KAAK;QACf,WAAW,CAAC,CAAC,EAAE,QAAQ,CAAC;gBAChB,QAAQ,SAAS,CAAC,CAAC,KAAK;QAChC,aAAa,CAAC,CAAC,EAAE,kBAAkB,EAAE,EAAE,KAAK,EAAE,WAAW,WAAW,EAAE,EAAE,CAAC;MAC3E,IAAI,CAAC;AACX,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,EAAqB,EAAE,CAAU;IACnE,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC;IAC3C,OAAO,UAAU,CAAC,CAAC,KAAK,gBAAgB,QAAQ,SAAS,CAAC,CAAC,KAAK,GAAG,CAAC;AACtE,CAAC"}
+{"version":3,"file":"template-literal.js","names":[],"sources":["../../../../src/core/codegen/schemas/template-literal.ts"],"sourcesContent":["import type { TemplateLiteralIR } from \"../../types.js\";\nimport type { FastGen, SlowGen } from \"../context.js\";\nimport { emitRegexSourceString } from \"../context.js\";\nimport { emit } from \"../emit.js\";\nimport { invalidFormat, invalidType } from \"../emit-issue.js\";\nimport { fastTestSource } from \"../well-known-regex.js\";\n\nexport function slowTemplateLiteral(ir: TemplateLiteralIR, g: SlowGen): string {\n  const regexVar = g.regex(\"tl\", ir.pattern);\n  // Same rule as slowString: when emitRegex swapped in a faster equivalent\n  // pattern, the runtime regex's toString() would leak the rewrite into the\n  // issue, so the ORIGINAL source string is referenced instead.\n  const patternExpr =\n    fastTestSource(ir.pattern) === null\n      ? `${regexVar}.toString()`\n      : emitRegexSourceString(g.ctx, ir.pattern);\n  return `${emit`\n    if(typeof ${g.input}!==\"string\"){\n      ${invalidType(g, \"string\")}\n    }else if(!${regexVar}.test(${g.input})){\n      ${invalidFormat(g, \"template_literal\", { extra: `pattern:${patternExpr}` })}\n    }`}\\n`;\n}\n\nexport function fastTemplateLiteral(ir: TemplateLiteralIR, g: FastGen): string | null {\n  const regexVar = g.regex(\"tl\", ir.pattern);\n  return `typeof ${g.input}===\"string\"&&${regexVar}.test(${g.input})`;\n}\n"],"mappings":";;;;;AAOA,SAAgB,oBAAoB,IAAuB,GAAoB;CAC7E,MAAM,WAAW,EAAE,MAAM,MAAM,GAAG,OAAO;CAIzC,MAAM,cACJ,eAAe,GAAG,OAAO,MAAM,OAC3B,GAAG,SAAS,eACZ,sBAAsB,EAAE,KAAK,GAAG,OAAO;CAC7C,OAAO,GAAG,IAAI;gBACA,EAAE,MAAM;QAChB,YAAY,GAAG,QAAQ,EAAE;gBACjB,SAAS,QAAQ,EAAE,MAAM;QACjC,cAAc,GAAG,oBAAoB,EAAE,OAAO,WAAW,cAAc,CAAC,EAAE;OAC3E;AACP;AAEA,SAAgB,oBAAoB,IAAuB,GAA2B;CACpF,MAAM,WAAW,EAAE,MAAM,MAAM,GAAG,OAAO;CACzC,OAAO,UAAU,EAAE,MAAM,eAAe,SAAS,QAAQ,EAAE,MAAM;AACnE"}