@tsonic/emitter 0.0.74 → 0.0.75

package/dist/statements/control/conditionals/guard-types.js

@@ -0,0 +1,242 @@
+/**
+ * Guard info types, shared helpers, and utility functions for guard analysis.
+ *
+ * Contains:
+ * - All guard info type definitions (GuardInfo, InstanceofGuardInfo, etc.)
+ * - Shared helper functions (getGuardPropertyType, buildRenameNarrowedMap, etc.)
+ * - Truthiness/termination analysis (isDefinitelyTerminating, isNullOrUndefined, etc.)
+ * - resolveRuntimeUnionFrame alias
+ */
+import { resolveTypeAlias, getPropertyType, isDefinitelyValueType, stripNullish, } from "../../../core/semantic/type-resolution.js";
+import { resolveNarrowedUnionMembers, resolveAlignedRuntimeUnionMembers, } from "../../../core/semantic/narrowed-union-resolution.js";
+import { getMemberAccessNarrowKey } from "../../../core/semantic/narrowing-keys.js";
+import { unwrapTransparentNarrowingTarget } from "../../../core/semantic/transparent-expressions.js";
+import { resolveLocalTypesForReference, tryGetLiteralSet, } from "../../../core/semantic/guard-primitives.js";
+import { resolveEffectiveExpressionType } from "../../../core/semantic/narrowed-expression-types.js";
+import { resolveIdentifierRuntimeCarrierType } from "../../../expressions/direct-storage-types.js";
+/**
+ * Check if a local nominal type (class/interface) has a property with the given TS name.
+ */
+export const getGuardPropertyType = (type, propertyName, context) => {
+    if (type.kind === "objectType") {
+        const prop = type.members.find((member) => member.kind === "propertySignature" && member.name === propertyName);
+        return prop?.type;
+    }
+    if (type.kind === "referenceType") {
+        if (type.structuralMembers?.length) {
+            const prop = type.structuralMembers.find((member) => member.kind === "propertySignature" && member.name === propertyName);
+            if (prop)
+                return prop.type;
+        }
+        const localTypes = resolveLocalTypesForReference(type, context);
+        if (localTypes) {
+            const lookupName = type.name.includes(".")
+                ? (type.name.split(".").pop() ?? type.name)
+                : type.name;
+            const localPropType = getPropertyType({ ...type, name: lookupName }, propertyName, { ...context, localTypes });
+            if (localPropType)
+                return localPropType;
+        }
+        const resolvedPropType = getPropertyType(type, propertyName, context);
+        if (resolvedPropType)
+            return resolvedPropType;
+    }
+    return undefined;
+};
+export const extractTransparentIdentifierTarget = (expr) => {
+    const target = unwrapTransparentNarrowingTarget(expr);
+    return target?.kind === "identifier" ? target : undefined;
+};
+export const extractTransparentMemberAccessTarget = (expr) => {
+    const access = unwrapTransparentNarrowingTarget(expr);
+    if (!access || access.kind !== "memberAccess") {
+        return undefined;
+    }
+    if (access.isOptional || access.isComputed) {
+        return undefined;
+    }
+    const receiver = extractTransparentIdentifierTarget(access.object);
+    if (!receiver) {
+        return undefined;
+    }
+    return { access: access, receiver };
+};
+export const resolveRuntimeUnionFrame = resolveNarrowedUnionMembers;
+export const resolveGuardRuntimeUnionFrame = (originalName, effectiveType, identifierTarget, context) => {
+    const carrierSourceType = (identifierTarget
+        ? resolveIdentifierRuntimeCarrierType(identifierTarget, context)
+        : undefined) ??
+        context.narrowedBindings?.get(originalName)?.sourceType ??
+        context.narrowedBindings?.get(originalName)?.type;
+    return (resolveAlignedRuntimeUnionMembers(undefined, effectiveType, carrierSourceType, context) ?? resolveRuntimeUnionFrame(originalName, effectiveType, context));
+};
+export const stripGlobalPrefix = (name) => name.startsWith("global::") ? name.slice("global::".length) : name;
+export const buildRenameNarrowedMap = (originalName, narrowedName, memberType, sourceType, ctxWithId) => {
+    const narrowedMap = new Map(ctxWithId.narrowedBindings ?? []);
+    const existingBinding = ctxWithId.narrowedBindings?.get(originalName);
+    narrowedMap.set(originalName, {
+        kind: "rename",
+        name: narrowedName,
+        type: memberType,
+        sourceType: sourceType ?? existingBinding?.sourceType ?? existingBinding?.type,
+    });
+    return narrowedMap;
+};
+export const withoutNarrowedBinding = (context, bindingKey) => {
+    if (!context.narrowedBindings?.has(bindingKey)) {
+        return context;
+    }
+    const narrowedBindings = new Map(context.narrowedBindings);
+    narrowedBindings.delete(bindingKey);
+    return {
+        ...context,
+        narrowedBindings,
+    };
+};
+export const isDefinitelyTruthyLiteral = (value) => {
+    if (typeof value === "string")
+        return value.length > 0;
+    if (typeof value === "number")
+        return value !== 0 && !Number.isNaN(value);
+    return value === true;
+};
+export const isDefinitelyFalsyType = (type, context) => {
+    const resolved = resolveTypeAlias(type, context);
+    if (resolved.kind === "literalType") {
+        const value = resolved.value;
+        return value === false || value === 0 || value === "";
+    }
+    if (resolved.kind === "primitiveType") {
+        return resolved.name === "undefined" || resolved.name === "null";
+    }
+    if (resolved.kind === "unionType") {
+        return resolved.types.every((member) => isDefinitelyFalsyType(member, context));
+    }
+    return false;
+};
+export const isDefinitelyTruthyType = (type, context) => {
+    const literals = tryGetLiteralSet(type, context);
+    if (literals) {
+        return Array.from(literals).every(isDefinitelyTruthyLiteral);
+    }
+    const resolved = resolveTypeAlias(type, context);
+    if (resolved.kind === "unionType") {
+        return resolved.types.every((member) => isDefinitelyTruthyType(member, context));
+    }
+    return false;
+};
+/**
+ * Conservative check: does a statement definitely terminate control flow?
+ * Used to apply post-if narrowing in patterns like:
+ *   if (guard(x)) return ...;
+ *   // x is now narrowed in the remainder of the block (2-member unions only)
+ */
+export const isDefinitelyTerminating = (stmt) => {
+    if (stmt.kind === "returnStatement" ||
+        stmt.kind === "throwStatement" ||
+        stmt.kind === "breakStatement" ||
+        stmt.kind === "continueStatement") {
+        return true;
+    }
+    if (stmt.kind === "blockStatement") {
+        const last = stmt.statements[stmt.statements.length - 1];
+        return last ? isDefinitelyTerminating(last) : false;
+    }
+    return false;
+};
+/**
+ * Check if an expression represents null or undefined.
+ * Handles both literal form (from null/undefined keyword) and identifier form
+ * (when TypeScript parses "undefined" as an identifier rather than keyword).
+ */
+export const isNullOrUndefined = (expr) => {
+    // Literal form: null or undefined keyword
+    if (expr.kind === "literal" &&
+        (expr.value === null || expr.value === undefined)) {
+        return true;
+    }
+    // Identifier form: the identifier "undefined"
+    // (TypeScript sometimes parses undefined as identifier)
+    if (expr.kind === "identifier" && expr.name === "undefined") {
+        return true;
+    }
+    return false;
+};
+/**
+ * Try to extract nullable guard info from a simple comparison expression.
+ * This is the core check for patterns like: id !== undefined, id !== null, id != null
+ */
+export const tryResolveSimpleNullableGuard = (condition, context) => {
+    if (condition.kind !== "binary")
+        return undefined;
+    const op = condition.operator;
+    const isNotEqual = op === "!==" || op === "!=";
+    const isEqual = op === "===" || op === "==";
+    if (!isNotEqual && !isEqual)
+        return undefined;
+    // Find operand (identifier or member access) and null/undefined expression
+    let operand;
+    let key;
+    if (isNullOrUndefined(condition.right)) {
+        operand = unwrapTransparentNarrowingTarget(condition.left);
+    }
+    else if (isNullOrUndefined(condition.left)) {
+        operand = unwrapTransparentNarrowingTarget(condition.right);
+    }
+    if (!operand)
+        return undefined;
+    if (operand.kind === "identifier") {
+        key = operand.name;
+    }
+    else {
+        key = getMemberAccessNarrowKey(operand);
+    }
+    if (!key)
+        return undefined;
+    const idType = resolveEffectiveExpressionType(operand, context) ?? operand.inferredType;
+    if (!idType)
+        return undefined;
+    // Check if type is nullable (has null or undefined in union)
+    const stripped = stripNullish(idType);
+    if (stripped === idType)
+        return undefined; // Not a nullable type
+    // Check if it's a value type that needs .Value
+    const isValueType = isDefinitelyValueType(stripped);
+    return {
+        key,
+        targetExpr: operand,
+        strippedType: stripped,
+        narrowsInThen: isNotEqual,
+        isValueType,
+    };
+};
+/**
+ * Try to extract nullable guard info from a condition.
+ * Detects patterns like: id !== undefined, id !== null, id != null
+ * Also searches inside && (logical AND) conditions recursively.
+ *
+ * For compound conditions like `method === "GET" && id !== undefined`,
+ * we search both sides of the && for a nullable guard pattern.
+ *
+ * Returns guard info if the condition is a null/undefined check on an identifier
+ * with a nullable type that is a value type (needs .Value in C#).
+ */
+export const tryResolveNullableGuard = (condition, context) => {
+    // First try the simple case
+    const simple = tryResolveSimpleNullableGuard(condition, context);
+    if (simple)
+        return simple;
+    // If this is a && logical expression, search inside it
+    if (condition.kind === "logical" && condition.operator === "&&") {
+        // Check left side
+        const leftGuard = tryResolveNullableGuard(condition.left, context);
+        if (leftGuard)
+            return leftGuard;
+        // Check right side
+        const rightGuard = tryResolveNullableGuard(condition.right, context);
+        if (rightGuard)
+            return rightGuard;
+    }
+    return undefined;
+};
+//# sourceMappingURL=guard-types.js.map

