@tsonic/frontend 0.0.73 → 0.0.75

package/dist/ir/types/expressions-core.d.ts

@@ -0,0 +1,331 @@
+/**
+ * Core expression types for IR — base types, union, and primary expression nodes.
+ */
+import { IrType } from "./ir-types.js";
+import type { IrParameter, IrPattern, IrBinaryOperator, IrAssignmentOperator } from "./helpers.js";
+import type { IrClassMember } from "./statements.js";
+import { IrBlockStatement } from "./statements.js";
+import { NumericKind } from "./numeric-kind.js";
+import { SourceLocation } from "../../types/diagnostic.js";
+import type { DeclId, SignatureId, MemberId } from "../type-system/types.js";
+import type { IrNumericNarrowingExpression, IrTypeAssertionExpression, IrAsInterfaceExpression, IrTryCastExpression, IrStackAllocExpression, IrDefaultOfExpression, IrNameOfExpression, IrSizeOfExpression } from "./expressions-extended.js";
+/**
+ * Base fields shared by all expression types.
+ * - inferredType: The type TypeScript infers for this expression
+ * - contextualType: The type expected from context (assignment target, return type, etc.)
+ * - sourceSpan: Source location for error reporting
+ */
+export type IrExpressionBase = {
+    readonly inferredType?: IrType;
+    readonly contextualType?: IrType;
+    readonly sourceSpan?: SourceLocation;
+};
+export type IrExpression = IrLiteralExpression | IrIdentifierExpression | IrArrayExpression | IrObjectExpression | IrFunctionExpression | IrArrowFunctionExpression | IrMemberExpression | IrCallExpression | IrNewExpression | IrThisExpression | IrUpdateExpression | IrUnaryExpression | IrBinaryExpression | IrLogicalExpression | IrConditionalExpression | IrAssignmentExpression | IrTemplateLiteralExpression | IrSpreadExpression | IrAwaitExpression | IrYieldExpression | IrNumericNarrowingExpression | IrTypeAssertionExpression | IrAsInterfaceExpression | IrTryCastExpression | IrStackAllocExpression | IrDefaultOfExpression | IrNameOfExpression | IrSizeOfExpression;
+export type IrLiteralExpression = {
+    readonly kind: "literal";
+    readonly value: string | number | boolean | null | undefined;
+    readonly raw?: string;
+    readonly inferredType?: IrType;
+    readonly sourceSpan?: SourceLocation;
+    /**
+     * For numeric literals, the inferred numeric kind based on lexeme form.
+     * - Integer literals (42, 0xFF) → "Int32"
+     * - Floating literals (42.0, 3.14, 1e3) → "Double"
+     *
+     * This is expression-level information, NOT type-level.
+     * The type system still sees this as "number" (which means double).
+     * This field enables the emitter to emit `42` vs `42.0` appropriately
+     * and the coercion pass to detect int→double conversions.
+     */
+    readonly numericIntent?: NumericKind;
+};
+export type IrIdentifierExpression = {
+    readonly kind: "identifier";
+    readonly name: string;
+    readonly inferredType?: IrType;
+    readonly sourceSpan?: SourceLocation;
+    readonly declId?: DeclId;
+    readonly resolvedClrType?: string;
+    readonly resolvedAssembly?: string;
+    readonly csharpName?: string;
+    readonly importedFrom?: {
+        readonly containerName: string;
+        readonly exportName: string;
+        readonly namespace: string;
+    };
+    readonly originalName?: string;
+};
+export type IrArrayExpression = {
+    readonly kind: "array";
+    readonly elements: readonly (IrExpression | IrSpreadExpression | undefined)[];
+    readonly inferredType?: IrType;
+    readonly sourceSpan?: SourceLocation;
+};
+export type IrObjectExpression = {
+    readonly kind: "object";
+    readonly properties: readonly IrObjectProperty[];
+    /** Synthesized behavioral members (currently accessors) for object literal lowering. */
+    readonly behaviorMembers?: readonly IrClassMember[];
+    readonly inferredType?: IrType;
+    readonly sourceSpan?: SourceLocation;
+    /** Contextual type for object literals in typed positions (return, assignment, etc.) */
+    readonly contextualType?: IrType;
+    /** True if this object literal contains spread expressions (for IIFE lowering) */
+    readonly hasSpreads?: boolean;
+};
+export type IrObjectProperty = {
+    readonly kind: "property";
+    readonly key: string | IrExpression;
+    readonly value: IrExpression;
+    readonly shorthand: boolean;
+} | {
+    readonly kind: "spread";
+    readonly expression: IrExpression;
+};
+export type IrFunctionExpression = {
+    readonly kind: "functionExpression";
+    readonly name?: string;
+    readonly parameters: readonly IrParameter[];
+    readonly returnType?: IrType;
+    readonly body: IrBlockStatement;
+    readonly isAsync: boolean;
+    readonly isGenerator: boolean;
+    /** True when object-literal method shorthand must bind `this` to the constructed object. */
+    readonly capturesObjectLiteralThis?: boolean;
+    readonly inferredType?: IrType;
+    readonly sourceSpan?: SourceLocation;
+};
+export type IrArrowFunctionExpression = {
+    readonly kind: "arrowFunction";
+    readonly parameters: readonly IrParameter[];
+    readonly returnType?: IrType;
+    readonly body: IrBlockStatement | IrExpression;
+    readonly isAsync: boolean;
+    readonly inferredType?: IrType;
+    /** Contextual type from call site (e.g., array.map callback signature) */
+    readonly contextualType?: IrType;
+    readonly sourceSpan?: SourceLocation;
+};
+/**
+ * Classification for computed member access lowering.
+ * Determines whether TSN5107 (Int32 proof) is required.
+ *
+ * - clrIndexer: CLR indexer (obj[int]) - requires Int32 proof
+ * - dictionary: Dictionary<K,V>[key] - NO Int32 requirement (key is typed)
+ * - stringChar: string[int] character access - requires Int32 proof
+ * - unknown: Fallback for unclassified access - emit error
+ */
+export type ComputedAccessKind = "clrIndexer" | "dictionary" | "stringChar" | "unknown";
+export type ComputedAccessProtocol = {
+    readonly getterMember: string;
+    readonly setterMember?: string;
+};
+export type IrMemberExpression = {
+    readonly kind: "memberAccess";
+    readonly object: IrExpression;
+    readonly property: IrExpression | string;
+    readonly isComputed: boolean;
+    readonly isOptional: boolean;
+    readonly inferredType?: IrType;
+    /**
+     * True when `unknown` is the declared/resulting type (for example `unknown[]`
+     * element access) rather than an unrecovered/poisoned type.
+     */
+    readonly allowUnknownInferredType?: boolean;
+    readonly sourceSpan?: SourceLocation;
+    readonly memberId?: MemberId;
+    readonly memberBinding?: {
+        readonly kind: "method" | "property";
+        readonly assembly: string;
+        readonly type: string;
+        readonly member: string;
+        readonly parameterModifiers?: readonly {
+            readonly index: number;
+            readonly modifier: "ref" | "out" | "in";
+        }[];
+        readonly isExtensionMethod?: boolean;
+        readonly receiverExpectedType?: IrType;
+        readonly emitSemantics?: {
+            readonly callStyle?: "receiver" | "static";
+            readonly callableStaticAccessorKind?: "property" | "field";
+        };
+    };
+    readonly accessKind?: ComputedAccessKind;
+    /** Explicit source-surface protocol for computed index access. */
+    readonly accessProtocol?: ComputedAccessProtocol;
+};
+export type IrCallExpression = {
+    readonly kind: "call";
+    readonly callee: IrExpression;
+    readonly arguments: readonly (IrExpression | IrSpreadExpression)[];
+    readonly isOptional: boolean;
+    readonly intrinsicKind?: "globalSymbol";
+    readonly inferredType?: IrType;
+    /**
+     * True when `unknown` is the declared return type (for example JSON.parse())
+     * rather than a failed recovery from an unannotated signature.
+     */
+    readonly allowUnknownInferredType?: boolean;
+    readonly sourceSpan?: SourceLocation;
+    readonly signatureId?: SignatureId;
+    /** Alternate overload candidates for post-proof re-resolution. */
+    readonly candidateSignatureIds?: readonly SignatureId[];
+    readonly typeArguments?: readonly IrType[];
+    readonly requiresSpecialization?: boolean;
+    /** Contextual expected return type used during original overload selection. */
+    readonly resolutionExpectedReturnType?: IrType;
+    readonly argumentPassing?: readonly ("value" | "ref" | "out" | "in")[];
+    /** Parameter types from resolved signature (for expectedType threading to array literals etc.) */
+    readonly parameterTypes?: readonly (IrType | undefined)[];
+    /** Declared/public parameter surface types for emission; not narrowed per call-site argument. */
+    readonly surfaceParameterTypes?: readonly (IrType | undefined)[];
+    /** Explicit rest-parameter metadata from the resolved/public signature. */
+    readonly restParameter?: {
+        readonly index: number;
+        readonly arrayType: IrType | undefined;
+        readonly elementType: IrType | undefined;
+    };
+    /** Declared/public rest-parameter metadata for emission. */
+    readonly surfaceRestParameter?: {
+        readonly index: number;
+        readonly arrayType: IrType | undefined;
+        readonly elementType: IrType | undefined;
+    };
+    /** Exact source-declared parameter surface retained across refresh passes. */
+    readonly sourceBackedParameterTypes?: readonly (IrType | undefined)[];
+    /** Exact source-declared public parameter surface retained across refresh passes. */
+    readonly sourceBackedSurfaceParameterTypes?: readonly (IrType | undefined)[];
+    /** Exact source-declared rest metadata retained across refresh passes. */
+    readonly sourceBackedRestParameter?: {
+        readonly index: number;
+        readonly arrayType: IrType | undefined;
+        readonly elementType: IrType | undefined;
+    };
+    /** Exact source-declared return type retained across refresh passes. */
+    readonly sourceBackedReturnType?: IrType;
+    /** Type predicate narrowing metadata (for `x is T` predicates) */
+    readonly narrowing?: {
+        readonly kind: "typePredicate";
+        readonly argIndex: number;
+        readonly targetType: IrType;
+    };
+    /**
+     * Closed-world local dynamic import namespace object for `import("./local.js")`.
+     * When present, the emitter lowers the call to `Task<namespaceObject>`.
+     */
+    readonly dynamicImportNamespace?: IrObjectExpression;
+};
+export type IrNewExpression = {
+    readonly kind: "new";
+    readonly callee: IrExpression;
+    readonly arguments: readonly (IrExpression | IrSpreadExpression)[];
+    readonly inferredType?: IrType;
+    readonly sourceSpan?: SourceLocation;
+    readonly signatureId?: SignatureId;
+    /** Contextual expected return type used during original constructor resolution. */
+    readonly resolutionExpectedReturnType?: IrType;
+    /** Passing mode for each constructor argument (ref/out/in/value). */
+    readonly argumentPassing?: readonly ("value" | "ref" | "out" | "in")[];
+    /** Parameter types from resolved constructor signature (for expectedType threading). */
+    readonly parameterTypes?: readonly (IrType | undefined)[];
+    /** Declared/public constructor parameter surface types for emission. */
+    readonly surfaceParameterTypes?: readonly (IrType | undefined)[];
+    /** Exact source-declared constructor parameter surface retained across refresh passes. */
+    readonly sourceBackedParameterTypes?: readonly (IrType | undefined)[];
+    /** Exact source-declared public constructor parameter surface retained across refresh passes. */
+    readonly sourceBackedSurfaceParameterTypes?: readonly (IrType | undefined)[];
+    /** Exact source-declared constructor rest metadata retained across refresh passes. */
+    readonly sourceBackedRestParameter?: {
+        readonly index: number;
+        readonly arrayType: IrType | undefined;
+        readonly elementType: IrType | undefined;
+    };
+    /** Exact source-declared constructor result type retained across refresh passes. */
+    readonly sourceBackedReturnType?: IrType;
+    readonly typeArguments?: readonly IrType[];
+    readonly requiresSpecialization?: boolean;
+    readonly surfaceRestParameter?: {
+        readonly index: number;
+        readonly arrayType: IrType | undefined;
+        readonly elementType: IrType | undefined;
+    };
+};
+export type IrThisExpression = {
+    readonly kind: "this";
+    readonly inferredType?: IrType;
+    readonly sourceSpan?: SourceLocation;
+};
+export type IrUpdateExpression = {
+    readonly kind: "update";
+    readonly operator: "++" | "--";
+    readonly prefix: boolean;
+    readonly expression: IrExpression;
+    readonly inferredType?: IrType;
+    readonly sourceSpan?: SourceLocation;
+};
+export type IrUnaryExpression = {
+    readonly kind: "unary";
+    readonly operator: "+" | "-" | "!" | "~" | "typeof" | "void" | "delete";
+    readonly expression: IrExpression;
+    readonly inferredType?: IrType;
+    readonly sourceSpan?: SourceLocation;
+};
+export type IrBinaryExpression = {
+    readonly kind: "binary";
+    readonly operator: IrBinaryOperator;
+    readonly left: IrExpression;
+    readonly right: IrExpression;
+    readonly inferredType?: IrType;
+    readonly sourceSpan?: SourceLocation;
+};
+export type IrLogicalExpression = {
+    readonly kind: "logical";
+    readonly operator: "&&" | "||" | "??";
+    readonly left: IrExpression;
+    readonly right: IrExpression;
+    readonly inferredType?: IrType;
+    readonly sourceSpan?: SourceLocation;
+};
+export type IrConditionalExpression = {
+    readonly kind: "conditional";
+    readonly condition: IrExpression;
+    readonly whenTrue: IrExpression;
+    readonly whenFalse: IrExpression;
+    readonly inferredType?: IrType;
+    readonly sourceSpan?: SourceLocation;
+};
+export type IrAssignmentExpression = {
+    readonly kind: "assignment";
+    readonly operator: IrAssignmentOperator;
+    readonly left: IrExpression | IrPattern;
+    readonly right: IrExpression;
+    readonly inferredType?: IrType;
+    readonly sourceSpan?: SourceLocation;
+};
+export type IrTemplateLiteralExpression = {
+    readonly kind: "templateLiteral";
+    readonly quasis: readonly string[];
+    readonly expressions: readonly IrExpression[];
+    readonly inferredType?: IrType;
+    readonly sourceSpan?: SourceLocation;
+};
+export type IrSpreadExpression = {
+    readonly kind: "spread";
+    readonly expression: IrExpression;
+    readonly inferredType?: IrType;
+    readonly sourceSpan?: SourceLocation;
+};
+export type IrAwaitExpression = {
+    readonly kind: "await";
+    readonly expression: IrExpression;
+    readonly inferredType?: IrType;
+    readonly sourceSpan?: SourceLocation;
+};
+export type IrYieldExpression = {
+    readonly kind: "yield";
+    readonly expression?: IrExpression;
+    readonly delegate: boolean;
+    readonly inferredType?: IrType;
+    readonly sourceSpan?: SourceLocation;
+};
+//# sourceMappingURL=expressions-core.d.ts.map

