xbintsc 0.5.23 → 0.5.32

package/dist/src/checker/type-infer.d.ts

@@ -0,0 +1,18 @@
+/**
+ * Inference from expressions into the checker's type model.
+ *
+ * It is deliberately shallow: literals, object/array literals, `new`, function
+ * expressions and the obvious operators are inferred; calls, property reads and
+ * everything else are `any` here (the type-check walk refines them with flow).
+ */
+import { type ClassDeclaration, type Expression, type Parameter, type TypeNode } from "../ast/nodes.js";
+import { type BindResult, type SymbolInfo } from "../binder/binder.js";
+import { type ParameterInfo, type Type } from "./type-model.js";
+export interface InferenceContext {
+    readonly binding: BindResult;
+    resolve(node: TypeNode | undefined, typeParams?: ReadonlyMap<string, Type>): Type;
+    typeOfSymbol(symbol: SymbolInfo): Type;
+    classInstanceType(node: ClassDeclaration): Type;
+    parameterInfo(parameter: Parameter, typeParams: ReadonlyMap<string, Type>): ParameterInfo;
+}
+export declare function inferTypeOfExpression(context: InferenceContext, expression: Expression, lookup?: (symbol: SymbolInfo) => Type | undefined): Type;

package/dist/src/checker/type-infer.js