package/dist/statements/control/conditionals/guard-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"guard-types.js","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAIH,OAAO,EACL,gBAAgB,EAChB,eAAe,EACf,qBAAqB,EACrB,YAAY,GACb,MAAM,2CAA2C,CAAC;AACnD,OAAO,EACL,2BAA2B,EAC3B,iCAAiC,GAElC,MAAM,qDAAqD,CAAC;AAC7D,OAAO,EAAE,wBAAwB,EAAE,MAAM,0CAA0C,CAAC;AACpF,OAAO,EAAE,gCAAgC,EAAE,MAAM,mDAAmD,CAAC;AACrG,OAAO,EACL,6BAA6B,EAC7B,gBAAgB,GACjB,MAAM,4CAA4C,CAAC;AACpD,OAAO,EAAE,8BAA8B,EAAE,MAAM,qDAAqD,CAAC;AACrG,OAAO,EAAE,mCAAmC,EAAE,MAAM,8CAA8C,CAAC;AA0JnG;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAAY,EACZ,YAAoB,EACpB,OAAuB,EACH,EAAE;IACtB,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAC5B,CACE,MAAM,EAC2D,EAAE,CACnE,MAAM,CAAC,IAAI,KAAK,mBAAmB,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,CACtE,CAAC;QACF,OAAO,IAAI,EAAE,IAAI,CAAC;IACpB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,IAAI,IAAI,CAAC,iBAAiB,EAAE,MAAM,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,IAAI,CACtC,CACE,MAAM,EAC2D,EAAE,CACnE,MAAM,CAAC,IAAI,KAAK,mBAAmB,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,CACtE,CAAC;YACF,IAAI,IAAI;gBAAE,OAAO,IAAI,CAAC,IAAI,CAAC;QAC7B,CAAC;QAED,MAAM,UAAU,GAAG,6BAA6B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAChE,IAAI,UAAU,EAAE,CAAC;YACf,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;gBACxC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC;gBAC3C,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YACd,MAAM,aAAa,GAAG,eAAe,CACnC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,EAC7B,YAAY,EACZ,EAAE,GAAG,OAAO,EAAE,UAAU,EAAE,CAC3B,CAAC;YACF,IAAI,aAAa;gBAAE,OAAO,aAAa,CAAC;QAC1C,CAAC;QAED,MAAM,gBAAgB,GAAG,eAAe,CAAC,IAAI,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;QACtE,IAAI,gBAAgB;YAAE,OAAO,gBAAgB,CAAC;IAChD,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAChD,IAAkB,EACyC,EAAE;IAC7D,MAAM,MAAM,GAAG,gCAAgC,CAAC,IAAI,CAAC,CAAC;IACtD,OAAO,MAAM,EAAE,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;AAC5D,CAAC,CAAC;AAWF,MAAM,CAAC,MAAM,oCAAoC,GAAG,CAClD,IAAkB,EAMN,EAAE;IACd,MAAM,MAAM,GAAG,gCAAgC,CAAC,IAAI,CAAC,CAAC;IACtD,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QAC9C,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAC3C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,QAAQ,GAAG,kCAAkC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACnE,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,MAAiC,EAAE,QAAQ,EAAE,CAAC;AACjE,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG,2BAA2B,CAAC;AAEpE,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,YAAoB,EACpB,aAAqB,EACrB,gBAA2E,EAC3E,OAAuB,EACQ,EAAE;IACjC,MAAM,iBAAiB,GACrB,CAAC,gBAAgB;QACf,CAAC,CAAC,mCAAmC,CAAC,gBAAgB,EAAE,OAAO,CAAC;QAChE,CAAC,CAAC,SAAS,CAAC;QACd,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,YAAY,CAAC,EAAE,UAAU;QACvD,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,YAAY,CAAC,EAAE,IAAI,CAAC;IAEpD,OAAO,CACL,iCAAiC,CAC/B,SAAS,EACT,aAAa,EACb,iBAAiB,EACjB,OAAO,CACR,IAAI,wBAAwB,CAAC,YAAY,EAAE,aAAa,EAAE,OAAO,CAAC,CACpE,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,IAAY,EAAU,EAAE,CACxD,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAErE,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,YAAoB,EACpB,YAAoB,EACpB,UAAkB,EAClB,UAA8B,EAC9B,SAAyB,EACK,EAAE;IAChC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC;IAC9D,MAAM,eAAe,GAAG,SAAS,CAAC,gBAAgB,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;IACtE,WAAW,CAAC,GAAG,CAAC,YAAY,EAAE;QAC5B,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,YAAY;QAClB,IAAI,EAAE,UAAU;QAChB,UAAU,EACR,UAAU,IAAI,eAAe,EAAE,UAAU,IAAI,eAAe,EAAE,IAAI;KACrE,CAAC,CAAC;IACH,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,OAAuB,EACvB,UAAkB,EACF,EAAE;IAClB,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QAC/C,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAC3D,gBAAgB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACpC,OAAO;QACL,GAAG,OAAO;QACV,gBAAgB;KACjB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,KAAgC,EACvB,EAAE;IACX,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IACvD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC1E,OAAO,KAAK,KAAK,IAAI,CAAC;AACxB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAY,EACZ,OAAuB,EACd,EAAE;IACX,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjD,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC;QAC7B,OAAO,KAAK,KAAK,KAAK,IAAI,KAAK,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;IACxD,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,OAAO,QAAQ,CAAC,IAAI,KAAK,WAAW,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC;IACnE,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,OAAO,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CACrC,qBAAqB,CAAC,MAAM,EAAE,OAAO,CAAC,CACvC,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAY,EACZ,OAAuB,EACd,EAAE;IACX,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjD,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,yBAAyB,CAAC,CAAC;IAC/D,CAAC;IAED,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjD,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,OAAO,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CACrC,sBAAsB,CAAC,MAAM,EAAE,OAAO,CAAC,CACxC,CAAC;IACJ,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,IAAiB,EAAW,EAAE;IACpE,IACE,IAAI,CAAC,IAAI,KAAK,iBAAiB;QAC/B,IAAI,CAAC,IAAI,KAAK,gBAAgB;QAC9B,IAAI,CAAC,IAAI,KAAK,gBAAgB;QAC9B,IAAI,CAAC,IAAI,KAAK,mBAAmB,EACjC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACzD,OAAO,IAAI,CAAC,CAAC,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IACtD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,IAAkB,EAAW,EAAE;IAC/D,0CAA0C;IAC1C,IACE,IAAI,CAAC,IAAI,KAAK,SAAS;QACvB,CAAC,IAAI,CAAC,KAAK,KAAK,IAAI,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,EACjD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,8CAA8C;IAC9C,wDAAwD;IACxD,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC5D,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,SAAuB,EACvB,OAAuB,EACQ,EAAE;IACjC,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAElD,MAAM,EAAE,GAAG,SAAS,CAAC,QAAQ,CAAC;IAC9B,MAAM,UAAU,GAAG,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,IAAI,CAAC;IAC/C,MAAM,OAAO,GAAG,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,IAAI,CAAC;IAC5C,IAAI,CAAC,UAAU,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAE9C,2EAA2E;IAC3E,IAAI,OAES,CAAC;IACd,IAAI,GAAuB,CAAC;IAE5B,IAAI,iBAAiB,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QACvC,OAAO,GAAG,gCAAgC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC;SAAM,IAAI,iBAAiB,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7C,OAAO,GAAG,gCAAgC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC9D,CAAC;IAED,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAE/B,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAClC,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC;IACrB,CAAC;SAAM,CAAC;QACN,GAAG,GAAG,wBAAwB,CAAC,OAAO,CAAC,CAAC;IAC1C,CAAC;IAED,IAAI,CAAC,GAAG;QAAE,OAAO,SAAS,CAAC;IAE3B,MAAM,MAAM,GACV,8BAA8B,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,OAAO,CAAC,YAAY,CAAC;IAC3E,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAE9B,6DAA6D;IAC7D,MAAM,QAAQ,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACtC,IAAI,QAAQ,KAAK,MAAM;QAAE,OAAO,SAAS,CAAC,CAAC,sBAAsB;IAEjE,+CAA+C;IAC/C,MAAM,WAAW,GAAG,qBAAqB,CAAC,QAAQ,CAAC,CAAC;IAEpD,OAAO;QACL,GAAG;QACH,UAAU,EAAE,OAAO;QACnB,YAAY,EAAE,QAAQ;QACtB,aAAa,EAAE,UAAU;QACzB,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,SAAuB,EACvB,OAAuB,EACQ,EAAE;IACjC,4BAA4B;IAC5B,MAAM,MAAM,GAAG,6BAA6B,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACjE,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAE1B,uDAAuD;IACvD,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,IAAI,SAAS,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;QAChE,kBAAkB;QAClB,MAAM,SAAS,GAAG,uBAAuB,CAAC,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACnE,IAAI,SAAS;YAAE,OAAO,SAAS,CAAC;QAEhC,mBAAmB;QACnB,MAAM,UAAU,GAAG,uBAAuB,CAAC,SAAS,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACrE,IAAI,UAAU;YAAE,OAAO,UAAU,CAAC;IACpC,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}