package/dist/ir/types/expressions-core.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"expressions-core.d.ts","sourceRoot":"","sources":["../../../src/ir/types/expressions-core.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AACvC,OAAO,KAAK,EACV,WAAW,EACX,SAAS,EACT,gBAAgB,EAChB,oBAAoB,EACrB,MAAM,cAAc,CAAC;AACtB,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AACrD,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AACnD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAC3D,OAAO,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAC7E,OAAO,KAAK,EACV,4BAA4B,EAC5B,yBAAyB,EACzB,uBAAuB,EACvB,mBAAmB,EACnB,sBAAsB,EACtB,qBAAqB,EACrB,kBAAkB,EAClB,kBAAkB,EACnB,MAAM,2BAA2B,CAAC;AAEnC;;;;;GAKG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;CACtC,CAAC;AAEF,MAAM,MAAM,YAAY,GACpB,mBAAmB,GACnB,sBAAsB,GACtB,iBAAiB,GACjB,kBAAkB,GAClB,oBAAoB,GACpB,yBAAyB,GACzB,kBAAkB,GAClB,gBAAgB,GAChB,eAAe,GACf,gBAAgB,GAChB,kBAAkB,GAClB,iBAAiB,GACjB,kBAAkB,GAClB,mBAAmB,GACnB,uBAAuB,GACvB,sBAAsB,GACtB,2BAA2B,GAC3B,kBAAkB,GAClB,iBAAiB,GACjB,iBAAiB,GACjB,4BAA4B,GAC5B,yBAAyB,GACzB,uBAAuB,GACvB,mBAAmB,GACnB,sBAAsB,GACtB,qBAAqB,GACrB,kBAAkB,GAClB,kBAAkB,CAAC;AAEvB,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,GAAG,SAAS,CAAC;IAC7D,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;IACrC;;;;;;;;;OASG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,WAAW,CAAC;CACtC,CAAC;AAEF,MAAM,MAAM,sBAAsB,GAAG;IACnC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;IAErC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAEzB,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAE7B,QAAQ,CAAC,YAAY,CAAC,EAAE;QACtB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;QAC/B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;QAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;KAC5B,CAAC;IAGF,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,YAAY,GAAG,kBAAkB,GAAG,SAAS,CAAC,EAAE,CAAC;IAC9E,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;CACtC,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACjD,wFAAwF;IACxF,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;IACpD,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;IACrC,wFAAwF;IACxF,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,kFAAkF;IAClF,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;CAC/B,CAAC;AAEF,MAAM,MAAM,gBAAgB,GACxB;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,YAAY,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;CAC7B,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAA;CAAE,CAAC;AAEnE,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IACpC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,SAAS,WAAW,EAAE,CAAC;IAC5C,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,4FAA4F;IAC5F,QAAQ,CAAC,yBAAyB,CAAC,EAAE,OAAO,CAAC;IAC7C,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;CACtC,CAAC;AAEF,MAAM,MAAM,yBAAyB,GAAG;IACtC,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,UAAU,EAAE,SAAS,WAAW,EAAE,CAAC;IAC5C,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,gBAAgB,GAAG,YAAY,CAAC;IAC/C,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,0EAA0E;IAC1E,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;CACtC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,MAAM,kBAAkB,GAC1B,YAAY,GACZ,YAAY,GACZ,YAAY,GACZ,SAAS,CAAC;AAEd,MAAM,MAAM,sBAAsB,GAAG;IACnC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,YAAY,GAAG,MAAM,CAAC;IACzC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B;;;OAGG;IACH,QAAQ,CAAC,wBAAwB,CAAC,EAAE,OAAO,CAAC;IAC5C,QAAQ,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;IAErC,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC;IAI7B,QAAQ,CAAC,aAAa,CAAC,EAAE;QACvB,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,UAAU,CAAC;QACrC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QAExB,QAAQ,CAAC,kBAAkB,CAAC,EAAE,SAAS;YACrC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;YACvB,QAAQ,CAAC,QAAQ,EAAE,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC;SACzC,EAAE,CAAC;QACJ,QAAQ,CAAC,iBAAiB,CAAC,EAAE,OAAO,CAAC;QACrC,QAAQ,CAAC,oBAAoB,CAAC,EAAE,MAAM,CAAC;QACvC,QAAQ,CAAC,aAAa,CAAC,EAAE;YACvB,QAAQ,CAAC,SAAS,CAAC,EAAE,UAAU,GAAG,QAAQ,CAAC;YAC3C,QAAQ,CAAC,0BAA0B,CAAC,EAAE,UAAU,GAAG,OAAO,CAAC;SAC5D,CAAC;KACH,CAAC;IAGF,QAAQ,CAAC,UAAU,CAAC,EAAE,kBAAkB,CAAC;IACzC,kEAAkE;IAClE,QAAQ,CAAC,cAAc,CAAC,EAAE,sBAAsB,CAAC;CAClD,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC,YAAY,GAAG,kBAAkB,CAAC,EAAE,CAAC;IACnE,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,aAAa,CAAC,EAAE,cAAc,CAAC;IACxC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B;;;OAGG;IACH,QAAQ,CAAC,wBAAwB,CAAC,EAAE,OAAO,CAAC;IAC5C,QAAQ,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;IAErC,QAAQ,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC;IACnC,kEAAkE;IAClE,QAAQ,CAAC,qBAAqB,CAAC,EAAE,SAAS,WAAW,EAAE,CAAC;IACxD,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,sBAAsB,CAAC,EAAE,OAAO,CAAC;IAC1C,+EAA+E;IAC/E,QAAQ,CAAC,4BAA4B,CAAC,EAAE,MAAM,CAAC;IAC/C,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,CAAC,OAAO,GAAG,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC,EAAE,CAAC;IACvE,kGAAkG;IAClG,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC;IAC1D,iGAAiG;IACjG,QAAQ,CAAC,qBAAqB,CAAC,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC;IACjE,2EAA2E;IAC3E,QAAQ,CAAC,aAAa,CAAC,EAAE;QACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,SAAS,CAAC;QACvC,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,SAAS,CAAC;KAC1C,CAAC;IACF,4DAA4D;IAC5D,QAAQ,CAAC,oBAAoB,CAAC,EAAE;QAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,SAAS,CAAC;QACvC,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,SAAS,CAAC;KAC1C,CAAC;IACF,8EAA8E;IAC9E,QAAQ,CAAC,0BAA0B,CAAC,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC;IACtE,qFAAqF;IACrF,QAAQ,CAAC,iCAAiC,CAAC,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC;IAC7E,0EAA0E;IAC1E,QAAQ,CAAC,yBAAyB,CAAC,EAAE;QACnC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,SAAS,CAAC;QACvC,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,SAAS,CAAC;KAC1C,CAAC;IACF,wEAAwE;IACxE,QAAQ,CAAC,sBAAsB,CAAC,EAAE,MAAM,CAAC;IACzC,kEAAkE;IAClE,QAAQ,CAAC,SAAS,CAAC,EAAE;QACnB,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;QAC/B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;KAC7B,CAAC;IACF;;;OAGG;IACH,QAAQ,CAAC,sBAAsB,CAAC,EAAE,kBAAkB,CAAC;CACtD,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC,YAAY,GAAG,kBAAkB,CAAC,EAAE,CAAC;IACnE,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;IAErC,QAAQ,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC;IACnC,mFAAmF;IACnF,QAAQ,CAAC,4BAA4B,CAAC,EAAE,MAAM,CAAC;IAC/C,qEAAqE;IACrE,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,CAAC,OAAO,GAAG,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC,EAAE,CAAC;IACvE,wFAAwF;IACxF,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC;IAC1D,wEAAwE;IACxE,QAAQ,CAAC,qBAAqB,CAAC,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC;IACjE,0FAA0F;IAC1F,QAAQ,CAAC,0BAA0B,CAAC,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC;IACtE,iGAAiG;IACjG,QAAQ,CAAC,iCAAiC,CAAC,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC;IAC7E,sFAAsF;IACtF,QAAQ,CAAC,yBAAyB,CAAC,EAAE;QACnC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,SAAS,CAAC;QACvC,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,SAAS,CAAC;KAC1C,CAAC;IACF,oFAAoF;IACpF,QAAQ,CAAC,sBAAsB,CAAC,EAAE,MAAM,CAAC;IACzC,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,sBAAsB,CAAC,EAAE,OAAO,CAAC;IAC1C,QAAQ,CAAC,oBAAoB,CAAC,EAAE;QAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,SAAS,CAAC;QACvC,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,SAAS,CAAC;KAC1C,CAAC;CACH,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;CACtC,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,IAAI,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAC;IAClC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;CACtC,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,QAAQ,GAAG,MAAM,GAAG,QAAQ,CAAC;IACxE,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAC;IAClC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;CACtC,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC;IAC7B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;CACtC,CAAC;AAEF,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC;IACtC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC;IAC7B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;CACtC,CAAC;AAEF,MAAM,MAAM,uBAAuB,GAAG;IACpC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC;IACjC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;CACtC,CAAC;AAEF,MAAM,MAAM,sBAAsB,GAAG;IACnC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,oBAAoB,CAAC;IACxC,QAAQ,CAAC,IAAI,EAAE,YAAY,GAAG,SAAS,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC;IAC7B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;CACtC,CAAC;AAEF,MAAM,MAAM,2BAA2B,GAAG;IACxC,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,WAAW,EAAE,SAAS,YAAY,EAAE,CAAC;IAC9C,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;CACtC,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAC;IAClC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;CACtC,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAC;IAClC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;CACtC,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,UAAU,CAAC,EAAE,YAAY,CAAC;IACnC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;CACtC,CAAC"}