@@ -0,0 +1,173 @@
+/**
+ * Inference from expressions into the checker's type model.
+ *
+ * It is deliberately shallow: literals, object/array literals, `new`, function
+ * expressions and the obvious operators are inferred; calls, property reads and
+ * everything else are `any` here (the type-check walk refines them with flow).
+ */
+import { SyntaxKind, } from "../ast/nodes.js";
+import { SymbolKind } from "../binder/binder.js";
+import { classMemberName } from "../binder/helpers.js";
+import { ASSIGNMENT_OPERATORS } from "../codegen/generator/tables.js";
+import { ANY, isAny, isThisParameter, primitive, unionOf, widenType } from "./type-model.js";
+export function inferTypeOfExpression(context, expression, lookup) {
+    switch (expression.kind) {
+        case SyntaxKind.NumericLiteral:
+            return { kind: "literal", value: expression.value, primitive: "number" };
+        case SyntaxKind.StringLiteral:
+        case SyntaxKind.NoSubstitutionTemplateLiteral:
+            return { kind: "literal", value: expression.value, primitive: "string" };
+        case SyntaxKind.TrueKeyword:
+            return { kind: "literal", value: true, primitive: "boolean" };
+        case SyntaxKind.FalseKeyword:
+            return { kind: "literal", value: false, primitive: "boolean" };
+        case SyntaxKind.NullKeyword:
+            return primitive("null");
+        case SyntaxKind.UndefinedKeyword:
+            return primitive("undefined");
+        case SyntaxKind.BigIntLiteral:
+            return primitive("bigint");
+        case SyntaxKind.Identifier: {
+            const symbol = context.binding.symbolOfIdentifier.get(expression);
+            if (!symbol)
+                return ANY;
+            return lookup?.(symbol) ?? context.typeOfSymbol(symbol);
+        }
+        case SyntaxKind.ObjectLiteralExpression:
+            return objectLiteralType(context, expression);
+        case SyntaxKind.ArrayLiteralExpression: {
+            const elements = expression.elements.map((element) => {
+                if (element.kind !== SyntaxKind.SpreadElement)
+                    return inferTypeOfExpression(context, element, lookup);
+                const spread = inferTypeOfExpression(context, element.expression, lookup);
+                return spread.kind === "array" ? spread.element : ANY;
+            });
+            return { kind: "array", element: widenType(unionOf(elements)) };
+        }
+        case SyntaxKind.NewExpression: {
+            const call = expression;
+            if (call.expression.kind !== SyntaxKind.Identifier)
+                return ANY;
+            const symbol = context.binding.symbolOfIdentifier.get(call.expression);
+            if (!symbol || symbol.kind !== SymbolKind.Class || symbol.declarations.length !== 1)
+                return ANY;
+            const declaration = symbol.declarations[0];
+            if (declaration.kind !== SyntaxKind.ClassDeclaration)
+                return ANY;
+            return context.classInstanceType(declaration);
+        }
+        case SyntaxKind.ArrowFunction:
+        case SyntaxKind.FunctionExpression:
+            return functionExpressionType(context, expression);
+        case SyntaxKind.AsExpression:
+            return context.resolve(expression.type);
+        case SyntaxKind.SatisfiesExpression:
+        case SyntaxKind.ParenthesizedExpression:
+        case SyntaxKind.NonNullExpression:
+            return inferTypeOfExpression(context, expression.expression, lookup);
+        case SyntaxKind.TypeOfExpression:
+            return primitive("string");
+        case SyntaxKind.VoidExpression:
+            return primitive("undefined");
+        case SyntaxKind.TemplateLiteral:
+            return primitive("string");
+        case SyntaxKind.ConditionalExpression: {
+            const conditional = expression;
+            return unionOf([inferTypeOfExpression(context, conditional.whenTrue, lookup), inferTypeOfExpression(context, conditional.whenFalse, lookup)]);
+        }
+        case SyntaxKind.SequenceExpression: {
+            const expressions = expression.expressions;
+            return inferTypeOfExpression(context, expressions[expressions.length - 1], lookup);
+        }
+        case SyntaxKind.BinaryExpression: {
+            const binary = expression;
+            if (binary.operator === "+") {
+                const left = inferTypeOfExpression(context, binary.left, lookup);
+                const right = inferTypeOfExpression(context, binary.right, lookup);
+                if (isAny(left) || isAny(right))
+                    return ANY;
+                if (isBigIntish(left) || isBigIntish(right))
+                    return primitive("bigint");
+                if (isStringish(left) || isStringish(right))
+                    return primitive("string");
+                return primitive("number");
+            }
+            if (ASSIGNMENT_OPERATORS.has(binary.operator))
+                return ANY;
+            if (["<", "<=", ">", ">=", "==", "!=", "===", "!==", "in", "instanceof"].includes(binary.operator))
+                return primitive("boolean");
+            if (binary.operator === "&&" || binary.operator === "||" || binary.operator === "??") {
+                return unionOf([inferTypeOfExpression(context, binary.left, lookup), inferTypeOfExpression(context, binary.right, lookup)]);
+            }
+            const left = inferTypeOfExpression(context, binary.left, lookup);
+            const right = inferTypeOfExpression(context, binary.right, lookup);
+            if (isAny(left) || isAny(right))
+                return ANY;
+            if (isBigIntish(left) || isBigIntish(right))
+                return primitive("bigint");
+            return primitive("number");
+        }
+        case SyntaxKind.PrefixUnaryExpression: {
+            const operator = expression.operator;
+            if (operator === "typeof")
+                return primitive("string");
+            if (operator === "!")
+                return primitive("boolean");
+            if (operator === "void")
+                return primitive("undefined");
+            return primitive("number");
+        }
+        case SyntaxKind.PostfixUnaryExpression:
+            return primitive("number");
+        case SyntaxKind.CallExpression:
+            return ANY;
+        case SyntaxKind.PropertyAccessExpression:
+            return ANY;
+        default:
+            return ANY;
+    }
+}
+function objectLiteralType(context, literal) {
+    const properties = new Map();
+    for (const element of literal.properties) {
+        if (element.kind === SyntaxKind.PropertyAssignment) {
+            const property = element;
+            const name = classMemberName(property.name);
+            if (!name)
+                return ANY;
+            // A getter/setter pair is a value property, not a function property;
+            // its exact type is not inferred here.
+            const type = property.accessor ? ANY : widenType(inferTypeOfExpression(context, property.initializer));
+            if (!(property.accessor === "set" && properties.has(name)))
+                properties.set(name, { type, optional: false });
+        }
+        else if (element.kind === SyntaxKind.ShorthandPropertyAssignment) {
+            const shorthand = element;
+            properties.set(shorthand.name.text, { type: inferTypeOfExpression(context, shorthand.name), optional: false });
+        }
+        else {
+            return ANY; // spread: the shape is not static
+        }
+    }
+    return { kind: "object", properties, closed: true };
+}
+function functionExpressionType(context, expression) {
+    const typeParams = new Map();
+    return {
+        kind: "function",
+        parameters: expression.parameters.filter((parameter) => !isThisParameter(parameter)).map((parameter) => context.parameterInfo(parameter, typeParams)),
+        returnType: context.resolve(expression.returnType, typeParams),
+        typeParameters: (expression.typeParameters ?? []).map((parameter) => ({ name: parameter.name.text })),
+    };
+}
+function isStringish(type) {
+    if (type.kind === "primitive")
+        return type.name === "string";
+    if (type.kind === "literal")
+        return type.primitive === "string";
+    return false;
+}
+function isBigIntish(type) {
+    return (type.kind === "primitive" && type.name === "bigint");
+}
+//# sourceMappingURL=type-infer.js.map