package/dist/statements/control/conditionals/if-emit-instanceof-guards.d.ts

@@ -0,0 +1,28 @@
+/**
+ * Instanceof and nullable guard emission cases for if-statements.
+ * Handles instanceof, negated-instanceof, and nullable guards.
+ */
+import { IrStatement } from "@tsonic/frontend";
+import { EmitterContext } from "../../../types.js";
+import type { CSharpStatementAst } from "../../../core/format/backend-ast/types.js";
+type IfStatement = Extract<IrStatement, {
+    kind: "ifStatement";
+}>;
+type GuardResult = [readonly CSharpStatementAst[], EmitterContext] | undefined;
+/**
+ * Case A2: if (x instanceof Foo) { ... }
+ * C# pattern var narrowing -> if (x is Foo x__is_k) { ... }
+ */
+export declare const tryEmitInstanceofGuard: (stmt: IfStatement, context: EmitterContext) => GuardResult;
+/**
+ * Case B2: if (!(x instanceof Foo)) { ... } else { ... }
+ * Swap branches so ELSE runs under the narrowed pattern var.
+ */
+export declare const tryEmitNegatedInstanceofGuard: (stmt: IfStatement, context: EmitterContext) => GuardResult;
+/**
+ * Case D: Nullable value type narrowing.
+ * if (id !== null) { ... } -> id becomes id.Value in then-branch.
+ */
+export declare const tryEmitNullableGuard: (stmt: IfStatement, context: EmitterContext) => GuardResult;
+export {};
+//# sourceMappingURL=if-emit-instanceof-guards.d.ts.map

