@tsonic/emitter 0.0.73 → 0.0.75

package/dist/statements/blocks.js

@@ -1,444 +1,4 @@
-/**
- * Block and simple statement emitters
- *
- * Returns CSharpStatementAst nodes. Multi-statement lowerings (e.g., void-return
- * splitting into `expr; return;`) return arrays of statements that the parent
- * block flattens into its own statements array.
- */
-import { emitExpressionAst } from "../expression-emitter.js";
-import { emitStatementAst } from "../statement-emitter.js";
-import { lowerPatternAst } from "../patterns.js";
-import { allocateLocalName } from "../core/format/local-names.js";
-const ASYNC_WRAPPER_NAMES = new Set([
-    "Promise",
-    "PromiseLike",
-    "Task",
-    "ValueTask",
-]);
-const isAsyncWrapperType = (type, visited = new Set()) => {
-    if (!type || visited.has(type))
-        return false;
-    visited.add(type);
-    if (type.kind === "referenceType") {
-        const simple = type.name.includes(".")
-            ? type.name.slice(type.name.lastIndexOf(".") + 1)
-            : type.name;
-        if (ASYNC_WRAPPER_NAMES.has(simple))
-            return true;
-    }
-    if (type.kind === "unionType" || type.kind === "intersectionType") {
-        return type.types.some((t) => isAsyncWrapperType(t, visited));
-    }
-    return false;
-};
-const expressionProducesAsyncWrapper = (expr) => {
-    if (expr.kind === "identifier" || expr.kind === "memberAccess") {
-        return isAsyncWrapperType(expr.inferredType);
-    }
-    if (expr.kind === "call" || expr.kind === "new") {
-        if (isAsyncWrapperType(expr.inferredType))
-            return true;
-        const calleeType = expr.callee.inferredType;
-        if (calleeType?.kind === "functionType") {
-            return isAsyncWrapperType(calleeType.returnType);
-        }
-    }
-    return false;
-};
-/**
- * Emit a block statement as AST
- */
-export const emitBlockStatementAst = (stmt, context) => {
-    const outerNameMap = context.localNameMap;
-    // New lexical scope for locals (prevents C# CS0136 shadowing errors).
-    let currentContext = {
-        ...context,
-        localNameMap: new Map(outerNameMap ?? []),
-    };
-    const statements = [];
-    for (const s of stmt.statements) {
-        const [stmts, newContext] = emitStatementAst(s, currentContext);
-        statements.push(...stmts);
-        currentContext = newContext;
-    }
-    return [
-        { kind: "blockStatement", statements },
-        { ...currentContext, localNameMap: outerNameMap },
-    ];
-};
-/**
- * Emit a return statement as AST.
- * Uses context.returnType to pass expectedType for null → default conversion in generic contexts.
- *
- * Returns an array because void-return lowering may produce multiple statements
- * (e.g., `expr; return;` for side-effectful expressions in void-returning functions).
- */
-export const emitReturnStatementAst = (stmt, context) => {
-    if (stmt.expression) {
-        // In TypeScript, `return expr;` is permitted in a `void`-returning function and
-        // simply returns `undefined` after evaluating `expr` for side effects.
-        //
-        // C# forbids `return <expr>;` in a `void` method, so lower it to:
-        //   <eval expr>;
-        //   return;
-        if (context.returnType?.kind === "voidType" ||
-            context.returnType?.kind === "neverType") {
-            const expr = stmt.expression.kind === "unary" && stmt.expression.operator === "void"
-                ? stmt.expression.expression
-                : stmt.expression;
-            const isNoopExpr = (expr.kind === "literal" &&
-                (expr.value === undefined || expr.value === null)) ||
-                (expr.kind === "identifier" &&
-                    (expr.name === "undefined" || expr.name === "null"));
-            const [exprAst, newContext] = emitExpressionAst(expr, context);
-            if (isNoopExpr) {
-                return [[{ kind: "returnStatement" }], newContext];
-            }
-            const returnStmt = { kind: "returnStatement" };
-            if (expr.kind === "call" ||
-                expr.kind === "new" ||
-                expr.kind === "assignment" ||
-                expr.kind === "update" ||
-                expr.kind === "await") {
-                return [
-                    [{ kind: "expressionStatement", expression: exprAst }, returnStmt],
-                    newContext,
-                ];
-            }
-            // Use discard assignment for expressions that aren't valid C# statement-expressions
-            const discardAssign = {
-                kind: "assignmentExpression",
-                operatorToken: "=",
-                left: { kind: "identifierExpression", identifier: "_" },
-                right: exprAst,
-            };
-            return [
-                [
-                    { kind: "expressionStatement", expression: discardAssign },
-                    returnStmt,
-                ],
-                newContext,
-            ];
-        }
-        // Pass returnType as expectedType for null → default conversion in generic contexts
-        const [exprAst, newContext] = emitExpressionAst(stmt.expression, context, context.returnType);
-        const shouldAutoAwait = context.isAsync &&
-            context.returnType !== undefined &&
-            !isAsyncWrapperType(context.returnType) &&
-            expressionProducesAsyncWrapper(stmt.expression) &&
-            stmt.expression.kind !== "await";
-        return [
-            [
-                {
-                    kind: "returnStatement",
-                    expression: shouldAutoAwait
-                        ? { kind: "awaitExpression", expression: exprAst }
-                        : exprAst,
-                },
-            ],
-            newContext,
-        ];
-    }
-    return [[{ kind: "returnStatement" }], context];
-};
-/**
- * Emit yield expression as C# yield return with exchange object pattern
- * (Handler for IrYieldExpression in unidirectional generators)
- *
- * TypeScript: yield value
- * C#:
- *   exchange.Output = value;
- *   yield return exchange;
- *
- * TypeScript: yield* otherGenerator()
- * C#:
- *   foreach (var item in OtherGenerator())
- *     yield return item;
- */
-export const emitYieldExpressionAst = (expr, context) => {
-    let currentContext = context;
-    const parts = [];
-    if (expr.delegate) {
-        // yield* delegation
-        if (expr.expression) {
-            const [delegateAst, newContext] = emitExpressionAst(expr.expression, currentContext);
-            currentContext = newContext;
-            // Use await foreach for async generators, foreach for sync
-            const itemAlloc = allocateLocalName("item", currentContext);
-            currentContext = itemAlloc.context;
-            parts.push({
-                kind: "foreachStatement",
-                isAwait: currentContext.isAsync,
-                type: { kind: "varType" },
-                identifier: itemAlloc.emittedName,
-                expression: delegateAst,
-                body: {
-                    kind: "yieldStatement",
-                    isBreak: false,
-                    expression: {
-                        kind: "identifierExpression",
-                        identifier: itemAlloc.emittedName,
-                    },
-                },
-            });
-        }
-    }
-    else {
-        // Regular yield
-        if (expr.expression) {
-            const [valueAst, newContext] = emitExpressionAst(expr.expression, currentContext);
-            currentContext = newContext;
-            const exchangeVar = currentContext.generatorExchangeVar ?? "exchange";
-            parts.push({
-                kind: "expressionStatement",
-                expression: {
-                    kind: "assignmentExpression",
-                    operatorToken: "=",
-                    left: {
-                        kind: "memberAccessExpression",
-                        expression: {
-                            kind: "identifierExpression",
-                            identifier: exchangeVar,
-                        },
-                        memberName: "Output",
-                    },
-                    right: valueAst,
-                },
-            });
-            parts.push({
-                kind: "yieldStatement",
-                isBreak: false,
-                expression: {
-                    kind: "identifierExpression",
-                    identifier: exchangeVar,
-                },
-            });
-        }
-        else {
-            // Bare yield (no value)
-            const exchangeVar = currentContext.generatorExchangeVar ?? "exchange";
-            parts.push({
-                kind: "yieldStatement",
-                isBreak: false,
-                expression: {
-                    kind: "identifierExpression",
-                    identifier: exchangeVar,
-                },
-            });
-        }
-    }
-    return [parts, currentContext];
-};
-/**
- * Emit IrYieldStatement (lowered form from yield-lowering pass)
- * Handles bidirectional communication: const x = yield value;
- *
- * TypeScript: const x = yield value;
- * C#:
- *   exchange.Output = value;
- *   yield return exchange;
- *   var x = exchange.Input;  // or pattern destructuring
- *
- * TypeScript: yield value;  (no receiveTarget)
- * C#:
- *   exchange.Output = value;
- *   yield return exchange;
- */
-export const emitYieldStatementAst = (stmt, context) => {
-    let currentContext = context;
-    const parts = [];
-    if (stmt.delegate) {
-        // yield* delegation - emit foreach pattern
-        if (stmt.output) {
-            const [delegateAst, newContext] = emitExpressionAst(stmt.output, currentContext);
-            currentContext = newContext;
-            // Use await foreach for async generators, foreach for sync
-            const itemAlloc = allocateLocalName("item", currentContext);
-            currentContext = itemAlloc.context;
-            parts.push({
-                kind: "foreachStatement",
-                isAwait: currentContext.isAsync,
-                type: { kind: "varType" },
-                identifier: itemAlloc.emittedName,
-                expression: delegateAst,
-                body: {
-                    kind: "yieldStatement",
-                    isBreak: false,
-                    expression: {
-                        kind: "identifierExpression",
-                        identifier: itemAlloc.emittedName,
-                    },
-                },
-            });
-        }
-    }
-    else {
-        // Regular yield with optional bidirectional support
-        if (stmt.output) {
-            const [valueAst, newContext] = emitExpressionAst(stmt.output, currentContext);
-            currentContext = newContext;
-            const exchangeVar = currentContext.generatorExchangeVar ?? "exchange";
-            parts.push({
-                kind: "expressionStatement",
-                expression: {
-                    kind: "assignmentExpression",
-                    operatorToken: "=",
-                    left: {
-                        kind: "memberAccessExpression",
-                        expression: {
-                            kind: "identifierExpression",
-                            identifier: exchangeVar,
-                        },
-                        memberName: "Output",
-                    },
-                    right: valueAst,
-                },
-            });
-        }
-        const exchangeVar = currentContext.generatorExchangeVar ?? "exchange";
-        parts.push({
-            kind: "yieldStatement",
-            isBreak: false,
-            expression: {
-                kind: "identifierExpression",
-                identifier: exchangeVar,
-            },
-        });
-        // Handle receiveTarget for bidirectional communication
-        if (stmt.receiveTarget) {
-            const inputExpr = {
-                kind: "parenthesizedExpression",
-                expression: {
-                    kind: "binaryExpression",
-                    operatorToken: "??",
-                    left: {
-                        kind: "memberAccessExpression",
-                        expression: {
-                            kind: "identifierExpression",
-                            identifier: exchangeVar,
-                        },
-                        memberName: "Input",
-                    },
-                    right: {
-                        kind: "suppressNullableWarningExpression",
-                        expression: { kind: "defaultExpression" },
-                    },
-                },
-            };
-            const lowered = lowerPatternAst(stmt.receiveTarget, inputExpr, stmt.receivedType, currentContext);
-            parts.push(...lowered.statements);
-            currentContext = lowered.context;
-        }
-    }
-    return [parts, currentContext];
-};
-/**
- * Emit an expression statement as AST
- */
-export const emitExpressionStatementAst = (stmt, context) => {
-    // Special handling for yield expressions in generators
-    // Note: After yield-lowering pass, generators will have IrYieldStatement nodes instead
-    // Handles unprocessed IR (before yield-lowering pass)
-    if (stmt.expression.kind === "yield") {
-        return emitYieldExpressionAst(stmt.expression, context);
-    }
-    const isNoopVoidOperand = (expr, state) => {
-        if (expr.kind === "literal" &&
-            (expr.value === undefined || expr.value === null)) {
-            return true;
-        }
-        if (expr.kind !== "identifier") {
-            return false;
-        }
-        if (expr.resolvedClrType !== undefined) {
-            return true;
-        }
-        const importBinding = state.importBindings?.get(expr.name);
-        if (importBinding?.kind === "namespace" || importBinding?.kind === "type") {
-            return true;
-        }
-        return false;
-    };
-    const isMethodGroupAccess = (expr) => {
-        if (expr.kind !== "memberAccess")
-            return false;
-        return expr.memberBinding?.kind === "method";
-    };
-    const emitVoidOperandAst = (expr, state) => {
-        if (isMethodGroupAccess(expr)) {
-            return emitVoidOperandAst(expr.object, state);
-        }
-        if (isNoopVoidOperand(expr, state)) {
-            return [[], state];
-        }
-        const [exprAst, newContext] = emitExpressionAst(expr, state);
-        if (expr.kind === "call" ||
-            expr.kind === "new" ||
-            expr.kind === "assignment" ||
-            expr.kind === "update" ||
-            expr.kind === "await") {
-            return [
-                [{ kind: "expressionStatement", expression: exprAst }],
-                newContext,
-            ];
-        }
-        const discardAssign = {
-            kind: "assignmentExpression",
-            operatorToken: "=",
-            left: { kind: "identifierExpression", identifier: "_" },
-            right: exprAst,
-        };
-        return [
-            [{ kind: "expressionStatement", expression: discardAssign }],
-            newContext,
-        ];
-    };
-    // TypeScript `void expr;` evaluates `expr` and discards the result.
-    //
-    // In C#, expression statements are restricted. Lower to the smallest
-    // side-effect-preserving statement sequence we can represent deterministically.
-    if (stmt.expression.kind === "unary" && stmt.expression.operator === "void") {
-        return emitVoidOperandAst(stmt.expression.expression, context);
-    }
-    const [exprAst, newContext] = emitExpressionAst(stmt.expression, context);
-    return [[{ kind: "expressionStatement", expression: exprAst }], newContext];
-};
-/**
- * Emit IrGeneratorReturnStatement (lowered form from yield-lowering pass)
- * Handles return statements in generators with TReturn.
- *
- * TypeScript: return "done";
- * C#:
- *   __returnValue = "done";
- *   yield break;
- *
- * TypeScript: return;  (no expression)
- * C#:
- *   yield break;
- *
- * The __returnValue variable is declared in the enclosing function emission.
- * The wrapper's _getReturnValue closure captures this value when iteration completes.
- */
-export const emitGeneratorReturnStatementAst = (stmt, context) => {
-    let currentContext = context;
-    const returnVar = currentContext.generatorReturnValueVar ?? "__returnValue";
-    const parts = [];
-    if (stmt.expression) {
-        // Capture the return value in __returnValue before terminating
-        const [valueAst, newContext] = emitExpressionAst(stmt.expression, currentContext);
-        currentContext = newContext;
-        parts.push({
-            kind: "expressionStatement",
-            expression: {
-                kind: "assignmentExpression",
-                operatorToken: "=",
-                left: { kind: "identifierExpression", identifier: returnVar },
-                right: valueAst,
-            },
-        });
-    }
-    // Terminate the iterator
-    parts.push({ kind: "yieldStatement", isBreak: true });
-    return [parts, currentContext];
-};
+export { emitBlockStatementAst, emitReturnStatementAst, } from "./block-emitters/block-and-return.js";
+export { emitYieldExpressionAst, emitYieldStatementAst, emitGeneratorReturnStatementAst, } from "./block-emitters/yield-statements.js";
+export { emitExpressionStatementAst } from "./block-emitters/expression-statements.js";
 //# sourceMappingURL=blocks.js.map