package/dist/src/checker/type-infer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-infer.js","sourceRoot":"","sources":["../../../src/checker/type-infer.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,UAAU,GAeX,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,UAAU,EAAoC,MAAM,qBAAqB,CAAC;AACnF,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,oBAAoB,EAAE,MAAM,gCAAgC,CAAC;AACtE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,eAAe,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAoD,MAAM,iBAAiB,CAAC;AAU/I,MAAM,UAAU,qBAAqB,CACnC,OAAyB,EACzB,UAAsB,EACtB,MAAiD;IAE/C,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,UAAU,CAAC,cAAc;YAC5B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAG,UAAgC,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;QAClG,KAAK,UAAU,CAAC,aAAa,CAAC;QAC9B,KAAK,UAAU,CAAC,6BAA6B;YAC3C,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAG,UAAgC,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;QAClG,KAAK,UAAU,CAAC,WAAW;YACzB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;QAChE,KAAK,UAAU,CAAC,YAAY;YAC1B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;QACjE,KAAK,UAAU,CAAC,WAAW;YACzB,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC;QAC3B,KAAK,UAAU,CAAC,gBAAgB;YAC9B,OAAO,SAAS,CAAC,WAAW,CAAC,CAAC;QAChC,KAAK,UAAU,CAAC,aAAa;YAC3B,OAAO,SAAS,CAAC,QAAQ,CAAC,CAAC;QAC7B,KAAK,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC;YAC3B,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,UAAwB,CAAC,CAAC;YAChF,IAAI,CAAC,MAAM;gBAAE,OAAO,GAAG,CAAC;YACxB,OAAO,MAAM,EAAE,CAAC,MAAM,CAAC,IAAI,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;QAC1D,CAAC;QACD,KAAK,UAAU,CAAC,uBAAuB;YACrC,OAAO,iBAAiB,CAAC,OAAO,EAAE,UAAqC,CAAC,CAAC;QAC3E,KAAK,UAAU,CAAC,sBAAsB,CAAC,CAAC,CAAC;YACvC,MAAM,QAAQ,GAAI,UAAqC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;gBAC/E,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC,aAAa;oBAAE,OAAO,qBAAqB,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;gBACtG,MAAM,MAAM,GAAG,qBAAqB,CAAC,OAAO,EAAG,OAAiD,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;gBACrH,OAAO,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;YACxD,CAAC,CAAC,CAAC;YACH,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;QAClE,CAAC;QACD,KAAK,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC;YAC9B,MAAM,IAAI,GAAG,UAA2B,CAAC;YACzC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU;gBAAE,OAAO,GAAG,CAAC;YAC/D,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,UAAwB,CAAC,CAAC;YACrF,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,KAAK,IAAI,MAAM,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,GAAG,CAAC;YAChG,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,CAAE,CAAC;YAC5C,IAAI,WAAW,CAAC,IAAI,KAAK,UAAU,CAAC,gBAAgB;gBAAE,OAAO,GAAG,CAAC;YACjE,OAAO,OAAO,CAAC,iBAAiB,CAAC,WAA+B,CAAC,CAAC;QACpE,CAAC;QACD,KAAK,UAAU,CAAC,aAAa,CAAC;QAC9B,KAAK,UAAU,CAAC,kBAAkB;YAChC,OAAO,sBAAsB,CAAC,OAAO,EAAE,UAAgD,CAAC,CAAC;QAC3F,KAAK,UAAU,CAAC,YAAY;YAC1B,OAAO,OAAO,CAAC,OAAO,CAAE,UAA2B,CAAC,IAAI,CAAC,CAAC;QAC5D,KAAK,UAAU,CAAC,mBAAmB,CAAC;QACpC,KAAK,UAAU,CAAC,uBAAuB,CAAC;QACxC,KAAK,UAAU,CAAC,iBAAiB;YAC/B,OAAO,qBAAqB,CAAC,OAAO,EAAG,UAAoD,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QAClH,KAAK,UAAU,CAAC,gBAAgB;YAC9B,OAAO,SAAS,CAAC,QAAQ,CAAC,CAAC;QAC7B,KAAK,UAAU,CAAC,cAAc;YAC5B,OAAO,SAAS,CAAC,WAAW,CAAC,CAAC;QAChC,KAAK,UAAU,CAAC,eAAe;YAC7B,OAAO,SAAS,CAAC,QAAQ,CAAC,CAAC;QAC7B,KAAK,UAAU,CAAC,qBAAqB,CAAC,CAAC,CAAC;YACtC,MAAM,WAAW,GAAG,UAAmC,CAAC;YACxD,OAAO,OAAO,CAAC,CAAC,qBAAqB,CAAC,OAAO,EAAE,WAAW,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,qBAAqB,CAAC,OAAO,EAAE,WAAW,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QAChJ,CAAC;QACD,KAAK,UAAU,CAAC,kBAAkB,CAAC,CAAC,CAAC;YACnC,MAAM,WAAW,GAAI,UAAuD,CAAC,WAAW,CAAC;YACzF,OAAO,qBAAqB,CAAC,OAAO,EAAE,WAAW,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAE,EAAE,MAAM,CAAC,CAAC;QACtF,CAAC;QACD,KAAK,UAAU,CAAC,gBAAgB,CAAC,CAAC,CAAC;YACjC,MAAM,MAAM,GAAG,UAA8B,CAAC;YAC9C,IAAI,MAAM,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;gBAC5B,MAAM,IAAI,GAAG,qBAAqB,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;gBACjE,MAAM,KAAK,GAAG,qBAAqB,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;gBACnE,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC;oBAAE,OAAO,GAAG,CAAC;gBAC5C,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,KAAK,CAAC;oBAAE,OAAO,SAAS,CAAC,QAAQ,CAAC,CAAC;gBACxE,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,KAAK,CAAC;oBAAE,OAAO,SAAS,CAAC,QAAQ,CAAC,CAAC;gBACxE,OAAO,SAAS,CAAC,QAAQ,CAAC,CAAC;YAC7B,CAAC;YACD,IAAI,oBAAoB,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC;gBAAE,OAAO,GAAG,CAAC;YAC1D,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC;gBAAE,OAAO,SAAS,CAAC,SAAS,CAAC,CAAC;YAChI,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACrF,OAAO,OAAO,CAAC,CAAC,qBAAqB,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,qBAAqB,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;YAC9H,CAAC;YACD,MAAM,IAAI,GAAG,qBAAqB,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACjE,MAAM,KAAK,GAAG,qBAAqB,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YACnE,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC;gBAAE,OAAO,GAAG,CAAC;YAC5C,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,KAAK,CAAC;gBAAE,OAAO,SAAS,CAAC,QAAQ,CAAC,CAAC;YACxE,OAAO,SAAS,CAAC,QAAQ,CAAC,CAAC;QAC7B,CAAC;QACD,KAAK,UAAU,CAAC,qBAAqB,CAAC,CAAC,CAAC;YACtC,MAAM,QAAQ,GAAI,UAAmC,CAAC,QAAQ,CAAC;YAC/D,IAAI,QAAQ,KAAK,QAAQ;gBAAE,OAAO,SAAS,CAAC,QAAQ,CAAC,CAAC;YACtD,IAAI,QAAQ,KAAK,GAAG;gBAAE,OAAO,SAAS,CAAC,SAAS,CAAC,CAAC;YAClD,IAAI,QAAQ,KAAK,MAAM;gBAAE,OAAO,SAAS,CAAC,WAAW,CAAC,CAAC;YACvD,OAAO,SAAS,CAAC,QAAQ,CAAC,CAAC;QAC7B,CAAC;QACD,KAAK,UAAU,CAAC,sBAAsB;YACpC,OAAO,SAAS,CAAC,QAAQ,CAAC,CAAC;QAC7B,KAAK,UAAU,CAAC,cAAc;YAC5B,OAAO,GAAG,CAAC;QACb,KAAK,UAAU,CAAC,wBAAwB;YACtC,OAAO,GAAG,CAAC;QACb;YACE,OAAO,GAAG,CAAC;IACf,CAAC;AACH,CAAC;AAEH,SAAS,iBAAiB,CAAC,OAAyB,EAAE,OAAgC;IAClF,MAAM,UAAU,GAAG,IAAI,GAAG,EAAwB,CAAC;IACnD,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;QACzC,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC,kBAAkB,EAAE,CAAC;YACnD,MAAM,QAAQ,GAAG,OAA6G,CAAC;YAC/H,MAAM,IAAI,GAAG,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YAC5C,IAAI,CAAC,IAAI;gBAAE,OAAO,GAAG,CAAC;YACtB,qEAAqE;YACrE,uCAAuC;YACvC,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,OAAO,EAAE,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC;YACvG,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,KAAK,KAAK,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAAE,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;QAC9G,CAAC;aAAM,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC,2BAA2B,EAAE,CAAC;YACnE,MAAM,SAAS,GAAG,OAAsC,CAAC;YACzD,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,qBAAqB,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;QACjH,CAAC;aAAM,CAAC;YACN,OAAO,GAAG,CAAC,CAAC,kCAAkC;QAChD,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AACtD,CAAC;AAEH,SAAS,sBAAsB,CAAC,OAAyB,EAAE,UAA8C;IACrG,MAAM,UAAU,GAAG,IAAI,GAAG,EAAgB,CAAC;IAC3C,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,UAAU,EAAE,UAAU,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,OAAO,CAAC,aAAa,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;QACrJ,UAAU,EAAE,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,UAAU,EAAE,UAAU,CAAC;QAC9D,cAAc,EAAE,CAAC,UAAU,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;KACtG,CAAC;AACJ,CAAC;AAEH,SAAS,WAAW,CAAC,IAAU;IAC7B,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC;IAC7D,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,SAAS,KAAK,QAAQ,CAAC;IAChE,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,WAAW,CAAC,IAAU;IAC7B,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;AAC/D,CAAC"}