package/dist/ir/types/expressions-core.js

@@ -0,0 +1,5 @@
+/**
+ * Core expression types for IR — base types, union, and primary expression nodes.
+ */
+export {};
+//# sourceMappingURL=expressions-core.js.map

package/dist/ir/types/expressions-core.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expressions-core.js","sourceRoot":"","sources":["../../../src/ir/types/expressions-core.ts"],"names":[],"mappings":"AAAA;;GAEG"}

package/dist/ir/types/expressions-extended.d.ts

@@ -0,0 +1,232 @@
+/**
+ * Extended expression types for IR — numeric narrowing, type assertions,
+ * intrinsics (stackalloc, defaultof, nameof, sizeof), and proof types.
+ */
+import { IrType } from "./ir-types.js";
+import { NumericKind } from "./numeric-kind.js";
+import { SourceLocation } from "../../types/diagnostic.js";
+import type { IrExpression } from "./expressions-core.js";
+/**
+ * Represents an explicit numeric conversion intent (narrowing OR widening).
+ *
+ * This captures explicit numeric intent from the source code while preserving
+ * the inner expression. The coercion pass uses this to distinguish explicit
+ * user intent from implicit conversions.
+ *
+ * SEMANTICS:
+ * - This node indicates **explicit user intent** to convert between numeric types
+ * - May be narrowing (e.g., `x as int`) or widening (e.g., `42 as number`)
+ * - Used by TSN5110 to exempt explicit casts from int→double coercion errors
+ * - The proof system validates that narrowing operations are sound
+ *
+ * Examples:
+ * - `10 as int` → IrNumericNarrowingExpression(literal 10, targetKind: "Int32")
+ * - `x as byte` → IrNumericNarrowingExpression(identifier x, targetKind: "Byte")
+ * - `42 as number` → IrNumericNarrowingExpression(literal 42, targetKind: "Double")
+ *
+ * NOTE: Despite the name "Narrowing", this node also handles widening conversions.
+ * A future rename to IrNumericConversionExpression may be appropriate.
+ */
+export type IrNumericNarrowingExpression = {
+    readonly kind: "numericNarrowing";
+    /** The expression being narrowed */
+    readonly expression: IrExpression;
+    /** The target CLR numeric kind */
+    readonly targetKind: NumericKind;
+    /** Type after narrowing (always a number with numericIntent set) */
+    readonly inferredType: IrType;
+    readonly sourceSpan?: SourceLocation;
+    /**
+     * Attached by the Numeric Proof Pass.
+     * If present and valid, the narrowing has been proven sound.
+     * If undefined, the proof pass hasn't run yet or couldn't prove it.
+     */
+    readonly proof?: NumericProof;
+};
+/**
+ * Proof that an expression produces a specific numeric kind.
+ * Attached to expressions by the Numeric Proof Pass.
+ */
+export type NumericProof = {
+    /** The proven numeric kind */
+    readonly kind: NumericKind;
+    /** How the proof was established */
+    readonly source: ProofSource;
+};
+/**
+ * Describes how a numeric proof was established.
+ */
+export type ProofSource = {
+    readonly type: "literal";
+    readonly value: number | bigint;
+} | {
+    readonly type: "parameter";
+    readonly name: string;
+} | {
+    readonly type: "dotnetReturn";
+    readonly method: string;
+    readonly returnKind: NumericKind;
+} | {
+    readonly type: "binaryOp";
+    readonly operator: string;
+    readonly leftKind: NumericKind;
+    readonly rightKind: NumericKind;
+} | {
+    readonly type: "unaryOp";
+    readonly operator: string;
+    readonly operandKind: NumericKind;
+} | {
+    readonly type: "narrowing";
+    readonly from: NumericKind;
+} | {
+    readonly type: "variable";
+    readonly name: string;
+};
+/**
+ * Represents a non-numeric type assertion (x as T).
+ *
+ * This captures the explicit user intent to cast between types.
+ * Emits as C# throwing cast: (T)x
+ *
+ * For safe (nullable) casts, use trycast<T>(x) which creates IrTryCastExpression.
+ *
+ * Examples:
+ * - `obj as Person` → IrTypeAssertionExpression(obj, referenceType(Person))
+ * - `value as string` → IrTypeAssertionExpression(value, primitiveType(string))
+ *
+ * NOTE: Numeric type assertions (`as int`, `as byte`) use IrNumericNarrowingExpression instead.
+ */
+export type IrTypeAssertionExpression = {
+    readonly kind: "typeAssertion";
+    /** The expression being cast */
+    readonly expression: IrExpression;
+    /** The target type for the cast */
+    readonly targetType: IrType;
+    /** Inferred type (same as targetType) */
+    readonly inferredType: IrType;
+    /**
+     * Compiler-authored runtime-union source member numbers that remain reachable
+     * after deterministic overload specialization.
+     *
+     * This is only used when `expression` still carries the full preserved
+     * runtime-union layout, but the current assertion knows that only a subset of
+     * source carriers can occur for this call shape.
+     */
+    readonly selectedRuntimeUnionMembers?: readonly number[];
+    readonly sourceSpan?: SourceLocation;
+};
+/**
+ * Represents an interface upcast (asinterface<T>(x)).
+ *
+ * Airplane-grade rule:
+ * - This must never emit an explicit runtime cast in C#.
+ * - It exists to let TypeScript treat a value as an interface (or other nominal type)
+ *   when the value's declared TS type is narrower (e.g., DbSet<TEntity> vs IQueryable<TEntity>).
+ *
+ * Emits as the underlying expression `x` (type-only), relying on contextual typing in C#:
+ * - `const q = asinterface<IQueryable<T>>(db.Events);` → `global::System.Linq.IQueryable<T> q = db.Events;`
+ *
+ * NOTE: If you need to access members that are implemented explicitly on the CLR type,
+ * prefer assigning to a typed local first (so C# has the interface static type).
+ */
+export type IrAsInterfaceExpression = {
+    readonly kind: "asinterface";
+    /** The expression being re-typed */
+    readonly expression: IrExpression;
+    /** The target type for the interface view */
+    readonly targetType: IrType;
+    /** Inferred type (same as targetType) */
+    readonly inferredType: IrType;
+    readonly sourceSpan?: SourceLocation;
+};
+/**
+ * Represents a safe cast operation (trycast<T>(x)).
+ *
+ * Emits as C# safe cast: x as T
+ * Returns T | null (null if cast fails).
+ *
+ * This is the C# "as" keyword behavior - returns null on failure instead of throwing.
+ *
+ * Examples:
+ * - `trycast<Person>(obj)` → `obj as Person` in C#
+ * - `trycast<string>(value)` → `value as string` in C#
+ */
+export type IrTryCastExpression = {
+    readonly kind: "trycast";
+    /** The expression being cast */
+    readonly expression: IrExpression;
+    /** The target type for the cast */
+    readonly targetType: IrType;
+    /** Inferred type is T | null */
+    readonly inferredType: IrType;
+    readonly sourceSpan?: SourceLocation;
+};
+/**
+ * Represents a stack allocation operation (stackalloc<T>(size)).
+ *
+ * Emits as C# stackalloc expression: `stackalloc T[size]`.
+ *
+ * Example:
+ * - `stackalloc<int>(256)` → `stackalloc int[256]` in C#
+ */
+export type IrStackAllocExpression = {
+    readonly kind: "stackalloc";
+    /** Element type allocated on the stack */
+    readonly elementType: IrType;
+    /** Number of elements to allocate */
+    readonly size: IrExpression;
+    /** Inferred type is Span<T> */
+    readonly inferredType: IrType;
+    readonly sourceSpan?: SourceLocation;
+};
+/**
+ * Represents a default value intrinsic (defaultof<T>()).
+ *
+ * Emits as C# default expression: `default(T)`.
+ *
+ * Example:
+ * - `defaultof<int>()` → `default(int)` in C#
+ */
+export type IrDefaultOfExpression = {
+    readonly kind: "defaultof";
+    /** The type whose default value is requested */
+    readonly targetType: IrType;
+    /** Inferred type is the same as targetType */
+    readonly inferredType: IrType;
+    readonly sourceSpan?: SourceLocation;
+};
+/**
+ * Represents a compile-time nameof intrinsic.
+ *
+ * Tsonic lowers this to a compile-time string literal using the authored TS symbol text.
+ *
+ * Examples:
+ * - `nameof(user)` → `"user"`
+ * - `nameof(user.name)` → `"name"`
+ * - `nameof(MyType)` → `"MyType"`
+ */
+export type IrNameOfExpression = {
+    readonly kind: "nameof";
+    /** The TS-authored symbol/member name extracted at conversion time. */
+    readonly name: string;
+    readonly inferredType: IrType;
+    readonly sourceSpan?: SourceLocation;
+};
+/**
+ * Represents a compile-time sizeof intrinsic.
+ *
+ * Emits as C# `sizeof(T)`.
+ *
+ * Examples:
+ * - `sizeof<int>()` → `sizeof(int)`
+ * - `sizeof<Guid>()` → `sizeof(global::System.Guid)`
+ */
+export type IrSizeOfExpression = {
+    readonly kind: "sizeof";
+    /** The type whose size is requested */
+    readonly targetType: IrType;
+    /** Inferred type is always int */
+    readonly inferredType: IrType;
+    readonly sourceSpan?: SourceLocation;
+};
+//# sourceMappingURL=expressions-extended.d.ts.map