package/dist/statements/control/conditionals/if-emit-instanceof-guards.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"if-emit-instanceof-guards.d.ts","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/if-emit-instanceof-guards.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAGnD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,2CAA2C,CAAC;AA6BpF,KAAK,WAAW,GAAG,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,aAAa,CAAA;CAAE,CAAC,CAAC;AACjE,KAAK,WAAW,GAAG,CAAC,SAAS,kBAAkB,EAAE,EAAE,cAAc,CAAC,GAAG,SAAS,CAAC;AAE/E;;;GAGG;AACH,eAAO,MAAM,sBAAsB,GACjC,MAAM,WAAW,EACjB,SAAS,cAAc,KACtB,WAyLF,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,6BAA6B,GACxC,MAAM,WAAW,EACjB,SAAS,cAAc,KACtB,WAgGF,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,oBAAoB,GAC/B,MAAM,WAAW,EACjB,SAAS,cAAc,KACtB,WAgHF,CAAC"}

package/dist/statements/control/conditionals/if-emit-instanceof-guards.js

@@ -0,0 +1,261 @@
+/**
+ * Instanceof and nullable guard emission cases for if-statements.
+ * Handles instanceof, negated-instanceof, and nullable guards.
+ */
+import { emitExpressionAst } from "../../../expression-emitter.js";
+import { emitIdentifier } from "../../../expressions/identifiers.js";
+import { emitBooleanConditionAst } from "../../../core/semantic/boolean-context.js";
+import { applyConditionBranchNarrowing } from "../../../core/semantic/condition-branch-narrowing.js";
+import { resolveEffectiveExpressionType } from "../../../core/semantic/narrowed-expression-types.js";
+import { tryResolveInstanceofGuard, tryResolveSimpleNullableGuard, tryResolveNullableGuard, isDefinitelyTerminating, resolveRuntimeUnionFrame, } from "./guard-analysis.js";
+import { narrowTypeByNotAssignableTarget } from "./guard-extraction.js";
+import { buildProjectedExprBinding, buildIsNCondition, buildIsPatternCondition, buildUnionNarrowAst, buildCastLocalDecl, emitForcedBlockWithPreambleAst, mergeBranchExitContext, mergeBranchContextMeta, resetBranchFlowState, wrapInBlock, withComplementNarrowing, applyExprFallthroughNarrowing, emitExprAstCb, emitBranchScopedStatementAst, } from "./branch-context.js";
+/**
+ * Case A2: if (x instanceof Foo) { ... }
+ * C# pattern var narrowing -> if (x is Foo x__is_k) { ... }
+ */
+export const tryEmitInstanceofGuard = (stmt, context) => {
+    const instanceofGuard = tryResolveInstanceofGuard(stmt.condition, context);
+    if (!instanceofGuard)
+        return undefined;
+    const { ctxAfterRhs, escapedOrig, escapedNarrow, rhsTypeAst, narrowedMap, memberN, memberNeedsPatternCheck, runtimeUnionArity, candidateMemberNs, candidateMembers, receiverAst, receiverMayBeNullish, } = instanceofGuard;
+    const condAst = memberN && runtimeUnionArity && candidateMemberNs && candidateMembers
+        ? memberNeedsPatternCheck
+            ? buildIsPatternCondition(buildUnionNarrowAst(receiverAst, memberN), rhsTypeAst, escapedNarrow)
+            : buildIsNCondition(receiverAst, memberN, false, receiverMayBeNullish === true)
+        : buildIsPatternCondition(receiverAst, rhsTypeAst, escapedNarrow);
+    let thenStatementAst;
+    let thenCtxAfter;
+    if (memberN &&
+        runtimeUnionArity &&
+        candidateMemberNs &&
+        candidateMembers &&
+        !memberNeedsPatternCheck) {
+        const [thenBlock, thenBlockCtx] = emitForcedBlockWithPreambleAst([buildCastLocalDecl(escapedNarrow, receiverAst, memberN, rhsTypeAst)], stmt.thenStatement, {
+            ...ctxAfterRhs,
+            narrowedBindings: narrowedMap,
+        });
+        thenStatementAst = thenBlock;
+        thenCtxAfter = thenBlockCtx;
+    }
+    else {
+        const [thenStmts, nextCtx] = emitBranchScopedStatementAst(stmt.thenStatement, {
+            ...ctxAfterRhs,
+            narrowedBindings: narrowedMap,
+        });
+        thenStatementAst = wrapInBlock(thenStmts);
+        thenCtxAfter = nextCtx;
+    }
+    const thenTerminates = isDefinitelyTerminating(stmt.thenStatement);
+    const basePostConditionContext = resetBranchFlowState(ctxAfterRhs, thenCtxAfter);
+    const fallthroughBaseContext = {
+        ...basePostConditionContext,
+        narrowedBindings: ctxAfterRhs.narrowedBindings,
+    };
+    const falsyFallthroughContext = applyConditionBranchNarrowing(stmt.condition, "falsy", fallthroughBaseContext, emitExprAstCb) ?? fallthroughBaseContext;
+    let finalContext = thenTerminates
+        ? falsyFallthroughContext
+        : mergeBranchExitContext(ctxAfterRhs, thenCtxAfter, falsyFallthroughContext);
+    let elseStmt;
+    if (stmt.elseStatement) {
+        const elseEntryContext = falsyFallthroughContext;
+        const [elseStmts, elseCtx] = emitBranchScopedStatementAst(stmt.elseStatement, elseEntryContext);
+        elseStmt = wrapInBlock(elseStmts);
+        const elseTerminates = isDefinitelyTerminating(stmt.elseStatement);
+        if (thenTerminates && !elseTerminates) {
+            finalContext = mergeBranchContextMeta(elseCtx, thenCtxAfter);
+        }
+        else if (!thenTerminates && elseTerminates) {
+            finalContext = mergeBranchContextMeta(thenCtxAfter, elseCtx);
+        }
+        else {
+            finalContext = mergeBranchExitContext(ctxAfterRhs, thenCtxAfter, elseCtx);
+        }
+    }
+    if (!stmt.elseStatement && thenTerminates) {
+        const fallthroughContext = applyConditionBranchNarrowing(stmt.condition, "falsy", fallthroughBaseContext, emitExprAstCb);
+        if (fallthroughContext) {
+            finalContext = fallthroughContext;
+        }
+        else {
+            const instanceofSourceType = stmt.condition.kind === "binary"
+                ? stmt.condition.left.inferredType
+                : undefined;
+            const fallthroughSourceType = fallthroughBaseContext.narrowedBindings?.get(instanceofGuard.originalName)?.sourceType ??
+                fallthroughBaseContext.narrowedBindings?.get(instanceofGuard.originalName)?.type ??
+                instanceofSourceType;
+            const fallthroughRuntimeFrame = fallthroughSourceType &&
+                resolveRuntimeUnionFrame(instanceofGuard.originalName, fallthroughSourceType, fallthroughBaseContext);
+            if (memberN !== undefined &&
+                !memberNeedsPatternCheck &&
+                fallthroughRuntimeFrame &&
+                fallthroughRuntimeFrame.candidateMemberNs.includes(memberN)) {
+                finalContext = withComplementNarrowing(instanceofGuard.originalName, receiverAst, fallthroughRuntimeFrame.runtimeUnionArity, fallthroughRuntimeFrame.candidateMemberNs, fallthroughRuntimeFrame.members, memberN, fallthroughBaseContext);
+            }
+            else {
+                const complementType = narrowTypeByNotAssignableTarget(stmt.condition.kind === "binary"
+                    ? stmt.condition.left.inferredType
+                    : undefined, instanceofGuard.targetType, ctxAfterRhs);
+                if (complementType) {
+                    finalContext = applyExprFallthroughNarrowing(instanceofGuard.originalName, { kind: "identifierExpression", identifier: escapedOrig }, complementType, ctxAfterRhs, finalContext);
+                }
+            }
+        }
+    }
+    return [
+        [
+            {
+                kind: "ifStatement",
+                condition: condAst,
+                thenStatement: thenStatementAst,
+                elseStatement: elseStmt,
+            },
+        ],
+        finalContext,
+    ];
+};
+/**
+ * Case B2: if (!(x instanceof Foo)) { ... } else { ... }
+ * Swap branches so ELSE runs under the narrowed pattern var.
+ */
+export const tryEmitNegatedInstanceofGuard = (stmt, context) => {
+    if (stmt.condition.kind !== "unary" ||
+        stmt.condition.operator !== "!" ||
+        !stmt.elseStatement) {
+        return undefined;
+    }
+    const inner = stmt.condition.expression;
+    const guard = tryResolveInstanceofGuard(inner, context);
+    if (!guard)
+        return undefined;
+    const { ctxAfterRhs, escapedNarrow, rhsTypeAst, narrowedMap, memberN, memberNeedsPatternCheck, receiverAst, receiverMayBeNullish, } = guard;
+    const condAst = memberN !== undefined
+        ? memberNeedsPatternCheck
+            ? buildIsPatternCondition(buildUnionNarrowAst(receiverAst, memberN), rhsTypeAst, escapedNarrow)
+            : buildIsNCondition(receiverAst, memberN, false, receiverMayBeNullish === true)
+        : buildIsPatternCondition(receiverAst, rhsTypeAst, escapedNarrow);
+    let thenStatementAst;
+    let thenCtxAfter;
+    if (memberN !== undefined && !memberNeedsPatternCheck) {
+        const [thenBlock, thenBlockCtx] = emitForcedBlockWithPreambleAst([buildCastLocalDecl(escapedNarrow, receiverAst, memberN, rhsTypeAst)], stmt.elseStatement, {
+            ...ctxAfterRhs,
+            narrowedBindings: narrowedMap,
+        });
+        thenStatementAst = thenBlock;
+        thenCtxAfter = thenBlockCtx;
+    }
+    else {
+        const [thenStmts, nextCtx] = emitBranchScopedStatementAst(stmt.elseStatement, {
+            ...ctxAfterRhs,
+            narrowedBindings: narrowedMap,
+        });
+        thenStatementAst = wrapInBlock(thenStmts);
+        thenCtxAfter = nextCtx;
+    }
+    // ELSE branch is the original THEN (not narrowed)
+    const elseEntryContext = applyConditionBranchNarrowing(inner, "falsy", {
+        ...resetBranchFlowState(ctxAfterRhs, thenCtxAfter),
+        narrowedBindings: ctxAfterRhs.narrowedBindings,
+    }, emitExprAstCb) ??
+        {
+            ...resetBranchFlowState(ctxAfterRhs, thenCtxAfter),
+            narrowedBindings: ctxAfterRhs.narrowedBindings,
+        };
+    const [elseStmts, elseCtxAfter] = emitBranchScopedStatementAst(stmt.thenStatement, elseEntryContext);
+    return [
+        [
+            {
+                kind: "ifStatement",
+                condition: condAst,
+                thenStatement: thenStatementAst,
+                elseStatement: wrapInBlock(elseStmts),
+            },
+        ],
+        elseCtxAfter,
+    ];
+};
+/**
+ * Case D: Nullable value type narrowing.
+ * if (id !== null) { ... } -> id becomes id.Value in then-branch.
+ */
+export const tryEmitNullableGuard = (stmt, context) => {
+    const simpleNullableGuard = tryResolveSimpleNullableGuard(stmt.condition, context);
+    const nullableGuard = simpleNullableGuard ?? tryResolveNullableGuard(stmt.condition, context);
+    if (!nullableGuard || !nullableGuard.isValueType)
+        return undefined;
+    const { key, targetExpr, narrowsInThen, strippedType } = nullableGuard;
+    const effectiveTargetType = resolveEffectiveExpressionType(targetExpr, context) ??
+        targetExpr.inferredType;
+    // Avoid stacking `.Value` (see detailed comment in original text emitter)
+    const [idAst] = targetExpr.kind === "identifier"
+        ? emitIdentifier(targetExpr, {
+            ...context,
+            narrowedBindings: undefined,
+        })
+        : emitExpressionAst(targetExpr, {
+            ...context,
+            narrowedBindings: undefined,
+        });
+    // Create narrowed binding: id -> id.Value
+    const narrowedMap = new Map(context.narrowedBindings ?? []);
+    narrowedMap.set(key, buildProjectedExprBinding({
+        kind: "memberAccessExpression",
+        expression: idAst,
+        memberName: "Value",
+    }, strippedType, effectiveTargetType, idAst));
+    // Soundness: In compound conditions (A && B), we must NOT apply "else" narrowing.
+    const isAndCondition = stmt.condition.kind === "logical" && stmt.condition.operator === "&&";
+    if (isAndCondition && !simpleNullableGuard && !narrowsInThen) {
+        // `id == null` inside `&&` - skip nullable rewrite, fall through to standard.
+        return undefined;
+    }
+    // Emit condition
+    const [condAst, condCtxAfterCond] = emitBooleanConditionAst(stmt.condition, emitExprAstCb, context);
+    // Apply narrowing to appropriate branch
+    const thenCtx = {
+        ...condCtxAfterCond,
+        narrowedBindings: narrowsInThen
+            ? narrowedMap
+            : condCtxAfterCond.narrowedBindings,
+    };
+    const [thenStmts, thenCtxAfter] = emitBranchScopedStatementAst(stmt.thenStatement, thenCtx);
+    let finalContext = {
+        ...thenCtxAfter,
+        narrowedBindings: context.narrowedBindings,
+    };
+    let elseStmt;
+    if (stmt.elseStatement) {
+        const elseCtx = {
+            ...finalContext,
+            narrowedBindings: !narrowsInThen
+                ? simpleNullableGuard
+                    ? narrowedMap
+                    : context.narrowedBindings
+                : context.narrowedBindings,
+        };
+        const [elseStmts, elseCtxAfter] = emitBranchScopedStatementAst(stmt.elseStatement, elseCtx);
+        elseStmt = wrapInBlock(elseStmts);
+        finalContext = {
+            ...elseCtxAfter,
+            narrowedBindings: context.narrowedBindings,
+        };
+    }
+    else if (!narrowsInThen && isDefinitelyTerminating(stmt.thenStatement)) {
+        finalContext = {
+            ...finalContext,
+            narrowedBindings: narrowedMap,
+        };
+    }
+    return [
+        [
+            {
+                kind: "ifStatement",
+                condition: condAst,
+                thenStatement: wrapInBlock(thenStmts),
+                elseStatement: elseStmt,
+            },
+        ],
+        finalContext,
+    ];
+};
+//# sourceMappingURL=if-emit-instanceof-guards.js.map