package/dist/src/checker/type-model.d.ts

@@ -0,0 +1,73 @@
+/**
+ * The value model used by the checker: a deliberately small structural type
+ * union plus the helpers shared by resolution and assignability.
+ */
+import { type Expression, type Parameter } from "../ast/nodes.js";
+export type PrimitiveName = "number" | "string" | "boolean" | "bigint" | "symbol" | "null" | "undefined" | "void" | "object";
+export interface PropertyInfo {
+    readonly type: Type;
+    readonly optional: boolean;
+}
+export interface ParameterInfo {
+    readonly type: Type;
+    readonly optional: boolean;
+    readonly rest: boolean;
+}
+export interface TypeParameterInfo {
+    readonly name: string;
+    readonly constraint?: Type;
+}
+export type Type = {
+    readonly kind: "any";
+} | {
+    readonly kind: "primitive";
+    readonly name: PrimitiveName;
+} | {
+    readonly kind: "literal";
+    readonly value: string | number | boolean;
+    readonly primitive: "string" | "number" | "boolean";
+} | {
+    readonly kind: "array";
+    readonly element: Type;
+} | {
+    readonly kind: "tuple";
+    readonly elements: readonly Type[];
+} | {
+    readonly kind: "object";
+    readonly properties: ReadonlyMap<string, PropertyInfo>;
+    readonly index?: Type;
+    /** False when the shape is open (index signature, `object`, ...). */
+    readonly closed: boolean;
+    readonly label?: string;
+} | {
+    readonly kind: "function";
+    readonly parameters: readonly ParameterInfo[];
+    readonly returnType: Type;
+    readonly typeParameters: readonly TypeParameterInfo[];
+    readonly label?: string;
+} | {
+    readonly kind: "union";
+    readonly members: readonly Type[];
+} | {
+    readonly kind: "typeParam";
+    readonly name: string;
+};
+export declare const ANY: Type;
+export declare const UNKNOWN: Type;
+/** Own properties every object inherits from `Object.prototype`. */
+export declare const OBJECT_PROTOTYPE_NAMES: ReadonlySet<string>;
+export declare function isAny(type: Type): boolean;
+export declare function primitive(name: PrimitiveName): Type;
+export declare function unionOf(members: readonly Type[]): Type;
+export declare function unionMembers(type: Type): readonly Type[];
+/**
+ * Widen the literal types TypeScript widens for a mutable position: `let x =
+ * 1` and object/array literal members are `number`, not the literal `1`.
+ * (`const x = 1` keeps the literal; the caller decides when to widen.)
+ */
+export declare function widenType(type: Type): Type;
+export declare function printType(type: Type, depth?: number): string;
+/** Shared unwrapping for erased expression wrappers. */
+export declare function unwrap(expression: Expression): Expression;
+export declare function isThisParameter(parameter: Parameter): boolean;
+export declare function isParameterProperty(parameter: Parameter): boolean;