package/dist/statements/blocks.js.map

@@ -1 +1 @@
-{"version":3,"file":"blocks.js","sourceRoot":"","sources":["../../src/statements/blocks.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAOlE,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC;IAClC,SAAS;IACT,aAAa;IACb,MAAM;IACN,WAAW;CACZ,CAAC,CAAC;AAEH,MAAM,kBAAkB,GAAG,CACzB,IAAwB,EACxB,UAAuB,IAAI,GAAG,EAAE,EACvB,EAAE;IACX,IAAI,CAAC,IAAI,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7C,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAElB,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;YACpC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACjD,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QACd,IAAI,mBAAmB,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,OAAO,IAAI,CAAC;IACnD,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QAClE,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;IAChE,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,8BAA8B,GAAG,CAAC,IAAkB,EAAW,EAAE;IACrE,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QAC/D,OAAO,kBAAkB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAC/C,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAChD,IAAI,kBAAkB,CAAC,IAAI,CAAC,YAAY,CAAC;YAAE,OAAO,IAAI,CAAC;QACvD,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC;QAC5C,IAAI,UAAU,EAAE,IAAI,KAAK,cAAc,EAAE,CAAC;YACxC,OAAO,kBAAkB,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;QACnD,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAsD,EACtD,OAAuB,EACoB,EAAE;IAC7C,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC;IAC1C,sEAAsE;IACtE,IAAI,cAAc,GAAmB;QACnC,GAAG,OAAO;QACV,YAAY,EAAE,IAAI,GAAG,CAAC,YAAY,IAAI,EAAE,CAAC;KAC1C,CAAC;IACF,MAAM,UAAU,GAAyB,EAAE,CAAC;IAE5C,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QAChC,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,GAAG,gBAAgB,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC;QAChE,UAAU,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;QAC1B,cAAc,GAAG,UAAU,CAAC;IAC9B,CAAC;IAED,OAAO;QACL,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE;QACtC,EAAE,GAAG,cAAc,EAAE,YAAY,EAAE,YAAY,EAAE;KAClD,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAuD,EACvD,OAAuB,EAC0B,EAAE;IACnD,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACpB,gFAAgF;QAChF,uEAAuE;QACvE,EAAE;QACF,kEAAkE;QAClE,iBAAiB;QACjB,YAAY;QACZ,IACE,OAAO,CAAC,UAAU,EAAE,IAAI,KAAK,UAAU;YACvC,OAAO,CAAC,UAAU,EAAE,IAAI,KAAK,WAAW,EACxC,CAAC;YACD,MAAM,IAAI,GACR,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,KAAK,MAAM;gBACrE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU;gBAC5B,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC;YAEtB,MAAM,UAAU,GACd,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;gBACtB,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;gBACpD,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY;oBACzB,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC;YAEzD,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAE/D,IAAI,UAAU,EAAE,CAAC;gBACf,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,CAAC,EAAE,UAAU,CAAC,CAAC;YACrD,CAAC;YAED,MAAM,UAAU,GAAuB,EAAE,IAAI,EAAE,iBAAiB,EAAE,CAAC;YAEnE,IACE,IAAI,CAAC,IAAI,KAAK,MAAM;gBACpB,IAAI,CAAC,IAAI,KAAK,KAAK;gBACnB,IAAI,CAAC,IAAI,KAAK,YAAY;gBAC1B,IAAI,CAAC,IAAI,KAAK,QAAQ;gBACtB,IAAI,CAAC,IAAI,KAAK,OAAO,EACrB,CAAC;gBACD,OAAO;oBACL,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,UAAU,CAAC;oBAClE,UAAU;iBACX,CAAC;YACJ,CAAC;YAED,oFAAoF;YACpF,MAAM,aAAa,GAAwB;gBACzC,IAAI,EAAE,sBAAsB;gBAC5B,aAAa,EAAE,GAAG;gBAClB,IAAI,EAAE,EAAE,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,GAAG,EAAE;gBACvD,KAAK,EAAE,OAAO;aACf,CAAC;YACF,OAAO;gBACL;oBACE,EAAE,IAAI,EAAE,qBAAqB,EAAE,UAAU,EAAE,aAAa,EAAE;oBAC1D,UAAU;iBACX;gBACD,UAAU;aACX,CAAC;QACJ,CAAC;QAED,oFAAoF;QACpF,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAC7C,IAAI,CAAC,UAAU,EACf,OAAO,EACP,OAAO,CAAC,UAAU,CACnB,CAAC;QAEF,MAAM,eAAe,GACnB,OAAO,CAAC,OAAO;YACf,OAAO,CAAC,UAAU,KAAK,SAAS;YAChC,CAAC,kBAAkB,CAAC,OAAO,CAAC,UAAU,CAAC;YACvC,8BAA8B,CAAC,IAAI,CAAC,UAAU,CAAC;YAC/C,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,OAAO,CAAC;QAEnC,OAAO;YACL;gBACE;oBACE,IAAI,EAAE,iBAAiB;oBACvB,UAAU,EAAE,eAAe;wBACzB,CAAC,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,UAAU,EAAE,OAAO,EAAE;wBAClD,CAAC,CAAC,OAAO;iBACZ;aACF;YACD,UAAU;SACX,CAAC;IACJ,CAAC;IAED,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC;AAClD,CAAC,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAA8C,EAC9C,OAAuB,EAC0B,EAAE;IACnD,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,KAAK,GAAyB,EAAE,CAAC;IAEvC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,oBAAoB;QACpB,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACpB,MAAM,CAAC,WAAW,EAAE,UAAU,CAAC,GAAG,iBAAiB,CACjD,IAAI,CAAC,UAAU,EACf,cAAc,CACf,CAAC;YACF,cAAc,GAAG,UAAU,CAAC;YAC5B,2DAA2D;YAC3D,MAAM,SAAS,GAAG,iBAAiB,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;YAC5D,cAAc,GAAG,SAAS,CAAC,OAAO,CAAC;YACnC,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,kBAAkB;gBACxB,OAAO,EAAE,cAAc,CAAC,OAAO;gBAC/B,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;gBACzB,UAAU,EAAE,SAAS,CAAC,WAAW;gBACjC,UAAU,EAAE,WAAW;gBACvB,IAAI,EAAE;oBACJ,IAAI,EAAE,gBAAgB;oBACtB,OAAO,EAAE,KAAK;oBACd,UAAU,EAAE;wBACV,IAAI,EAAE,sBAAsB;wBAC5B,UAAU,EAAE,SAAS,CAAC,WAAW;qBAClC;iBACF;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;SAAM,CAAC;QACN,gBAAgB;QAChB,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACpB,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAC9C,IAAI,CAAC,UAAU,EACf,cAAc,CACf,CAAC;YACF,cAAc,GAAG,UAAU,CAAC;YAC5B,MAAM,WAAW,GAAG,cAAc,CAAC,oBAAoB,IAAI,UAAU,CAAC;YACtE,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,qBAAqB;gBAC3B,UAAU,EAAE;oBACV,IAAI,EAAE,sBAAsB;oBAC5B,aAAa,EAAE,GAAG;oBAClB,IAAI,EAAE;wBACJ,IAAI,EAAE,wBAAwB;wBAC9B,UAAU,EAAE;4BACV,IAAI,EAAE,sBAAsB;4BAC5B,UAAU,EAAE,WAAW;yBACxB;wBACD,UAAU,EAAE,QAAQ;qBACrB;oBACD,KAAK,EAAE,QAAQ;iBAChB;aACF,CAAC,CAAC;YACH,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,gBAAgB;gBACtB,OAAO,EAAE,KAAK;gBACd,UAAU,EAAE;oBACV,IAAI,EAAE,sBAAsB;oBAC5B,UAAU,EAAE,WAAW;iBACxB;aACF,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,wBAAwB;YACxB,MAAM,WAAW,GAAG,cAAc,CAAC,oBAAoB,IAAI,UAAU,CAAC;YACtE,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,gBAAgB;gBACtB,OAAO,EAAE,KAAK;gBACd,UAAU,EAAE;oBACV,IAAI,EAAE,sBAAsB;oBAC5B,UAAU,EAAE,WAAW;iBACxB;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;AACjC,CAAC,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAsD,EACtD,OAAuB,EAC0B,EAAE;IACnD,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,KAAK,GAAyB,EAAE,CAAC;IAEvC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,2CAA2C;QAC3C,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChB,MAAM,CAAC,WAAW,EAAE,UAAU,CAAC,GAAG,iBAAiB,CACjD,IAAI,CAAC,MAAM,EACX,cAAc,CACf,CAAC;YACF,cAAc,GAAG,UAAU,CAAC;YAC5B,2DAA2D;YAC3D,MAAM,SAAS,GAAG,iBAAiB,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;YAC5D,cAAc,GAAG,SAAS,CAAC,OAAO,CAAC;YACnC,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,kBAAkB;gBACxB,OAAO,EAAE,cAAc,CAAC,OAAO;gBAC/B,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;gBACzB,UAAU,EAAE,SAAS,CAAC,WAAW;gBACjC,UAAU,EAAE,WAAW;gBACvB,IAAI,EAAE;oBACJ,IAAI,EAAE,gBAAgB;oBACtB,OAAO,EAAE,KAAK;oBACd,UAAU,EAAE;wBACV,IAAI,EAAE,sBAAsB;wBAC5B,UAAU,EAAE,SAAS,CAAC,WAAW;qBAClC;iBACF;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;SAAM,CAAC;QACN,oDAAoD;QACpD,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChB,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAC9C,IAAI,CAAC,MAAM,EACX,cAAc,CACf,CAAC;YACF,cAAc,GAAG,UAAU,CAAC;YAC5B,MAAM,WAAW,GAAG,cAAc,CAAC,oBAAoB,IAAI,UAAU,CAAC;YACtE,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,qBAAqB;gBAC3B,UAAU,EAAE;oBACV,IAAI,EAAE,sBAAsB;oBAC5B,aAAa,EAAE,GAAG;oBAClB,IAAI,EAAE;wBACJ,IAAI,EAAE,wBAAwB;wBAC9B,UAAU,EAAE;4BACV,IAAI,EAAE,sBAAsB;4BAC5B,UAAU,EAAE,WAAW;yBACxB;wBACD,UAAU,EAAE,QAAQ;qBACrB;oBACD,KAAK,EAAE,QAAQ;iBAChB;aACF,CAAC,CAAC;QACL,CAAC;QACD,MAAM,WAAW,GAAG,cAAc,CAAC,oBAAoB,IAAI,UAAU,CAAC;QACtE,KAAK,CAAC,IAAI,CAAC;YACT,IAAI,EAAE,gBAAgB;YACtB,OAAO,EAAE,KAAK;YACd,UAAU,EAAE;gBACV,IAAI,EAAE,sBAAsB;gBAC5B,UAAU,EAAE,WAAW;aACxB;SACF,CAAC,CAAC;QAEH,uDAAuD;QACvD,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YACvB,MAAM,SAAS,GAAwB;gBACrC,IAAI,EAAE,yBAAyB;gBAC/B,UAAU,EAAE;oBACV,IAAI,EAAE,kBAAkB;oBACxB,aAAa,EAAE,IAAI;oBACnB,IAAI,EAAE;wBACJ,IAAI,EAAE,wBAAwB;wBAC9B,UAAU,EAAE;4BACV,IAAI,EAAE,sBAAsB;4BAC5B,UAAU,EAAE,WAAW;yBACxB;wBACD,UAAU,EAAE,OAAO;qBACpB;oBACD,KAAK,EAAE;wBACL,IAAI,EAAE,mCAAmC;wBACzC,UAAU,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE;qBAC1C;iBACF;aACF,CAAC;YACF,MAAM,OAAO,GAAG,eAAe,CAC7B,IAAI,CAAC,aAAa,EAClB,SAAS,EACT,IAAI,CAAC,YAAY,EACjB,cAAc,CACf,CAAC;YACF,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;YAClC,cAAc,GAAG,OAAO,CAAC,OAAO,CAAC;QACnC,CAAC;IACH,CAAC;IAED,OAAO,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;AACjC,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,IAA2D,EAC3D,OAAuB,EAC0B,EAAE;IACnD,uDAAuD;IACvD,uFAAuF;IACvF,sDAAsD;IACtD,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACrC,OAAO,sBAAsB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC1D,CAAC;IAED,MAAM,iBAAiB,GAAG,CACxB,IAAkB,EAClB,KAAqB,EACZ,EAAE;QACX,IACE,IAAI,CAAC,IAAI,KAAK,SAAS;YACvB,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,EACjD,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAC/B,OAAO,KAAK,CAAC;QACf,CAAC;QAED,IAAI,IAAI,CAAC,eAAe,KAAK,SAAS,EAAE,CAAC;YACvC,OAAO,IAAI,CAAC;QACd,CAAC;QAED,MAAM,aAAa,GAAG,KAAK,CAAC,cAAc,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3D,IAAI,aAAa,EAAE,IAAI,KAAK,WAAW,IAAI,aAAa,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;YAC1E,OAAO,IAAI,CAAC;QACd,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,MAAM,mBAAmB,GAAG,CAC1B,IAAkB,EACuC,EAAE;QAC3D,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc;YAAE,OAAO,KAAK,CAAC;QAC/C,OAAO,IAAI,CAAC,aAAa,EAAE,IAAI,KAAK,QAAQ,CAAC;IAC/C,CAAC,CAAC;IAEF,MAAM,kBAAkB,GAAG,CACzB,IAAkB,EAClB,KAAqB,EAC4B,EAAE;QACnD,IAAI,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,OAAO,kBAAkB,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAChD,CAAC;QAED,IAAI,iBAAiB,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;YACnC,OAAO,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QACrB,CAAC;QAED,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAE7D,IACE,IAAI,CAAC,IAAI,KAAK,MAAM;YACpB,IAAI,CAAC,IAAI,KAAK,KAAK;YACnB,IAAI,CAAC,IAAI,KAAK,YAAY;YAC1B,IAAI,CAAC,IAAI,KAAK,QAAQ;YACtB,IAAI,CAAC,IAAI,KAAK,OAAO,EACrB,CAAC;YACD,OAAO;gBACL,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC;gBACtD,UAAU;aACX,CAAC;QACJ,CAAC;QAED,MAAM,aAAa,GAAwB;YACzC,IAAI,EAAE,sBAAsB;YAC5B,aAAa,EAAE,GAAG;YAClB,IAAI,EAAE,EAAE,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,GAAG,EAAE;YACvD,KAAK,EAAE,OAAO;SACf,CAAC;QACF,OAAO;YACL,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,UAAU,EAAE,aAAa,EAAE,CAAC;YAC5D,UAAU;SACX,CAAC;IACJ,CAAC,CAAC;IAEF,oEAAoE;IACpE,EAAE;IACF,qEAAqE;IACrE,gFAAgF;IAChF,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,KAAK,MAAM,EAAE,CAAC;QAC5E,OAAO,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACjE,CAAC;IAED,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC1E,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC,EAAE,UAAU,CAAC,CAAC;AAC9E,CAAC,CAAC;AAEF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,IAAgE,EAChE,OAAuB,EAC0B,EAAE;IACnD,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,SAAS,GAAG,cAAc,CAAC,uBAAuB,IAAI,eAAe,CAAC;IAC5E,MAAM,KAAK,GAAyB,EAAE,CAAC;IAEvC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACpB,+DAA+D;QAC/D,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAC9C,IAAI,CAAC,UAAU,EACf,cAAc,CACf,CAAC;QACF,cAAc,GAAG,UAAU,CAAC;QAC5B,KAAK,CAAC,IAAI,CAAC;YACT,IAAI,EAAE,qBAAqB;YAC3B,UAAU,EAAE;gBACV,IAAI,EAAE,sBAAsB;gBAC5B,aAAa,EAAE,GAAG;gBAClB,IAAI,EAAE,EAAE,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,SAAS,EAAE;gBAC7D,KAAK,EAAE,QAAQ;aAChB;SACF,CAAC,CAAC;IACL,CAAC;IAED,yBAAyB;IACzB,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IAEtD,OAAO,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;AACjC,CAAC,CAAC"}
+{"version":3,"file":"blocks.js","sourceRoot":"","sources":["../../src/statements/blocks.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,sCAAsC,CAAC;AAC9C,OAAO,EACL,sBAAsB,EACtB,qBAAqB,EACrB,+BAA+B,GAChC,MAAM,sCAAsC,CAAC;AAC9C,OAAO,EAAE,0BAA0B,EAAE,MAAM,2CAA2C,CAAC"}

package/dist/statements/classes/members/constructors.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"constructors.d.ts","sourceRoot":"","sources":["../../../../src/statements/classes/members/constructors.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,aAAa,EAAiC,MAAM,kBAAkB,CAAC;AAChF,OAAO,EAAE,cAAc,EAAkB,MAAM,mBAAmB,CAAC;AASnE,OAAO,KAAK,EACV,eAAe,EAIhB,MAAM,2CAA2C,CAAC;AAkBnD;;GAEG;AACH,eAAO,MAAM,qBAAqB,GAChC,QAAQ,aAAa,GAAG;IAAE,IAAI,EAAE,wBAAwB,CAAA;CAAE,EAC1D,SAAS,cAAc,KACtB,CAAC,eAAe,EAAE,cAAc,CAoHlC,CAAC"}
+{"version":3,"file":"constructors.d.ts","sourceRoot":"","sources":["../../../../src/statements/classes/members/constructors.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,aAAa,EAMd,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,cAAc,EAAkB,MAAM,mBAAmB,CAAC;AAenE,OAAO,KAAK,EACV,eAAe,EAIhB,MAAM,2CAA2C,CAAC;AA6BnD;;GAEG;AACH,eAAO,MAAM,qBAAqB,GAChC,QAAQ,aAAa,GAAG;IAAE,IAAI,EAAE,wBAAwB,CAAA;CAAE,EAC1D,SAAS,cAAc,KACtB,CAAC,eAAe,EAAE,cAAc,CAkIlC,CAAC"}

package/dist/statements/classes/members/constructors.js

@@ -2,22 +2,33 @@
  * Constructor member emission — returns CSharpMemberAst (constructor declaration)
  */
 import { indent, dedent } from "../../../types.js";
-import { emitExpressionAst } from "../../../expression-emitter.js";
 import { emitBlockStatementAst } from "../../../statement-emitter.js";
 import { escapeCSharpIdentifier } from "../../../emitter-types/index.js";
 import { emitAttributes } from "../../../core/format/attributes.js";
-import { emitParametersWithDestructuring, generateParameterDestructuringAst, } from "../parameters.js";
+import { registerParameterTypes } from "../../../core/semantic/symbol-types.js";
+import { emitCallArguments } from "../../../expressions/calls/call-arguments-emit.js";
+import { adaptValueToExpectedTypeAst } from "../../../expressions/expected-type-adaptation.js";
+import { resolveLocalTypeInfoWithoutBindings } from "../../../core/semantic/property-lookup-resolution.js";
+import { resolveEffectiveExpressionType } from "../../../core/semantic/narrowed-expression-types.js";
+import { substituteTypeArgs } from "../../../core/semantic/type-resolution.js";
+import { applyRuntimeParameterDefaultShadows, emitParametersWithDestructuring, generateParameterDestructuringAst, } from "../parameters.js";
 const seedLocalNameMapFromParameters = (params, context) => {
     const map = new Map(context.localNameMap ?? []);
+    let currentContext = context;
     const used = new Set();
     for (const p of params) {
         if (p.pattern.kind === "identifierPattern") {
             const emitted = escapeCSharpIdentifier(p.pattern.name);
             map.set(p.pattern.name, emitted);
             used.add(emitted);
+            currentContext = registerParameterTypes(p.pattern.name, p.type, (p.isOptional || p.initializer !== undefined) && !p.isRest, currentContext);
         }
     }
-    return { ...context, localNameMap: map, usedLocalNames: used };
+    return {
+        ...currentContext,
+        localNameMap: map,
+        usedLocalNames: used,
+    };
 };
 /**
  * Emit a constructor declaration as CSharpMemberAst
@@ -29,6 +40,8 @@ export const emitConstructorMember = (member, context) => {
         typeParameterNameMap: context.typeParameterNameMap,
         returnType: context.returnType,
         localNameMap: context.localNameMap,
+        localSemanticTypes: context.localSemanticTypes,
+        localValueTypes: context.localValueTypes,
         usedLocalNames: context.usedLocalNames,
     };
     let currentContext = context;
@@ -58,7 +71,7 @@ export const emitConstructorMember = (member, context) => {
         return [ctorAst, { ...currentContext, ...savedScoped }];
     }
     // Extract super() call from first statement
-    const [baseArgs, bodyStatements, baseCallContext] = extractSuperCallAst(member.body.statements, currentContext);
+    const [baseArgs, bodyStatements, baseCallContext] = extractSuperCallAst(member.body.statements, member.parameters, currentContext);
     currentContext = baseCallContext;
     // Check for later super() calls (not supported)
     const hasLaterSuperCall = bodyStatements.some((stmt) => stmt.kind === "expressionStatement" &&
@@ -74,6 +87,8 @@ export const emitConstructorMember = (member, context) => {
         ...member.body,
         statements: bodyStatements,
     };
+    const [runtimeDefaultShadowStmts, runtimeDefaultShadowContext] = applyRuntimeParameterDefaultShadows(paramsResult.runtimeDefaultInitializers, bodyContext);
+    bodyContext = runtimeDefaultShadowContext;
     // Generate parameter destructuring as AST
     const [paramDestructuringStmts, destructuringContext] = paramsResult.destructuringParams.length > 0
         ? generateParameterDestructuringAst(paramsResult.destructuringParams, bodyContext)
@@ -81,10 +96,14 @@ export const emitConstructorMember = (member, context) => {
     bodyContext = destructuringContext;
     const [bodyBlockAst, finalContext] = emitBlockStatementAst(modifiedBody, bodyContext);
     // Merge destructuring preamble into body
-    const mergedBody = paramDestructuringStmts.length > 0
+    const mergedBody = runtimeDefaultShadowStmts.length > 0 || paramDestructuringStmts.length > 0
         ? {
             kind: "blockStatement",
-            statements: [...paramDestructuringStmts, ...bodyBlockAst.statements],
+            statements: [
+                ...runtimeDefaultShadowStmts,
+                ...paramDestructuringStmts,
+                ...bodyBlockAst.statements,
+            ],
         }
         : bodyBlockAst;
     const ctorAst = {
@@ -103,7 +122,7 @@ export const emitConstructorMember = (member, context) => {
  * Extract super() call from first statement as AST.
  * Returns [baseArguments | undefined, remainingStatements, context]
  */
-const extractSuperCallAst = (statements, context) => {
+const extractSuperCallAst = (statements, constructorParameters, context) => {
     let currentContext = context;
     if (statements.length === 0) {
         return [undefined, statements, currentContext];
@@ -116,15 +135,88 @@ const extractSuperCallAst = (statements, context) => {
         firstStmt.expression.callee.name === "super") {
         // Found super() call as first statement - convert to base(...)
         const superCall = firstStmt.expression;
-        const argAsts = [];
-        for (const arg of superCall.arguments) {
-            const [argAst, newContext] = emitExpressionAst(arg, currentContext);
-            argAsts.push(argAst);
-            currentContext = newContext;
-        }
+        const parameterTypeOverrides = resolveSuperConstructorParameterTypeOverrides(superCall, currentContext);
+        const [rawArgAsts, newContext] = emitCallArguments(superCall.arguments, superCall, currentContext, parameterTypeOverrides);
+        currentContext = newContext;
+        const [argAsts, adaptedContext] = adaptSuperCallArgumentsToBaseParameters(rawArgAsts, superCall.arguments, constructorParameters, parameterTypeOverrides, currentContext);
+        currentContext = adaptedContext;
         const remainingStatements = statements.slice(1);
         return [argAsts, remainingStatements, currentContext];
     }
     return [undefined, statements, currentContext];
 };
+const resolveSuperConstructorParameterTypeOverrides = (superCall, context) => {
+    const currentClassName = context.className;
+    if (!currentClassName) {
+        return undefined;
+    }
+    const currentClass = context.localTypes?.get(currentClassName);
+    if (!currentClass || currentClass.kind !== "class") {
+        return undefined;
+    }
+    const superClass = currentClass.superClass;
+    if (!superClass || superClass.kind !== "referenceType") {
+        return undefined;
+    }
+    const resolvedSuperClass = resolveLocalTypeInfoWithoutBindings(superClass, context);
+    if (!resolvedSuperClass || resolvedSuperClass.info.kind !== "class") {
+        return undefined;
+    }
+    const constructors = resolvedSuperClass.info.members.filter((member) => member.kind === "constructorDeclaration");
+    if (constructors.length === 0) {
+        return undefined;
+    }
+    const exactArityMatches = constructors.filter((member) => member.parameters.length === superCall.arguments.length);
+    const selectedConstructor = exactArityMatches.length === 1
+        ? exactArityMatches[0]
+        : constructors.length === 1
+            ? constructors[0]
+            : undefined;
+    if (!selectedConstructor) {
+        return undefined;
+    }
+    const baseTypeParameters = resolvedSuperClass.info.typeParameters;
+    const baseTypeArguments = superClass.typeArguments ?? [];
+    return selectedConstructor.parameters.map((parameter) => {
+        if (!parameter.type) {
+            return parameter.type;
+        }
+        const substituted = baseTypeParameters.length > 0 &&
+            baseTypeArguments.length === baseTypeParameters.length
+            ? substituteTypeArgs(parameter.type, baseTypeParameters, baseTypeArguments)
+            : parameter.type;
+        return substituted;
+    });
+};
+const adaptSuperCallArgumentsToBaseParameters = (argAsts, args, constructorParameters, expectedTypes, context) => {
+    if (!expectedTypes || expectedTypes.length === 0) {
+        return [argAsts, context];
+    }
+    let currentContext = context;
+    const adaptedArgs = argAsts.map((argAst, index) => {
+        const expectedType = expectedTypes[index];
+        const sourceArg = args[index];
+        if (!expectedType || !sourceArg) {
+            return argAst;
+        }
+        const actualType = (sourceArg.kind === "identifier"
+            ? constructorParameters.find((parameter) => parameter.pattern.kind === "identifierPattern" &&
+                parameter.pattern.name === sourceArg.name)?.type
+            : undefined) ??
+            resolveEffectiveExpressionType(sourceArg, currentContext) ??
+            sourceArg.inferredType;
+        const adapted = adaptValueToExpectedTypeAst({
+            valueAst: argAst,
+            actualType,
+            context: currentContext,
+            expectedType,
+        });
+        if (!adapted) {
+            return argAst;
+        }
+        currentContext = adapted[1];
+        return adapted[0];
+    });
+    return [adaptedArgs, currentContext];
+};
 //# sourceMappingURL=constructors.js.map