package/dist/statements/control/conditionals/if-emit-instanceof-guards.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"if-emit-instanceof-guards.js","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/if-emit-instanceof-guards.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,cAAc,EAAE,MAAM,qCAAqC,CAAC;AAErE,OAAO,EAAE,uBAAuB,EAAE,MAAM,2CAA2C,CAAC;AACpF,OAAO,EAAE,6BAA6B,EAAE,MAAM,sDAAsD,CAAC;AACrG,OAAO,EAAE,8BAA8B,EAAE,MAAM,qDAAqD,CAAC;AACrG,OAAO,EACL,yBAAyB,EACzB,6BAA6B,EAC7B,uBAAuB,EACvB,uBAAuB,EACvB,wBAAwB,GACzB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,+BAA+B,EAAE,MAAM,uBAAuB,CAAC;AACxE,OAAO,EACL,yBAAyB,EACzB,iBAAiB,EACjB,uBAAuB,EACvB,mBAAmB,EACnB,kBAAkB,EAClB,8BAA8B,EAC9B,sBAAsB,EACtB,sBAAsB,EACtB,oBAAoB,EACpB,WAAW,EACX,uBAAuB,EACvB,6BAA6B,EAC7B,aAAa,EACb,4BAA4B,GAC7B,MAAM,qBAAqB,CAAC;AAK7B;;;GAGG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAiB,EACjB,OAAuB,EACV,EAAE;IACf,MAAM,eAAe,GAAG,yBAAyB,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC3E,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,MAAM,EACJ,WAAW,EACX,WAAW,EACX,aAAa,EACb,UAAU,EACV,WAAW,EACX,OAAO,EACP,uBAAuB,EACvB,iBAAiB,EACjB,iBAAiB,EACjB,gBAAgB,EAChB,WAAW,EACX,oBAAoB,GACrB,GAAG,eAAe,CAAC;IAEpB,MAAM,OAAO,GACX,OAAO,IAAI,iBAAiB,IAAI,iBAAiB,IAAI,gBAAgB;QACnE,CAAC,CAAC,uBAAuB;YACvB,CAAC,CAAC,uBAAuB,CACrB,mBAAmB,CAAC,WAAW,EAAE,OAAO,CAAC,EACzC,UAAU,EACV,aAAa,CACd;YACH,CAAC,CAAC,iBAAiB,CACf,WAAW,EACX,OAAO,EACP,KAAK,EACL,oBAAoB,KAAK,IAAI,CAC9B;QACL,CAAC,CAAC,uBAAuB,CAAC,WAAW,EAAE,UAAU,EAAE,aAAa,CAAC,CAAC;IAEtE,IAAI,gBAAoC,CAAC;IACzC,IAAI,YAA4B,CAAC;IACjC,IACE,OAAO;QACP,iBAAiB;QACjB,iBAAiB;QACjB,gBAAgB;QAChB,CAAC,uBAAuB,EACxB,CAAC;QACD,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,8BAA8B,CAC9D,CAAC,kBAAkB,CAAC,aAAa,EAAE,WAAW,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,EACrE,IAAI,CAAC,aAAa,EAClB;YACE,GAAG,WAAW;YACd,gBAAgB,EAAE,WAAW;SAC9B,CACF,CAAC;QACF,gBAAgB,GAAG,SAAS,CAAC;QAC7B,YAAY,GAAG,YAAY,CAAC;IAC9B,CAAC;SAAM,CAAC;QACN,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,GAAG,4BAA4B,CACvD,IAAI,CAAC,aAAa,EAClB;YACE,GAAG,WAAW;YACd,gBAAgB,EAAE,WAAW;SAC9B,CACF,CAAC;QACF,gBAAgB,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;QAC1C,YAAY,GAAG,OAAO,CAAC;IACzB,CAAC;IAED,MAAM,cAAc,GAAG,uBAAuB,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACnE,MAAM,wBAAwB,GAAG,oBAAoB,CACnD,WAAW,EACX,YAAY,CACb,CAAC;IACF,MAAM,sBAAsB,GAAmB;QAC7C,GAAG,wBAAwB;QAC3B,gBAAgB,EAAE,WAAW,CAAC,gBAAgB;KAC/C,CAAC;IACF,MAAM,uBAAuB,GAC3B,6BAA6B,CAC3B,IAAI,CAAC,SAAS,EACd,OAAO,EACP,sBAAsB,EACtB,aAAa,CACd,IAAI,sBAAsB,CAAC;IAC9B,IAAI,YAAY,GAAmB,cAAc;QAC/C,CAAC,CAAC,uBAAuB;QACzB,CAAC,CAAC,sBAAsB,CACpB,WAAW,EACX,YAAY,EACZ,uBAAuB,CACxB,CAAC;IAEN,IAAI,QAAwC,CAAC;IAC7C,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;QACvB,MAAM,gBAAgB,GAAG,uBAAuB,CAAC;QACjD,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,GAAG,4BAA4B,CACvD,IAAI,CAAC,aAAa,EAClB,gBAAgB,CACjB,CAAC;QACF,QAAQ,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;QAClC,MAAM,cAAc,GAAG,uBAAuB,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAEnE,IAAI,cAAc,IAAI,CAAC,cAAc,EAAE,CAAC;YACtC,YAAY,GAAG,sBAAsB,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;QAC/D,CAAC;aAAM,IAAI,CAAC,cAAc,IAAI,cAAc,EAAE,CAAC;YAC7C,YAAY,GAAG,sBAAsB,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;QAC/D,CAAC;aAAM,CAAC;YACN,YAAY,GAAG,sBAAsB,CAAC,WAAW,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;QAC5E,CAAC;IACH,CAAC;IAED,IAAI,CAAC,IAAI,CAAC,aAAa,IAAI,cAAc,EAAE,CAAC;QAC1C,MAAM,kBAAkB,GAAG,6BAA6B,CACtD,IAAI,CAAC,SAAS,EACd,OAAO,EACP,sBAAsB,EACtB,aAAa,CACd,CAAC;QACF,IAAI,kBAAkB,EAAE,CAAC;YACvB,YAAY,GAAG,kBAAkB,CAAC;QACpC,CAAC;aAAM,CAAC;YACN,MAAM,oBAAoB,GACxB,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,QAAQ;gBAC9B,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,YAAY;gBAClC,CAAC,CAAC,SAAS,CAAC;YAChB,MAAM,qBAAqB,GACzB,sBAAsB,CAAC,gBAAgB,EAAE,GAAG,CAC1C,eAAe,CAAC,YAAY,CAC7B,EAAE,UAAU;gBACb,sBAAsB,CAAC,gBAAgB,EAAE,GAAG,CAC1C,eAAe,CAAC,YAAY,CAC7B,EAAE,IAAI;gBACP,oBAAoB,CAAC;YACvB,MAAM,uBAAuB,GAC3B,qBAAqB;gBACrB,wBAAwB,CACtB,eAAe,CAAC,YAAY,EAC5B,qBAAqB,EACrB,sBAAsB,CACvB,CAAC;YACJ,IACE,OAAO,KAAK,SAAS;gBACrB,CAAC,uBAAuB;gBACxB,uBAAuB;gBACvB,uBAAuB,CAAC,iBAAiB,CAAC,QAAQ,CAAC,OAAO,CAAC,EAC3D,CAAC;gBACD,YAAY,GAAG,uBAAuB,CACpC,eAAe,CAAC,YAAY,EAC5B,WAAW,EACX,uBAAuB,CAAC,iBAAiB,EACzC,uBAAuB,CAAC,iBAAiB,EACzC,uBAAuB,CAAC,OAAO,EAC/B,OAAO,EACP,sBAAsB,CACvB,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,MAAM,cAAc,GAAG,+BAA+B,CACpD,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,QAAQ;oBAC9B,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,YAAY;oBAClC,CAAC,CAAC,SAAS,EACb,eAAe,CAAC,UAAU,EAC1B,WAAW,CACZ,CAAC;gBACF,IAAI,cAAc,EAAE,CAAC;oBACnB,YAAY,GAAG,6BAA6B,CAC1C,eAAe,CAAC,YAAY,EAC5B,EAAE,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,WAAW,EAAE,EACzD,cAAc,EACd,WAAW,EACX,YAAY,CACb,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL;YACE;gBACE,IAAI,EAAE,aAAa;gBACnB,SAAS,EAAE,OAAO;gBAClB,aAAa,EAAE,gBAAgB;gBAC/B,aAAa,EAAE,QAAQ;aACxB;SACF;QACD,YAAY;KACb,CAAC;AACJ,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,IAAiB,EACjB,OAAuB,EACV,EAAE;IACf,IACE,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,OAAO;QAC/B,IAAI,CAAC,SAAS,CAAC,QAAQ,KAAK,GAAG;QAC/B,CAAC,IAAI,CAAC,aAAa,EACnB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC;IACxC,MAAM,KAAK,GAAG,yBAAyB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACxD,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,MAAM,EACJ,WAAW,EACX,aAAa,EACb,UAAU,EACV,WAAW,EACX,OAAO,EACP,uBAAuB,EACvB,WAAW,EACX,oBAAoB,GACrB,GAAG,KAAK,CAAC;IAEV,MAAM,OAAO,GACX,OAAO,KAAK,SAAS;QACnB,CAAC,CAAC,uBAAuB;YACvB,CAAC,CAAC,uBAAuB,CACrB,mBAAmB,CAAC,WAAW,EAAE,OAAO,CAAC,EACzC,UAAU,EACV,aAAa,CACd;YACH,CAAC,CAAC,iBAAiB,CACf,WAAW,EACX,OAAO,EACP,KAAK,EACL,oBAAoB,KAAK,IAAI,CAC9B;QACL,CAAC,CAAC,uBAAuB,CAAC,WAAW,EAAE,UAAU,EAAE,aAAa,CAAC,CAAC;IAEtE,IAAI,gBAAoC,CAAC;IACzC,IAAI,YAA4B,CAAC;IACjC,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,uBAAuB,EAAE,CAAC;QACtD,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,8BAA8B,CAC9D,CAAC,kBAAkB,CAAC,aAAa,EAAE,WAAW,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,EACrE,IAAI,CAAC,aAAa,EAClB;YACE,GAAG,WAAW;YACd,gBAAgB,EAAE,WAAW;SAC9B,CACF,CAAC;QACF,gBAAgB,GAAG,SAAS,CAAC;QAC7B,YAAY,GAAG,YAAY,CAAC;IAC9B,CAAC;SAAM,CAAC;QACN,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,GAAG,4BAA4B,CACvD,IAAI,CAAC,aAAa,EAClB;YACE,GAAG,WAAW;YACd,gBAAgB,EAAE,WAAW;SAC9B,CACF,CAAC;QACF,gBAAgB,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;QAC1C,YAAY,GAAG,OAAO,CAAC;IACzB,CAAC;IAED,kDAAkD;IAClD,MAAM,gBAAgB,GACpB,6BAA6B,CAC3B,KAAK,EACL,OAAO,EACP;QACE,GAAG,oBAAoB,CAAC,WAAW,EAAE,YAAY,CAAC;QAClD,gBAAgB,EAAE,WAAW,CAAC,gBAAgB;KAC/C,EACD,aAAa,CACd;QACA;YACC,GAAG,oBAAoB,CAAC,WAAW,EAAE,YAAY,CAAC;YAClD,gBAAgB,EAAE,WAAW,CAAC,gBAAgB;SACrB,CAAC;IAC9B,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,4BAA4B,CAC5D,IAAI,CAAC,aAAa,EAClB,gBAAgB,CACjB,CAAC;IAEF,OAAO;QACL;YACE;gBACE,IAAI,EAAE,aAAa;gBACnB,SAAS,EAAE,OAAO;gBAClB,aAAa,EAAE,gBAAgB;gBAC/B,aAAa,EAAE,WAAW,CAAC,SAAS,CAAC;aACtC;SACF;QACD,YAAY;KACb,CAAC;AACJ,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAAiB,EACjB,OAAuB,EACV,EAAE;IACf,MAAM,mBAAmB,GAAG,6BAA6B,CACvD,IAAI,CAAC,SAAS,EACd,OAAO,CACR,CAAC;IACF,MAAM,aAAa,GACjB,mBAAmB,IAAI,uBAAuB,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC1E,IAAI,CAAC,aAAa,IAAI,CAAC,aAAa,CAAC,WAAW;QAAE,OAAO,SAAS,CAAC;IAEnE,MAAM,EAAE,GAAG,EAAE,UAAU,EAAE,aAAa,EAAE,YAAY,EAAE,GAAG,aAAa,CAAC;IACvE,MAAM,mBAAmB,GACvB,8BAA8B,CAAC,UAAU,EAAE,OAAO,CAAC;QACnD,UAAU,CAAC,YAAY,CAAC;IAE1B,0EAA0E;IAC1E,MAAM,CAAC,KAAK,CAAC,GACX,UAAU,CAAC,IAAI,KAAK,YAAY;QAC9B,CAAC,CAAC,cAAc,CAAC,UAAU,EAAE;YACzB,GAAG,OAAO;YACV,gBAAgB,EAAE,SAAS;SAC5B,CAAC;QACJ,CAAC,CAAC,iBAAiB,CAAC,UAAU,EAAE;YAC5B,GAAG,OAAO;YACV,gBAAgB,EAAE,SAAS;SAC5B,CAAC,CAAC;IAET,0CAA0C;IAC1C,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC;IAC5D,WAAW,CAAC,GAAG,CACb,GAAG,EACH,yBAAyB,CACvB;QACE,IAAI,EAAE,wBAAwB;QAC9B,UAAU,EAAE,KAAK;QACjB,UAAU,EAAE,OAAO;KACpB,EACD,YAAY,EACZ,mBAAmB,EACnB,KAAK,CACN,CACF,CAAC;IAEF,kFAAkF;IAClF,MAAM,cAAc,GAClB,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,QAAQ,KAAK,IAAI,CAAC;IACxE,IAAI,cAAc,IAAI,CAAC,mBAAmB,IAAI,CAAC,aAAa,EAAE,CAAC;QAC7D,8EAA8E;QAC9E,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,iBAAiB;IACjB,MAAM,CAAC,OAAO,EAAE,gBAAgB,CAAC,GAAG,uBAAuB,CACzD,IAAI,CAAC,SAAS,EACd,aAAa,EACb,OAAO,CACR,CAAC;IAEF,wCAAwC;IACxC,MAAM,OAAO,GAAmB;QAC9B,GAAG,gBAAgB;QACnB,gBAAgB,EAAE,aAAa;YAC7B,CAAC,CAAC,WAAW;YACb,CAAC,CAAC,gBAAgB,CAAC,gBAAgB;KACtC,CAAC;IAEF,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,4BAA4B,CAC5D,IAAI,CAAC,aAAa,EAClB,OAAO,CACR,CAAC;IAEF,IAAI,YAAY,GAAmB;QACjC,GAAG,YAAY;QACf,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;KAC3C,CAAC;IAEF,IAAI,QAAwC,CAAC;IAC7C,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;QACvB,MAAM,OAAO,GAAmB;YAC9B,GAAG,YAAY;YACf,gBAAgB,EAAE,CAAC,aAAa;gBAC9B,CAAC,CAAC,mBAAmB;oBACnB,CAAC,CAAC,WAAW;oBACb,CAAC,CAAC,OAAO,CAAC,gBAAgB;gBAC5B,CAAC,CAAC,OAAO,CAAC,gBAAgB;SAC7B,CAAC;QACF,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,4BAA4B,CAC5D,IAAI,CAAC,aAAa,EAClB,OAAO,CACR,CAAC;QACF,QAAQ,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;QAClC,YAAY,GAAG;YACb,GAAG,YAAY;YACf,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;SAC3C,CAAC;IACJ,CAAC;SAAM,IAAI,CAAC,aAAa,IAAI,uBAAuB,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;QACzE,YAAY,GAAG;YACb,GAAG,YAAY;YACf,gBAAgB,EAAE,WAAW;SAC9B,CAAC;IACJ,CAAC;IAED,OAAO;QACL;YACE;gBACE,IAAI,EAAE,aAAa;gBACnB,SAAS,EAAE,OAAO;gBAClB,aAAa,EAAE,WAAW,CAAC,SAAS,CAAC;gBACrC,aAAa,EAAE,QAAQ;aACxB;SACF;QACD,YAAY;KACb,CAAC;AACJ,CAAC,CAAC"}