package/dist/src/checker/type-model.js

@@ -0,0 +1,151 @@
+/**
+ * The value model used by the checker: a deliberately small structural type
+ * union plus the helpers shared by resolution and assignability.
+ */
+import { ModifierKind, SyntaxKind, } from "../ast/nodes.js";
+export const ANY = { kind: "any" };
+export const UNKNOWN = { kind: "any" }; // no strict unknown mode: treat like any
+/** Own properties every object inherits from `Object.prototype`. */
+export const OBJECT_PROTOTYPE_NAMES = new Set([
+    "constructor",
+    "hasOwnProperty",
+    "isPrototypeOf",
+    "propertyIsEnumerable",
+    "toLocaleString",
+    "toString",
+    "valueOf",
+    "__defineGetter__",
+    "__defineSetter__",
+    "__lookupGetter__",
+    "__lookupSetter__",
+    "__proto__",
+]);
+export function isAny(type) {
+    return type.kind === "any" || type.kind === "typeParam";
+}
+export function primitive(name) {
+    return { kind: "primitive", name };
+}
+export function unionOf(members) {
+    const flattened = [];
+    for (const member of members) {
+        if (member.kind === "any" || member.kind === "typeParam")
+            return ANY;
+        if (member.kind === "union")
+            flattened.push(...member.members);
+        else
+            flattened.push(member);
+    }
+    const unique = [];
+    for (const member of flattened) {
+        if (!unique.some((other) => sameType(member, other)))
+            unique.push(member);
+    }
+    if (unique.length === 0)
+        return ANY;
+    if (unique.length === 1)
+        return unique[0];
+    return { kind: "union", members: unique };
+}
+export function unionMembers(type) {
+    return type.kind === "union" ? type.members : [type];
+}
+/**
+ * Widen the literal types TypeScript widens for a mutable position: `let x =
+ * 1` and object/array literal members are `number`, not the literal `1`.
+ * (`const x = 1` keeps the literal; the caller decides when to widen.)
+ */
+export function widenType(type) {
+    switch (type.kind) {
+        case "literal":
+            return primitive(type.primitive);
+        case "array":
+            return { kind: "array", element: widenType(type.element) };
+        case "tuple":
+            return { kind: "tuple", elements: type.elements.map((element) => widenType(element)) };
+        case "union":
+            return unionOf(type.members.map((member) => widenType(member)));
+        case "object": {
+            const properties = new Map();
+            for (const [name, property] of type.properties) {
+                properties.set(name, { type: widenType(property.type), optional: property.optional });
+            }
+            return {
+                kind: "object",
+                properties,
+                ...(type.index ? { index: widenType(type.index) } : {}),
+                closed: type.closed,
+                ...(type.label ? { label: type.label } : {}),
+            };
+        }
+        default:
+            return type;
+    }
+}
+function sameType(a, b) {
+    if (a.kind !== b.kind)
+        return false;
+    if (a.kind === "primitive" && b.kind === "primitive")
+        return a.name === b.name;
+    if (a.kind === "literal" && b.kind === "literal")
+        return a.value === b.value;
+    if (a.kind === "typeParam" && b.kind === "typeParam")
+        return a.name === b.name;
+    return false;
+}
+export function printType(type, depth = 0) {
+    if (depth > 3)
+        return "...";
+    switch (type.kind) {
+        case "any":
+            return "any";
+        case "primitive":
+            return type.name;
+        case "literal":
+            return typeof type.value === "string" ? JSON.stringify(type.value) : String(type.value);
+        case "array":
+            return `${printType(type.element, depth + 1)}[]`;
+        case "tuple":
+            return `[${type.elements.map((element) => printType(element, depth + 1)).join(", ")}]`;
+        case "union":
+            return type.members.map((member) => printType(member, depth + 1)).join(" | ");
+        case "function": {
+            const params = type.parameters.map((parameter) => `${parameter.rest ? "..." : ""}${printType(parameter.type, depth + 1)}${parameter.optional ? "?" : ""}`);
+            return `(${params.join(", ")}) => ${printType(type.returnType, depth + 1)}`;
+        }
+        case "typeParam":
+            return type.name;
+        case "object": {
+            if (type.label)
+                return type.label;
+            const entries = [...type.properties.entries()].slice(0, 6).map(([name, property]) => `${name}${property.optional ? "?" : ""}: ${printType(property.type, depth + 1)}`);
+            if (type.properties.size > 6)
+                entries.push("...");
+            return `{ ${entries.join("; ")} }`;
+        }
+    }
+}
+/** Shared unwrapping for erased expression wrappers. */
+export function unwrap(expression) {
+    let current = expression;
+    for (;;) {
+        if (current.kind === SyntaxKind.AsExpression ||
+            current.kind === SyntaxKind.SatisfiesExpression ||
+            current.kind === SyntaxKind.NonNullExpression ||
+            current.kind === SyntaxKind.ParenthesizedExpression) {
+            current = current.expression;
+            continue;
+        }
+        return current;
+    }
+}
+export function isThisParameter(parameter) {
+    return parameter.name.kind === SyntaxKind.Identifier && parameter.name.text === "this";
+}
+export function isParameterProperty(parameter) {
+    return parameter.modifiers.some((modifier) => modifier.modifierKind === ModifierKind.Public ||
+        modifier.modifierKind === ModifierKind.Private ||
+        modifier.modifierKind === ModifierKind.Protected ||
+        modifier.modifierKind === ModifierKind.Readonly);
+}
+//# sourceMappingURL=type-model.js.map