package/dist/ir/types/expressions-extended.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"expressions-extended.d.ts","sourceRoot":"","sources":["../../../src/ir/types/expressions-extended.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AACvC,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAC3D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAE1D;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,MAAM,4BAA4B,GAAG;IACzC,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAClC,oCAAoC;IACpC,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAC;IAClC,kCAAkC;IAClC,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC;IACjC,oEAAoE;IACpE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;IACrC;;;;OAIG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,YAAY,CAAC;CAC/B,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,8BAA8B;IAC9B,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,oCAAoC;IACpC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;CAC9B,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,WAAW,GACnB;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAAA;CAAE,GAC7D;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACrD;IACE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC;CAClC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC;IAC/B,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC;CACjC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;CACnC,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;CAAE,GAC1D;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAEzD;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,yBAAyB,GAAG;IACtC,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,gCAAgC;IAChC,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAC;IAClC,mCAAmC;IACnC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,yCAAyC;IACzC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B;;;;;;;OAOG;IACH,QAAQ,CAAC,2BAA2B,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzD,QAAQ,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;CACtC,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,uBAAuB,GAAG;IACpC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,oCAAoC;IACpC,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAC;IAClC,6CAA6C;IAC7C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,yCAAyC;IACzC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;CACtC,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,gCAAgC;IAChC,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAC;IAClC,mCAAmC;IACnC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,gCAAgC;IAChC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;CACtC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,MAAM,sBAAsB,GAAG;IACnC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,0CAA0C;IAC1C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,qCAAqC;IACrC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,+BAA+B;IAC/B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;CACtC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,MAAM,qBAAqB,GAAG;IAClC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,gDAAgD;IAChD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,8CAA8C;IAC9C,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;CACtC,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,uEAAuE;IACvE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;CACtC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,uCAAuC;IACvC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,kCAAkC;IAClC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;CACtC,CAAC"}

package/dist/ir/types/expressions-extended.js

@@ -0,0 +1,6 @@
+/**
+ * Extended expression types for IR — numeric narrowing, type assertions,
+ * intrinsics (stackalloc, defaultof, nameof, sizeof), and proof types.
+ */
+export {};
+//# sourceMappingURL=expressions-extended.js.map

package/dist/ir/types/expressions-extended.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expressions-extended.js","sourceRoot":"","sources":["../../../src/ir/types/expressions-extended.ts"],"names":[],"mappings":"AAAA;;;GAGG"}