package/dist/statements/control/conditionals/if-emit-predicate-guards.d.ts

@@ -0,0 +1,24 @@
+/**
+ * Predicate and in-operator union-narrowing guard emission for if-statements.
+ * Handles predicate guards (`if (isUser(account)) { ... }`) and
+ * in-operator guards (`if ("error" in auth) { ... }`).
+ */
+import { IrStatement } from "@tsonic/frontend";
+import { EmitterContext } from "../../../types.js";
+import type { CSharpStatementAst } from "../../../core/format/backend-ast/types.js";
+type IfStatement = Extract<IrStatement, {
+    kind: "ifStatement";
+}>;
+type GuardResult = [readonly CSharpStatementAst[], EmitterContext] | undefined;
+/**
+ * Try to emit a predicate guard narrowing for `if (isUser(account)) { ... }`.
+ * Returns undefined if the condition is not a matching predicate call.
+ */
+export declare const tryEmitPredicateGuard: (stmt: IfStatement, context: EmitterContext) => GuardResult;
+/**
+ * Try to emit an `in`-operator guard narrowing for `if ("error" in auth) { ... }`.
+ * Returns undefined if the condition is not a matching in-guard.
+ */
+export declare const tryEmitInGuard: (stmt: IfStatement, context: EmitterContext) => GuardResult;
+export {};
+//# sourceMappingURL=if-emit-predicate-guards.d.ts.map

package/dist/statements/control/conditionals/if-emit-predicate-guards.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"if-emit-predicate-guards.d.ts","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/if-emit-predicate-guards.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,2CAA2C,CAAC;AAmBpF,KAAK,WAAW,GAAG,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,aAAa,CAAA;CAAE,CAAC,CAAC;AACjE,KAAK,WAAW,GAAG,CAAC,SAAS,kBAAkB,EAAE,EAAE,cAAc,CAAC,GAAG,SAAS,CAAC;AAE/E;;;GAGG;AACH,eAAO,MAAM,qBAAqB,GAChC,MAAM,WAAW,EACjB,SAAS,cAAc,KACtB,WA4IF,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,cAAc,GACzB,MAAM,WAAW,EACjB,SAAS,cAAc,KACtB,WA2HF,CAAC"}