package/dist/src/checker/type-model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-model.js","sourceRoot":"","sources":["../../../src/checker/type-model.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,YAAY,EACZ,UAAU,GAIX,MAAM,iBAAiB,CAAC;AAqDzB,MAAM,CAAC,MAAM,GAAG,GAAS,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACzC,MAAM,CAAC,MAAM,OAAO,GAAS,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,yCAAyC;AAEvF,oEAAoE;AACpE,MAAM,CAAC,MAAM,sBAAsB,GAAwB,IAAI,GAAG,CAAC;IACjE,aAAa;IACb,gBAAgB;IAChB,eAAe;IACf,sBAAsB;IACtB,gBAAgB;IAChB,UAAU;IACV,SAAS;IACT,kBAAkB;IAClB,kBAAkB;IAClB,kBAAkB;IAClB,kBAAkB;IAClB,WAAW;CACZ,CAAC,CAAC;AAEH,MAAM,UAAU,KAAK,CAAC,IAAU;IAC9B,OAAO,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC;AAC1D,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,IAAmB;IAC3C,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;AACrC,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,OAAwB;IAC9C,MAAM,SAAS,GAAW,EAAE,CAAC;IAC7B,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW;YAAE,OAAO,GAAG,CAAC;QACrE,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;YAAE,SAAS,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;;YAC1D,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC9B,CAAC;IACD,MAAM,MAAM,GAAW,EAAE,CAAC;IAC1B,KAAK,MAAM,MAAM,IAAI,SAAS,EAAE,CAAC;QAC/B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC5E,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IACpC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,CAAC,CAAE,CAAC;IAC3C,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;AAC5C,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAU;IACrC,OAAO,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AACvD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,SAAS,CAAC,IAAU;IAClC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACnC,KAAK,OAAO;YACV,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7D,KAAK,OAAO;YACV,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QACzF,KAAK,OAAO;YACV,OAAO,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAClE,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,UAAU,GAAG,IAAI,GAAG,EAAwB,CAAC;YACnD,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBAC/C,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC;YACxF,CAAC;YACD,OAAO;gBACL,IAAI,EAAE,QAAQ;gBACd,UAAU;gBACV,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvD,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC7C,CAAC;QACJ,CAAC;QACD;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CAAC,CAAO,EAAE,CAAO;IAChC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACpC,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC;IAC/E,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,CAAC;IAC7E,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC;IAC/E,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,IAAU,EAAE,KAAK,GAAG,CAAC;IAC7C,IAAI,KAAK,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IAC5B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,KAAK;YACR,OAAO,KAAK,CAAC;QACf,KAAK,WAAW;YACd,OAAO,IAAI,CAAC,IAAI,CAAC;QACnB,KAAK,SAAS;YACZ,OAAO,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1F,KAAK,OAAO;YACV,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC;QACnD,KAAK,OAAO;YACV,OAAO,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACzF,KAAK,OAAO;YACV,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChF,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,SAAS,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC3J,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC;QAC9E,CAAC;QACD,KAAK,WAAW;YACd,OAAO,IAAI,CAAC,IAAI,CAAC;QACnB,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,IAAI,CAAC,KAAK;gBAAE,OAAO,IAAI,CAAC,KAAK,CAAC;YAClC,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,SAAS,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;YACvK,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAClD,OAAO,KAAK,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QACrC,CAAC;IACH,CAAC;AACH,CAAC;AAED,wDAAwD;AACxD,MAAM,UAAU,MAAM,CAAC,UAAsB;IAC3C,IAAI,OAAO,GAAG,UAAU,CAAC;IACzB,SAAS,CAAC;QACR,IACE,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC,YAAY;YACxC,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC,mBAAmB;YAC/C,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC,iBAAiB;YAC7C,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC,uBAAuB,EACnD,CAAC;YACD,OAAO,GAAI,OAAiD,CAAC,UAAU,CAAC;YACxE,SAAS;QACX,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,SAAoB;IAClD,OAAO,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU,IAAK,SAAS,CAAC,IAAmB,CAAC,IAAI,KAAK,MAAM,CAAC;AACzG,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,SAAoB;IACtD,OAAO,SAAS,CAAC,SAAS,CAAC,IAAI,CAC7B,CAAC,QAAQ,EAAE,EAAE,CACX,QAAQ,CAAC,YAAY,KAAK,YAAY,CAAC,MAAM;QAC7C,QAAQ,CAAC,YAAY,KAAK,YAAY,CAAC,OAAO;QAC9C,QAAQ,CAAC,YAAY,KAAK,YAAY,CAAC,SAAS;QAChD,QAAQ,CAAC,YAAY,KAAK,YAAY,CAAC,QAAQ,CAClD,CAAC;AACJ,CAAC"}

