@tsonic/emitter 0.0.72 → 0.0.74

package/dist/statements/control/conditionals/guard-analysis.d.ts

@@ -7,6 +7,7 @@
  */
 import { IrExpression, IrStatement, IrType } from "@tsonic/frontend";
 import { EmitterContext, NarrowedBinding } from "../../../types.js";
+import type { CSharpTypeAst } from "../../../core/format/backend-ast/types.js";
 /**
  * Information extracted from a type predicate guard call.
  * Used to generate Union.IsN()/AsN() narrowing code.
@@ -16,6 +17,9 @@ export type GuardInfo = {
     readonly targetType: IrType;
     readonly memberN: number;
     readonly unionArity: number;
+    readonly runtimeUnionArity: number;
+    readonly candidateMemberNs: readonly number[];
+    readonly candidateMembers: readonly IrType[];
     readonly ctxWithId: EmitterContext;
     readonly narrowedName: string;
     readonly escapedOrig: string;
@@ -29,7 +33,7 @@ export type GuardInfo = {
  */
 export type InstanceofGuardInfo = {
     readonly originalName: string;
-    readonly rhsTypeText: string;
+    readonly rhsTypeAst: CSharpTypeAst;
     readonly ctxWithId: EmitterContext;
     readonly ctxAfterRhs: EmitterContext;
     readonly narrowedName: string;
@@ -55,6 +59,9 @@ export type InGuardInfo = {
     readonly propertyName: string;
     readonly memberN: number;
     readonly unionArity: number;
+    readonly runtimeUnionArity: number;
+    readonly candidateMemberNs: readonly number[];
+    readonly candidateMembers: readonly IrType[];
     readonly ctxWithId: EmitterContext;
     readonly narrowedName: string;
     readonly escapedOrig: string;
@@ -83,12 +90,43 @@ export type DiscriminantEqualityGuardInfo = {
     readonly operator: "===" | "!==" | "==" | "!=";
     readonly memberN: number;
     readonly unionArity: number;
+    readonly runtimeUnionArity: number;
+    readonly candidateMemberNs: readonly number[];
+    readonly candidateMembers: readonly IrType[];
     readonly ctxWithId: EmitterContext;
     readonly narrowedName: string;
     readonly escapedOrig: string;
     readonly escapedNarrow: string;
     readonly narrowedMap: Map<string, NarrowedBinding>;
 };
+/**
+ * Information extracted from a truthy/falsy property guard:
+ *   if (result.success) { ... }
+ *   if (!result.success) { ... }
+ *
+ * Supports the airplane-grade case where a union member property is definitively
+ * truthy or falsy by literal/nullish contract, and exactly one member matches the
+ * condition branch.
+ */
+export type PropertyTruthinessGuardInfo = {
+    readonly originalName: string;
+    readonly propertyName: string;
+    readonly memberN: number;
+    readonly unionArity: number;
+    readonly runtimeUnionArity: number;
+    readonly candidateMemberNs: readonly number[];
+    readonly candidateMembers: readonly IrType[];
+    readonly ctxWithId: EmitterContext;
+    readonly narrowedName: string;
+    readonly escapedOrig: string;
+    readonly escapedNarrow: string;
+    readonly narrowedMap: Map<string, NarrowedBinding>;
+};
+export type RuntimeUnionFrame = {
+    readonly members: readonly IrType[];
+    readonly candidateMemberNs: readonly number[];
+    readonly runtimeUnionArity: number;
+};
 /**
  * Information extracted from a nullable guard condition.
  * Used to generate .Value access for narrowed nullable value types.
@@ -109,6 +147,11 @@ export type NullableGuardInfo = {
  * TypeScript flow analysis, by mapping the literal to exactly one union member.
  */
 export declare const tryResolveDiscriminantEqualityGuard: (condition: IrExpression, context: EmitterContext) => DiscriminantEqualityGuardInfo | undefined;
+/**
+ * Try to extract guard info from `x.prop` / `!x.prop` where the property acts as a
+ * boolean-style discriminant over a runtime union.
+ */
+export declare const tryResolvePropertyTruthinessGuard: (condition: IrExpression, context: EmitterContext) => PropertyTruthinessGuardInfo | undefined;
 /**
  * Try to extract guard info from an `("prop" in x)` binary expression.
  */

package/dist/statements/control/conditionals/guard-analysis.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"guard-analysis.d.ts","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-analysis.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACrE,OAAO,EACL,cAAc,EAEd,eAAe,EAChB,MAAM,mBAAmB,CAAC;AAuB3B;;;GAGG;AACH,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;CACpD,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,WAAW,EAAE,cAAc,CAAC;IACrC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACnD,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;CACpD,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,6BAA6B,GAAG;IAC1C,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;IAC5C,QAAQ,CAAC,QAAQ,EAAE,KAAK,GAAG,KAAK,GAAG,IAAI,GAAG,IAAI,CAAC;IAC/C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;CACpD,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAC1B,YAAY,EACZ;QAAE,IAAI,EAAE,YAAY,GAAG,cAAc,CAAA;KAAE,CACxC,CAAC;IACF,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;CAC/B,CAAC;AA2KF;;;;;GAKG;AACH,eAAO,MAAM,mCAAmC,GAC9C,WAAW,YAAY,EACvB,SAAS,cAAc,KACtB,6BAA6B,GAAG,SAkKlC,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAC5B,WAAW,YAAY,EACvB,SAAS,cAAc,KACtB,WAAW,GAAG,SAkEhB,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB,GAAI,MAAM,WAAW,KAAG,OAS3D,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,wBAAwB,GACnC,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EAC7C,SAAS,cAAc,KACtB,SAAS,GAAG,SAoDd,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,yBAAyB,GACpC,WAAW,YAAY,EACvB,SAAS,cAAc,KACtB,mBAAmB,GAAG,SAsCxB,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,GAAI,MAAM,YAAY,KAAG,OAgBtD,CAAC;AAEF,eAAO,MAAM,wBAAwB,GACnC,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,cAAc,CAAA;CAAE,CAAC,KACpD,MAAM,GAAG,SAmBX,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,6BAA6B,GACxC,WAAW,YAAY,KACtB,iBAAiB,GAAG,SAuDtB,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,uBAAuB,GAClC,WAAW,YAAY,EACvB,UAAU,cAAc,KACvB,iBAAiB,GAAG,SAiBtB,CAAC"}
+{"version":3,"file":"guard-analysis.d.ts","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-analysis.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACrE,OAAO,EACL,cAAc,EAEd,eAAe,EAChB,MAAM,mBAAmB,CAAC;AAK3B,OAAO,KAAK,EAEV,aAAa,EACd,MAAM,2CAA2C,CAAC;AAmBnD;;;GAGG;AACH,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;CACpD,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC;IACnC,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,WAAW,EAAE,cAAc,CAAC;IACrC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACnD,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;CACpD,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,6BAA6B,GAAG;IAC1C,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;IAC5C,QAAQ,CAAC,QAAQ,EAAE,KAAK,GAAG,KAAK,GAAG,IAAI,GAAG,IAAI,CAAC;IAC/C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;CACpD,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,MAAM,2BAA2B,GAAG;IACxC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;CACpD,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;CACpC,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAC1B,YAAY,EACZ;QAAE,IAAI,EAAE,YAAY,GAAG,cAAc,CAAA;KAAE,CACxC,CAAC;IACF,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;CAC/B,CAAC;AA0QF;;;;;GAKG;AACH,eAAO,MAAM,mCAAmC,GAC9C,WAAW,YAAY,EACvB,SAAS,cAAc,KACtB,6BAA6B,GAAG,SAiJlC,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,iCAAiC,GAC5C,WAAW,YAAY,EACvB,SAAS,cAAc,KACtB,2BAA2B,GAAG,SAkJhC,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAC5B,WAAW,YAAY,EACvB,SAAS,cAAc,KACtB,WAAW,GAAG,SAgFhB,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB,GAAI,MAAM,WAAW,KAAG,OAS3D,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,wBAAwB,GACnC,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EAC7C,SAAS,cAAc,KACtB,SAAS,GAAG,SA8Dd,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,yBAAyB,GACpC,WAAW,YAAY,EACvB,SAAS,cAAc,KACtB,mBAAmB,GAAG,SA0DxB,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,GAAI,MAAM,YAAY,KAAG,OAgBtD,CAAC;AAEF,eAAO,MAAM,wBAAwB,GACnC,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,cAAc,CAAA;CAAE,CAAC,KACpD,MAAM,GAAG,SAmBX,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,6BAA6B,GACxC,WAAW,YAAY,KACtB,iBAAiB,GAAG,SAuDtB,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,uBAAuB,GAClC,WAAW,YAAY,EACvB,UAAU,cAAc,KACvB,iBAAiB,GAAG,SAiBtB,CAAC"}

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

@@ -7,77 +7,44 @@
  */
 import { emitExpressionAst } from "../../../expression-emitter.js";
 import { emitIdentifier } from "../../../expressions/identifiers.js";
+import { emitTypeAst } from "../../../type-emitter.js";
 import { extractCalleeNameFromAst } from "../../../core/format/backend-ast/utils.js";
 /**
  * Extract the identifier string from an expression AST that is known to be
  * an identifierExpression. Falls back to extractCalleeNameFromAst for other shapes.
  */
 const extractIdentifierText = (ast) => extractCalleeNameFromAst(ast);
-import { resolveTypeAlias, stripNullish, findUnionMemberIndex, getPropertyType, getAllPropertySignatures, isDefinitelyValueType, } from "../../../core/semantic/type-resolution.js";
+import { hasDeterministicPropertyMembership, resolveTypeAlias, stripNullish, findUnionMemberIndex, getPropertyType, isDefinitelyValueType, } from "../../../core/semantic/type-resolution.js";
 import { escapeCSharpIdentifier } from "../../../emitter-types/index.js";
 import { emitRemappedLocalName } from "../../../core/format/local-names.js";
 /**
  * Check if a local nominal type (class/interface) has a property with the given TS name.
  */
-const hasLocalProperty = (type, propertyName, context) => {
-    if (!context.localTypes)
-        return false;
-    const info = context.localTypes.get(type.name);
-    if (!info)
-        return false;
-    if (info.kind === "interface") {
-        const props = getAllPropertySignatures(type, context);
-        return props?.some((p) => p.name === propertyName) ?? false;
-    }
-    if (info.kind === "class") {
-        return info.members.some((m) => m.kind === "propertyDeclaration" && m.name === propertyName);
+const getGuardPropertyType = (type, propertyName, context) => {
+    if (type.kind === "objectType") {
+        const prop = type.members.find((member) => member.kind === "propertySignature" && member.name === propertyName);
+        return prop?.type;
     }
-    return false;
-};
-/**
- * Check if a nominal type has a property, including cross-module local types.
- *
- * For same-module types, consult `context.localTypes`.
- * For cross-module types, consult the batch `typeMemberIndex` and resolve the
- * member's fully-qualified name deterministically.
- */
-const hasProperty = (type, propertyName, context) => {
-    if (hasLocalProperty(type, propertyName, context)) {
-        return true;
-    }
-    const index = context.options.typeMemberIndex;
-    if (!index)
-        return false;
-    const stripGlobalPrefix = (name) => name.startsWith("global::") ? name.slice("global::".length) : name;
-    const candidates = [];
-    if (type.resolvedClrType) {
-        candidates.push(stripGlobalPrefix(type.resolvedClrType));
-    }
-    else if (type.name.includes(".")) {
-        candidates.push(type.name);
-    }
-    else {
-        // Resolve by suffix match in the type member index.
-        const matches = [];
-        for (const fqn of index.keys()) {
-            if (fqn.endsWith(`.${type.name}`) ||
-                fqn.endsWith(`.${type.name}__Alias`)) {
-                matches.push(fqn);
-            }
+    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;
         }
-        if (matches.length === 1) {
-            // eslint-disable-next-line @typescript-eslint/no-non-null-assertion
-            candidates.push(matches[0]);
-        }
-        else if (matches.length > 1) {
-            const list = matches.sort().join(", ");
-            throw new Error(`ICE: Ambiguous union member type '${type.name}' for \`in\` narrowing. Candidates: ${list}`);
+        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 candidates.some((fqn) => {
-        const perType = index.get(fqn);
-        return perType?.has(propertyName) ?? false;
-    });
+    return undefined;
 };
 /**
  * Resolve a reference type's LocalTypeInfo map (possibly from a different module).
@@ -149,6 +116,90 @@ const tryGetLiteralSet = (type, context) => {
     }
     return undefined;
 };
+const isClrUnionName = (name) => /^Union_[2-8]$/.test(name) || name === "Union" || name.endsWith(".Union");
+const stripGlobalPrefix = (name) => name.startsWith("global::") ? name.slice("global::".length) : name;
+const extractUnionMembers = (type, context) => {
+    const resolvedBase = resolveTypeAlias(stripNullish(type), context);
+    const resolved = resolvedBase.kind === "intersectionType"
+        ? (resolvedBase.types.find((member) => member.kind === "referenceType" && isClrUnionName(member.name)) ?? resolvedBase)
+        : resolvedBase;
+    if (resolved.kind === "unionType") {
+        return resolved.types;
+    }
+    if (resolved.kind === "referenceType" &&
+        isClrUnionName(resolved.name) &&
+        resolved.typeArguments &&
+        resolved.typeArguments.length >= 2 &&
+        resolved.typeArguments.length <= 8) {
+        return resolved.typeArguments;
+    }
+    return undefined;
+};
+const resolveRuntimeUnionFrame = (originalName, unionSourceType, context) => {
+    const members = extractUnionMembers(unionSourceType, context);
+    if (!members)
+        return undefined;
+    const narrowed = context.narrowedBindings?.get(originalName);
+    if (!narrowed) {
+        return {
+            members,
+            candidateMemberNs: members.map((_, index) => index + 1),
+            runtimeUnionArity: members.length,
+        };
+    }
+    if (narrowed.kind !== "runtimeSubset") {
+        return undefined;
+    }
+    if (narrowed.runtimeMemberNs.length !== members.length) {
+        return undefined;
+    }
+    return {
+        members,
+        candidateMemberNs: [...narrowed.runtimeMemberNs],
+        runtimeUnionArity: narrowed.runtimeUnionArity,
+    };
+};
+const buildRenameNarrowedMap = (originalName, narrowedName, memberType, ctxWithId) => {
+    const narrowedMap = new Map(ctxWithId.narrowedBindings ?? []);
+    narrowedMap.set(originalName, {
+        kind: "rename",
+        name: narrowedName,
+        type: memberType,
+    });
+    return narrowedMap;
+};
+const isDefinitelyTruthyLiteral = (value) => {
+    if (typeof value === "string")
+        return value.length > 0;
+    if (typeof value === "number")
+        return value !== 0 && !Number.isNaN(value);
+    return value === true;
+};
+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;
+};
+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;
+};
 /**
  * Try to extract guard info from `x.prop === <literal>` or `x.prop !== <literal>`.
  *
@@ -211,70 +262,52 @@ export const tryResolveDiscriminantEqualityGuard = (condition, context) => {
         return undefined;
     const { receiver, propertyName, literal } = match;
     const originalName = receiver.name;
-    // If this identifier is already narrowed (union guard emitted earlier), do NOT try to
-    // apply another union narrowing rule. This avoids mis-emitting `.IsN()` on a narrowed member type.
-    if (context.narrowedBindings?.has(originalName))
-        return undefined;
     const unionSourceType = receiver.inferredType;
     if (!unionSourceType)
         return undefined;
-    const resolved = resolveTypeAlias(stripNullish(unionSourceType), context);
-    if (resolved.kind !== "unionType")
+    const frame = resolveRuntimeUnionFrame(originalName, unionSourceType, context);
+    if (!frame)
         return undefined;
-    const unionArity = resolved.types.length;
+    const { members, candidateMemberNs, runtimeUnionArity } = frame;
+    const unionArity = members.length;
     if (unionArity < 2 || unionArity > 8)
         return undefined;
     // Find which union members have a discriminant property type that includes the literal.
-    const matchingMembers = [];
-    for (let i = 0; i < resolved.types.length; i++) {
-        const member = resolved.types[i];
+    const matchingIndices = [];
+    const matchingMemberNs = [];
+    for (let i = 0; i < members.length; i++) {
+        const member = members[i];
         if (!member)
             continue;
-        let propType;
-        if (member.kind === "objectType") {
-            const prop = member.members.find((m) => m.kind === "propertySignature" && m.name === propertyName);
-            propType = prop?.type;
-        }
-        else if (member.kind === "referenceType") {
-            const localTypes = resolveLocalTypesForReference(member, context);
-            if (!localTypes)
-                continue;
-            const lookupName = member.name.includes(".")
-                ? (member.name.split(".").pop() ?? member.name)
-                : member.name;
-            // Use the target module's localTypes for property type resolution.
-            propType = getPropertyType({ ...member, name: lookupName }, propertyName, { ...context, localTypes });
-        }
-        else {
-            continue;
-        }
+        const propType = getGuardPropertyType(member, propertyName, context);
         if (!propType)
             continue;
         const literals = tryGetLiteralSet(propType, context);
         if (!literals)
             continue;
         if (literals.has(literal)) {
-            matchingMembers.push(i + 1);
+            matchingIndices.push(i);
+            matchingMemberNs.push(candidateMemberNs[i] ?? i + 1);
         }
     }
     // Only support the common airplane-grade case: exactly one matching member.
-    if (matchingMembers.length !== 1)
+    if (matchingMemberNs.length !== 1)
         return undefined;
-    const memberN = matchingMembers[0];
+    const memberN = matchingMemberNs[0];
     if (!memberN)
         return undefined;
+    const matchingIndex = matchingIndices[0];
+    if (matchingIndex === undefined)
+        return undefined;
     const nextId = (context.tempVarId ?? 0) + 1;
     const ctxWithId = { ...context, tempVarId: nextId };
     const narrowedName = `${originalName}__${memberN}_${nextId}`;
     const escapedOrig = emitRemappedLocalName(originalName, context);
     const escapedNarrow = escapeCSharpIdentifier(narrowedName);
-    const narrowedMap = new Map(ctxWithId.narrowedBindings ?? []);
-    const memberType = resolved.types[memberN - 1];
-    narrowedMap.set(originalName, {
-        kind: "rename",
-        name: narrowedName,
-        type: memberType,
-    });
+    const memberType = members[matchingIndex];
+    if (!memberType)
+        return undefined;
+    const narrowedMap = buildRenameNarrowedMap(originalName, narrowedName, memberType, ctxWithId);
     return {
         originalName,
         propertyName,
@@ -282,6 +315,129 @@ export const tryResolveDiscriminantEqualityGuard = (condition, context) => {
         operator: condition.operator,
         memberN,
         unionArity,
+        runtimeUnionArity,
+        candidateMemberNs,
+        candidateMembers: members,
+        ctxWithId,
+        narrowedName,
+        escapedOrig,
+        escapedNarrow,
+        narrowedMap,
+    };
+};
+/**
+ * Try to extract guard info from `x.prop` / `!x.prop` where the property acts as a
+ * boolean-style discriminant over a runtime union.
+ */
+export const tryResolvePropertyTruthinessGuard = (condition, context) => {
+    const extract = (expr) => {
+        if (expr.kind === "unary" && expr.operator === "!") {
+            const inner = extract(expr.expression);
+            return inner ? { ...inner, wantTruthy: !inner.wantTruthy } : undefined;
+        }
+        if (expr.kind !== "memberAccess")
+            return undefined;
+        if (expr.isOptional || expr.isComputed)
+            return undefined;
+        if (expr.object.kind !== "identifier")
+            return undefined;
+        if (typeof expr.property !== "string")
+            return undefined;
+        return {
+            receiver: expr.object,
+            propertyName: expr.property,
+            wantTruthy: true,
+            bindingType: expr.memberBinding?.type,
+            bindingValueTruthiness: expr.inferredType?.kind === "literalType"
+                ? isDefinitelyTruthyLiteral(expr.inferredType.value)
+                : expr.inferredType?.kind === "primitiveType" &&
+                    (expr.inferredType.name === "undefined" ||
+                        expr.inferredType.name === "null")
+                    ? false
+                    : undefined,
+        };
+    };
+    const match = extract(condition);
+    if (!match)
+        return undefined;
+    const { receiver, propertyName, wantTruthy, bindingType, bindingValueTruthiness, } = match;
+    const originalName = receiver.name;
+    const unionSourceType = receiver.inferredType;
+    if (!unionSourceType)
+        return undefined;
+    const frame = resolveRuntimeUnionFrame(originalName, unionSourceType, context);
+    if (!frame)
+        return undefined;
+    const { members, candidateMemberNs, runtimeUnionArity } = frame;
+    const unionArity = members.length;
+    if (unionArity < 2 || unionArity > 8)
+        return undefined;
+    const matchingIndices = [];
+    const matchingMemberNs = [];
+    if (bindingType && bindingValueTruthiness !== undefined) {
+        const bindingTypeName = stripGlobalPrefix(bindingType);
+        const boundMemberIndex = members.findIndex((member) => {
+            if (member?.kind !== "referenceType")
+                return false;
+            const candidateClr = member.resolvedClrType
+                ? stripGlobalPrefix(member.resolvedClrType)
+                : undefined;
+            return (candidateClr === bindingTypeName || member.name === bindingTypeName);
+        });
+        if (boundMemberIndex >= 0) {
+            if (wantTruthy === bindingValueTruthiness) {
+                matchingIndices.push(boundMemberIndex);
+                matchingMemberNs.push(candidateMemberNs[boundMemberIndex] ?? boundMemberIndex + 1);
+            }
+            else if (unionArity === 2) {
+                const otherIndex = boundMemberIndex === 0 ? 1 : 0;
+                matchingIndices.push(otherIndex);
+                matchingMemberNs.push(candidateMemberNs[otherIndex] ?? otherIndex + 1);
+            }
+        }
+    }
+    if (matchingMemberNs.length === 0) {
+        for (let i = 0; i < members.length; i++) {
+            const member = members[i];
+            if (!member)
+                continue;
+            const propType = getGuardPropertyType(member, propertyName, context);
+            if (!propType)
+                continue;
+            const matches = wantTruthy
+                ? isDefinitelyTruthyType(propType, context)
+                : isDefinitelyFalsyType(propType, context);
+            if (matches) {
+                matchingIndices.push(i);
+                matchingMemberNs.push(candidateMemberNs[i] ?? i + 1);
+            }
+        }
+    }
+    if (matchingMemberNs.length !== 1)
+        return undefined;
+    const memberN = matchingMemberNs[0];
+    if (!memberN)
+        return undefined;
+    const matchingIndex = matchingIndices[0];
+    if (matchingIndex === undefined)
+        return undefined;
+    const nextId = (context.tempVarId ?? 0) + 1;
+    const ctxWithId = { ...context, tempVarId: nextId };
+    const narrowedName = `${originalName}__${memberN}_${nextId}`;
+    const escapedOrig = emitRemappedLocalName(originalName, context);
+    const escapedNarrow = escapeCSharpIdentifier(narrowedName);
+    const memberType = members[matchingIndex];
+    if (!memberType)
+        return undefined;
+    const narrowedMap = buildRenameNarrowedMap(originalName, narrowedName, memberType, ctxWithId);
+    return {
+        originalName,
+        propertyName,
+        memberN,
+        unionArity,
+        runtimeUnionArity,
+        candidateMemberNs,
+        candidateMembers: members,
         ctxWithId,
         narrowedName,
         escapedOrig,
@@ -310,46 +466,52 @@ export const tryResolveInGuard = (condition, context) => {
     const unionSourceType = condition.right.inferredType;
     if (!unionSourceType)
         return undefined;
-    const resolved = resolveTypeAlias(stripNullish(unionSourceType), context);
-    if (resolved.kind !== "unionType")
+    const frame = resolveRuntimeUnionFrame(originalName, unionSourceType, context);
+    if (!frame)
         return undefined;
-    const unionArity = resolved.types.length;
+    const { members, candidateMemberNs, runtimeUnionArity } = frame;
+    const unionArity = members.length;
     if (unionArity < 2 || unionArity > 8)
         return undefined;
     // Find which union members contain the property.
-    const matchingMembers = [];
-    for (let i = 0; i < resolved.types.length; i++) {
-        const member = resolved.types[i];
+    const matchingIndices = [];
+    const matchingMemberNs = [];
+    for (let i = 0; i < members.length; i++) {
+        const member = members[i];
         if (!member || member.kind !== "referenceType")
             continue;
-        if (hasProperty(member, propertyName, context)) {
-            matchingMembers.push(i + 1);
+        if (hasDeterministicPropertyMembership(member, propertyName, context) === true) {
+            matchingIndices.push(i);
+            matchingMemberNs.push(candidateMemberNs[i] ?? i + 1);
         }
     }
     // Only support the common "exactly one matching member" narrowing case.
-    if (matchingMembers.length !== 1)
+    if (matchingMemberNs.length !== 1)
         return undefined;
-    const memberN = matchingMembers[0];
+    const memberN = matchingMemberNs[0];
     if (!memberN)
         return undefined;
+    const matchingIndex = matchingIndices[0];
+    if (matchingIndex === undefined)
+        return undefined;
     const nextId = (context.tempVarId ?? 0) + 1;
     const ctxWithId = { ...context, tempVarId: nextId };
     const narrowedName = `${originalName}__${memberN}_${nextId}`;
     const [rhsAst] = emitIdentifier(condition.right, context);
     const escapedOrig = extractIdentifierText(rhsAst);
     const escapedNarrow = escapeCSharpIdentifier(narrowedName);
-    const narrowedMap = new Map(ctxWithId.narrowedBindings ?? []);
-    const memberType = resolved.types[memberN - 1];
-    narrowedMap.set(originalName, {
-        kind: "rename",
-        name: narrowedName,
-        type: memberType,
-    });
+    const memberType = members[matchingIndex];
+    if (!memberType)
+        return undefined;
+    const narrowedMap = buildRenameNarrowedMap(originalName, narrowedName, memberType, ctxWithId);
     return {
         originalName,
         propertyName,
         memberN,
         unionArity,
+        runtimeUnionArity,
+        candidateMemberNs,
+        candidateMembers: members,
         ctxWithId,
         narrowedName,
         escapedOrig,
@@ -395,31 +557,33 @@ export const tryResolvePredicateGuard = (call, context) => {
     const unionSourceType = arg.inferredType;
     if (!unionSourceType)
         return undefined;
-    const resolved = resolveTypeAlias(stripNullish(unionSourceType), context);
-    if (resolved.kind !== "unionType")
+    const frame = resolveRuntimeUnionFrame(originalName, unionSourceType, context);
+    if (!frame)
         return undefined;
+    const resolved = {
+        kind: "unionType",
+        types: [...frame.members],
+    };
     const idx = findUnionMemberIndex(resolved, narrowing.targetType, context);
     if (idx === undefined)
         return undefined;
-    const memberN = idx + 1;
-    const unionArity = resolved.types.length;
+    const memberN = frame.candidateMemberNs[idx] ?? idx + 1;
+    const unionArity = frame.members.length;
     const nextId = (context.tempVarId ?? 0) + 1;
     const ctxWithId = { ...context, tempVarId: nextId };
     const narrowedName = `${originalName}__${memberN}_${nextId}`;
     const [argAst] = emitIdentifier(arg, context);
     const escapedOrig = extractIdentifierText(argAst);
     const escapedNarrow = escapeCSharpIdentifier(narrowedName);
-    const narrowedMap = new Map(ctxWithId.narrowedBindings ?? []);
-    narrowedMap.set(originalName, {
-        kind: "rename",
-        name: narrowedName,
-        type: narrowing.targetType,
-    });
+    const narrowedMap = buildRenameNarrowedMap(originalName, narrowedName, narrowing.targetType, ctxWithId);
     return {
         originalName,
         targetType: narrowing.targetType,
         memberN,
         unionArity,
+        runtimeUnionArity: frame.runtimeUnionArity,
+        candidateMemberNs: frame.candidateMemberNs,
+        candidateMembers: frame.members,
         ctxWithId,
         narrowedName,
         escapedOrig,
@@ -447,9 +611,21 @@ export const tryResolveInstanceofGuard = (condition, context) => {
     const escapedOrig = extractIdentifierText(lhsAst);
     const nextId = (ctxAfterLhs.tempVarId ?? 0) + 1;
     const ctxWithId = { ...ctxAfterLhs, tempVarId: nextId };
-    // Emit RHS as a type name (e.g., global::System.String)
-    const [rhsAst, ctxAfterRhs] = emitExpressionAst(condition.right, ctxWithId);
-    const rhsTypeText = extractIdentifierText(rhsAst);
+    const [rhsAst, rhsCtxAfterExpr] = emitExpressionAst(condition.right, ctxWithId);
+    const inferredRhsType = condition.right.inferredType;
+    let rhsTypeAst;
+    let ctxAfterRhs = rhsCtxAfterExpr;
+    if (rhsAst.kind === "typeReferenceExpression") {
+        rhsTypeAst = rhsAst.type;
+    }
+    else if (inferredRhsType) {
+        const [emittedTypeAst, nextCtx] = emitTypeAst(inferredRhsType, rhsCtxAfterExpr);
+        rhsTypeAst = emittedTypeAst;
+        ctxAfterRhs = nextCtx;
+    }
+    if (!rhsTypeAst) {
+        return undefined;
+    }
     // Pattern variable name for the narrowed value.
     const narrowedName = `${originalName}__is_${nextId}`;
     const escapedNarrow = escapeCSharpIdentifier(narrowedName);
@@ -461,7 +637,7 @@ export const tryResolveInstanceofGuard = (condition, context) => {
     });
     return {
         originalName,
-        rhsTypeText,
+        rhsTypeAst,
         ctxWithId,
         ctxAfterRhs,
         narrowedName,