package/dist/src/checker/type-system.d.ts

@@ -0,0 +1,58 @@
+/**
+ * A deliberately small structural type model for the checker.
+ *
+ * The goal is not to reimplement TypeScript's type system. It is to know
+ * enough about annotations, interfaces, classes, arrays, functions and simple
+ * generics to answer "is this value definitely the wrong shape?" without
+ * guessing. Anything the model does not understand becomes `any`, and `any` is
+ * compatible with everything — so unsupported syntax can only hide a bug, never
+ * reject working code.
+ */
+import { type ClassDeclaration, type Expression, type Parameter, type SourceFileNode, type TypeNode } from "../ast/nodes.js";
+import { type BindResult, type SymbolInfo } from "../binder/binder.js";
+import { type ParameterInfo, type Type } from "./type-model.js";
+/** Resolve type syntax and symbol annotations into the small model above. */
+export declare class TypeResolver {
+    readonly sourceFile: SourceFileNode;
+    readonly binding: BindResult;
+    private readonly declarations;
+    private readonly symbolTypes;
+    private readonly resolvingSymbols;
+    private readonly resolvingAliases;
+    private readonly resolvingInterfaces;
+    private readonly resolvingClasses;
+    private readonly classCache;
+    private readonly dynamicClasses;
+    private readonly symbolsById;
+    constructor(sourceFile: SourceFileNode, binding: BindResult);
+    typeOfSymbolId(id: number): Type | undefined;
+    /** The instance type of the class an `instanceof` right-hand side names. */
+    classInstanceFromIdentifier(expression: Expression): Type | undefined;
+    private collectDeclarations;
+    private addDeclaration;
+    private collectDynamicClasses;
+    private classHasDynamicMembers;
+    /** `this.x = ...` members, typed `any` because the assignment is the only source. */
+    private collectThisProperties;
+    private classOfPrototypeExpression;
+    private classOfIdentifier;
+    resolve(node: TypeNode | undefined, typeParams?: ReadonlyMap<string, Type>): Type;
+    private functionType;
+    parameterInfo(parameter: Parameter, typeParams: ReadonlyMap<string, Type>): ParameterInfo;
+    private typeLiteral;
+    private addProperty;
+    private typeReference;
+    private builtinType;
+    private bindTypeParameters;
+    private aliasType;
+    private interfaceType;
+    private buildInterfaceType;
+    private classType;
+    private buildClassType;
+    /** The instance shape of a class declaration (`this` inside its methods). */
+    classInstanceType(node: ClassDeclaration): Type;
+    setSymbolType(symbolId: number, type: Type): void;
+    typeOfSymbol(symbol: SymbolInfo): Type;
+    private computeSymbolType;
+    inferExpression(expression: Expression, lookup?: (symbol: SymbolInfo) => Type | undefined): Type;
+}