@jalvin/compiler 2.0.32 → 2.0.33

package/dist/typechecker/index.js

@@ -0,0 +1,2288 @@
+"use strict";
+// ─────────────────────────────────────────────────────────────────────────────
+// Jalvin Type Checker
+//
+// Performs:
+//   • Symbol resolution (builds a scope tree)
+//   • Type inference for expressions and declarations
+//   • Null safety enforcement (T vs T?)
+//   • Exhaustiveness checking for `when` on sealed classes
+//   • suspend / async context validation
+//   • Override checking
+// ─────────────────────────────────────────────────────────────────────────────
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TypeChecker = exports.Scope = exports.unwrapNullable = exports.T_UNKNOWN = exports.T_UNIT = exports.T_STRING = exports.T_NOTHING = exports.T_LONG = exports.T_INT = exports.T_FLOAT = exports.T_ERROR = exports.T_DOUBLE = exports.T_CHAR = exports.T_BOOL = exports.T_ANY = exports.nullable = exports.isNullable = exports.classType = void 0;
+exports.typeCheck = typeCheck;
+const AST = __importStar(require("../ast.js"));
+const diagnostics_js_1 = require("../diagnostics.js");
+const types_js_1 = require("./types.js");
+const globals_js_1 = require("./globals.js");
+var types_js_2 = require("./types.js");
+Object.defineProperty(exports, "classType", { enumerable: true, get: function () { return types_js_2.classType; } });
+Object.defineProperty(exports, "isNullable", { enumerable: true, get: function () { return types_js_2.isNullable; } });
+Object.defineProperty(exports, "nullable", { enumerable: true, get: function () { return types_js_2.nullable; } });
+Object.defineProperty(exports, "T_ANY", { enumerable: true, get: function () { return types_js_2.T_ANY; } });
+Object.defineProperty(exports, "T_BOOL", { enumerable: true, get: function () { return types_js_2.T_BOOL; } });
+Object.defineProperty(exports, "T_CHAR", { enumerable: true, get: function () { return types_js_2.T_CHAR; } });
+Object.defineProperty(exports, "T_DOUBLE", { enumerable: true, get: function () { return types_js_2.T_DOUBLE; } });
+Object.defineProperty(exports, "T_ERROR", { enumerable: true, get: function () { return types_js_2.T_ERROR; } });
+Object.defineProperty(exports, "T_FLOAT", { enumerable: true, get: function () { return types_js_2.T_FLOAT; } });
+Object.defineProperty(exports, "T_INT", { enumerable: true, get: function () { return types_js_2.T_INT; } });
+Object.defineProperty(exports, "T_LONG", { enumerable: true, get: function () { return types_js_2.T_LONG; } });
+Object.defineProperty(exports, "T_NOTHING", { enumerable: true, get: function () { return types_js_2.T_NOTHING; } });
+Object.defineProperty(exports, "T_STRING", { enumerable: true, get: function () { return types_js_2.T_STRING; } });
+Object.defineProperty(exports, "T_UNIT", { enumerable: true, get: function () { return types_js_2.T_UNIT; } });
+Object.defineProperty(exports, "T_UNKNOWN", { enumerable: true, get: function () { return types_js_2.T_UNKNOWN; } });
+Object.defineProperty(exports, "unwrapNullable", { enumerable: true, get: function () { return types_js_2.unwrapNullable; } });
+class Scope {
+    parent;
+    symbols = new Map();
+    usedNames = new Set();
+    constructor(parent = null) {
+        this.parent = parent;
+    }
+    define(sym) {
+        const existing = this.symbols.get(sym.name);
+        if (existing)
+            return existing;
+        this.symbols.set(sym.name, sym);
+        return true;
+    }
+    lookup(name) {
+        return this.symbols.get(name) ?? this.parent?.lookup(name) ?? null;
+    }
+    markUsed(name) {
+        if (this.symbols.has(name)) {
+            this.usedNames.add(name);
+        }
+        else {
+            this.parent?.markUsed(name);
+        }
+    }
+    /** Returns symbols defined in this scope that were never referenced. */
+    localUnused() {
+        return [...this.symbols.values()].filter((s) => !this.usedNames.has(s.name));
+    }
+}
+exports.Scope = Scope;
+// ---------------------------------------------------------------------------
+// Type environment — built-in types and stdlib symbols
+// ---------------------------------------------------------------------------
+class TypeEnv {
+    global = new Scope();
+    constructor() {
+        this.seedBuiltins();
+    }
+    sym(name, type) {
+        this.global.define({ name, type, mutable: false, span: AST.BUILTIN_SPAN });
+    }
+    seedBuiltins() {
+        // Global functions
+        this.sym("println", { tag: "func", params: [types_js_1.T_ANY], paramNames: ["message"], ret: types_js_1.T_UNIT, suspend: false });
+        this.sym("print", { tag: "func", params: [types_js_1.T_ANY], paramNames: ["message"], ret: types_js_1.T_UNIT, suspend: false });
+        this.sym("readLine", { tag: "func", params: [], ret: (0, types_js_1.nullable)(types_js_1.T_STRING), suspend: false });
+        this.sym("TODO", { tag: "func", params: [(0, types_js_1.nullable)(types_js_1.T_STRING)], paramNames: ["reason"], ret: types_js_1.T_NOTHING, suspend: false });
+        this.sym("error", { tag: "func", params: [types_js_1.T_STRING], paramNames: ["message"], ret: types_js_1.T_NOTHING, suspend: false });
+        this.sym("require", { tag: "func", params: [types_js_1.T_BOOL, (0, types_js_1.nullable)(types_js_1.T_STRING)], paramNames: ["value", "lazyMessage"], ret: types_js_1.T_UNIT, suspend: false });
+        this.sym("check", { tag: "func", params: [types_js_1.T_BOOL, (0, types_js_1.nullable)(types_js_1.T_STRING)], paramNames: ["value", "lazyMessage"], ret: types_js_1.T_UNIT, suspend: false });
+        this.sym("assert", { tag: "func", params: [types_js_1.T_BOOL, (0, types_js_1.nullable)(types_js_1.T_STRING)], paramNames: ["value", "lazyMessage"], ret: types_js_1.T_UNIT, suspend: false });
+        // Collection builders
+        const listType = (0, types_js_1.classType)("List", [types_js_1.T_UNKNOWN]);
+        const mutableListType = (0, types_js_1.classType)("MutableList", [types_js_1.T_UNKNOWN]);
+        const setType = (0, types_js_1.classType)("Set", [types_js_1.T_UNKNOWN]);
+        const mapType = (0, types_js_1.classType)("Map", [types_js_1.T_UNKNOWN, types_js_1.T_UNKNOWN]);
+        this.sym("listOf", { tag: "func", params: [types_js_1.T_UNKNOWN], ret: listType, suspend: false });
+        this.sym("mutableListOf", { tag: "func", params: [types_js_1.T_UNKNOWN], ret: mutableListType, suspend: false });
+        this.sym("setOf", { tag: "func", params: [types_js_1.T_UNKNOWN], ret: setType, suspend: false });
+        this.sym("mapOf", { tag: "func", params: [types_js_1.T_UNKNOWN], ret: mapType, suspend: false });
+        this.sym("emptyList", { tag: "func", params: [], ret: listType, suspend: false });
+        this.sym("emptyMap", { tag: "func", params: [], ret: mapType, suspend: false });
+        this.sym("emptySet", { tag: "func", params: [], ret: setType, suspend: false });
+        this.sym("mutableSetOf", { tag: "func", params: [types_js_1.T_UNKNOWN], ret: (0, types_js_1.classType)("MutableSet", [types_js_1.T_UNKNOWN]), suspend: false });
+        this.sym("mutableMapOf", { tag: "func", params: [types_js_1.T_UNKNOWN], ret: (0, types_js_1.classType)("MutableMap", [types_js_1.T_UNKNOWN, types_js_1.T_UNKNOWN]), suspend: false });
+        // Pair / Triple constructors
+        const pairType = (0, types_js_1.classType)("Pair", [types_js_1.T_UNKNOWN, types_js_1.T_UNKNOWN]);
+        const tripleType = (0, types_js_1.classType)("Triple", [types_js_1.T_UNKNOWN, types_js_1.T_UNKNOWN, types_js_1.T_UNKNOWN]);
+        this.sym("Pair", pairType);
+        this.sym("Triple", tripleType);
+        // Coroutines
+        const deferredType = (0, types_js_1.classType)("Deferred", [types_js_1.T_UNKNOWN]);
+        this.sym("withContext", { tag: "func", params: [types_js_1.T_ANY, { tag: "func", params: [], ret: types_js_1.T_UNKNOWN, suspend: true }], paramNames: ["context", "block"], ret: types_js_1.T_UNKNOWN, suspend: true });
+        this.sym("delay", { tag: "func", params: [types_js_1.T_LONG], paramNames: ["timeMillis"], ret: types_js_1.T_UNIT, suspend: true });
+        // Dispatchers — no-ops in JS; exist for source compat
+        this.sym("Dispatchers", (0, types_js_1.classType)("Dispatchers"));
+        // Bibi HTTP client
+        this.sym("Bibi", (0, types_js_1.classType)("Bibi"));
+        this.sym("BibiError", (0, types_js_1.classType)("BibiError"));
+        // State & MVVM
+        this.sym("mutableStateOf", { tag: "func", params: [types_js_1.T_UNKNOWN], paramNames: ["value"], ret: (0, types_js_1.classType)("MutableState", [types_js_1.T_UNKNOWN]), suspend: false });
+        this.sym("remember", { tag: "func", params: [{ tag: "func", params: [], ret: types_js_1.T_UNKNOWN, suspend: false }], paramNames: ["calculation"], ret: types_js_1.T_UNKNOWN, suspend: false });
+        this.sym("useViewModel", { tag: "func", params: [types_js_1.T_STRING, { tag: "func", params: [], ret: types_js_1.T_UNKNOWN, suspend: false }], paramNames: ["key", "factory"], ret: (0, types_js_1.classType)("ViewModel"), suspend: false });
+        // Keep old `viewModel` alias for source compat
+        this.sym("viewModel", { tag: "func", params: [], ret: (0, types_js_1.classType)("ViewModel"), suspend: false });
+        this.sym("collectAsState", { tag: "func", params: [types_js_1.T_UNKNOWN], paramNames: ["flow"], ret: types_js_1.T_UNKNOWN, suspend: false });
+        // React effect hooks
+        const effectDepsType = (0, types_js_1.classType)("List", [types_js_1.T_UNKNOWN]);
+        this.sym("LaunchedEffect", { tag: "func", params: [effectDepsType, { tag: "func", params: [], ret: types_js_1.T_UNIT, suspend: true }], paramNames: ["deps", "block"], ret: types_js_1.T_UNIT, suspend: false });
+        this.sym("DisposableEffect", { tag: "func", params: [effectDepsType, { tag: "func", params: [], ret: types_js_1.T_UNIT, suspend: false }], paramNames: ["deps", "block"], ret: types_js_1.T_UNIT, suspend: false });
+        this.sym("SideEffect", { tag: "func", params: [{ tag: "func", params: [], ret: types_js_1.T_UNIT, suspend: false }], paramNames: ["block"], ret: types_js_1.T_UNIT, suspend: false });
+        // Scope functions (top-level `with` and standalone `run`)
+        this.sym("with", { tag: "func", params: [types_js_1.T_UNKNOWN, { tag: "func", params: [], ret: types_js_1.T_UNKNOWN, suspend: false }], paramNames: ["receiver", "block"], ret: types_js_1.T_UNKNOWN, suspend: false });
+        this.sym("run", { tag: "func", params: [{ tag: "func", params: [], ret: types_js_1.T_UNKNOWN, suspend: false }], paramNames: ["block"], ret: types_js_1.T_UNKNOWN, suspend: false });
+        // Math library
+        this.sym("abs", { tag: "func", params: [types_js_1.T_INT], paramNames: ["n"], ret: types_js_1.T_INT, suspend: false });
+        this.sym("minOf", { tag: "func", params: [types_js_1.T_INT, types_js_1.T_INT], paramNames: ["a", "b"], ret: types_js_1.T_INT, suspend: false });
+        this.sym("maxOf", { tag: "func", params: [types_js_1.T_INT, types_js_1.T_INT], paramNames: ["a", "b"], ret: types_js_1.T_INT, suspend: false });
+        this.sym("sqrt", { tag: "func", params: [types_js_1.T_DOUBLE], paramNames: ["x"], ret: types_js_1.T_DOUBLE, suspend: false });
+        // IntRange
+        const intRangeType = (0, types_js_1.classType)("IntRange");
+        this.sym("downTo", { tag: "func", params: [types_js_1.T_INT, types_js_1.T_INT], ret: intRangeType, suspend: false });
+        this.sym("until", { tag: "func", params: [types_js_1.T_INT, types_js_1.T_INT], ret: intRangeType, suspend: false });
+        this.sym("step", { tag: "func", params: [intRangeType, types_js_1.T_INT], ret: intRangeType, suspend: false });
+        // Result<T>
+        const resultType = (0, types_js_1.classType)("Result", [types_js_1.T_UNKNOWN]);
+        this.sym("runCatching", { tag: "func", params: [{ tag: "func", params: [], ret: types_js_1.T_UNKNOWN, suspend: false }], paramNames: ["block"], ret: resultType, suspend: false });
+        this.sym("runCatchingAsync", { tag: "func", params: [{ tag: "func", params: [], ret: types_js_1.T_UNKNOWN, suspend: true }], paramNames: ["block"], ret: resultType, suspend: true });
+        // StringBuilder + builders
+        const sbType = (0, types_js_1.classType)("StringBuilder");
+        this.sym("buildString", { tag: "func", params: [{ tag: "func", params: [sbType], ret: types_js_1.T_UNIT, suspend: false }], paramNames: ["builderAction"], ret: types_js_1.T_STRING, suspend: false });
+        this.sym("buildList", { tag: "func", params: [{ tag: "func", params: [types_js_1.T_ANY], ret: types_js_1.T_UNIT, suspend: false }], paramNames: ["builderAction"], ret: listType, suspend: false });
+        this.sym("buildSet", { tag: "func", params: [{ tag: "func", params: [types_js_1.T_ANY], ret: types_js_1.T_UNIT, suspend: false }], paramNames: ["builderAction"], ret: setType, suspend: false });
+        this.sym("buildMap", { tag: "func", params: [{ tag: "func", params: [types_js_1.T_ANY], ret: types_js_1.T_UNIT, suspend: false }], paramNames: ["builderAction"], ret: mapType, suspend: false });
+        // Regex
+        const regexType = (0, types_js_1.classType)("Regex");
+        this.sym("Regex", { tag: "func", params: [types_js_1.T_STRING, types_js_1.T_STRING], paramNames: ["pattern", "options"], ret: regexType, suspend: false });
+        // Timing
+        this.sym("measureTimeMillis", { tag: "func", params: [{ tag: "func", params: [], ret: types_js_1.T_UNIT, suspend: false }], paramNames: ["block"], ret: types_js_1.T_LONG, suspend: false });
+        this.sym("measureTimedValue", { tag: "func", params: [{ tag: "func", params: [], ret: types_js_1.T_UNKNOWN, suspend: false }], paramNames: ["block"], ret: (0, types_js_1.classType)("TimedValue", [types_js_1.T_UNKNOWN]), suspend: false });
+        // Random
+        const randomType = (0, types_js_1.classType)("Random");
+        this.sym("Random", { tag: "func", params: [], ret: randomType, suspend: false });
+        this.sym("randomUUID", { tag: "func", params: [], ret: types_js_1.T_STRING, suspend: false });
+        // coroutineScope / supervisorScope
+        this.sym("coroutineScope", { tag: "func", params: [{ tag: "func", params: [(0, types_js_1.classType)("CoroutineScope")], ret: types_js_1.T_UNKNOWN, suspend: true }], paramNames: ["block"], ret: types_js_1.T_UNKNOWN, suspend: true });
+        this.sym("supervisorScope", { tag: "func", params: [{ tag: "func", params: [(0, types_js_1.classType)("CoroutineScope")], ret: types_js_1.T_UNKNOWN, suspend: true }], paramNames: ["block"], ret: types_js_1.T_UNKNOWN, suspend: true });
+    }
+}
+// ---------------------------------------------------------------------------
+// TypeChecker
+// ---------------------------------------------------------------------------
+class TypeChecker {
+    diag;
+    env = new TypeEnv();
+    /** Stack of scopes (innermost last) */
+    scope;
+    /** Whether we're inside a suspend context */
+    inSuspend = false;
+    /** Whether we're inside a component */
+    inComponent = false;
+    /** Whether the program has a wildcard import from a @jalvin/* package */
+    hasWildcardJalvinImport = false;
+    /** Map from node to resolved type (for IDE use) */
+    typeMap = new Map();
+    /**
+     * Binary expressions that resolve to operator overloads.
+     * Maps AST.BinaryExpr → the method name to call (e.g. "plus", "compareTo").
+     * Consumed by codegen to emit `left.method(right)` instead of `left op right`.
+     */
+    operatorOverloadMap = new Map();
+    /**
+     * Sealed class name → set of direct subclass names.
+     * Populated after hoisting so exhaustiveness checking can use it.
+     */
+    sealedSubclasses = new Map();
+    /**
+     * Enum class name → ordered list of entry names.
+     * Populated at the same time as sealedSubclasses.
+     */
+    enumEntries = new Map();
+    constructor(diag) {
+        this.diag = diag;
+        this.scope = this.env.global;
+    }
+    checkProgram(program) {
+        // Zero pass: register imported symbols into scope so the type-checker
+        // doesn't emit "Unresolved reference" errors for external @jalvin/* packages.
+        for (const imp of program.imports) {
+            const isJalvinPkg = imp.path.length > 0 && imp.path[0]?.startsWith("@jalvin");
+            if (imp.star) {
+                if (isJalvinPkg)
+                    this.hasWildcardJalvinImport = true;
+            }
+            else {
+                // Named import — register the last path component (or alias) as T_UNKNOWN
+                const symbolName = imp.alias ?? imp.path[imp.path.length - 1];
+                if (symbolName && symbolName !== "@jalvin") {
+                    this.scope.define({ name: symbolName, type: types_js_1.T_UNKNOWN, mutable: false, span: imp.span });
+                }
+            }
+        }
+        // First pass: hoist all top-level declarations into global scope
+        for (const decl of program.declarations) {
+            this.hoistDecl(decl);
+        }
+        // Second pass: build sealed-class subclass map and enum entries for exhaustiveness checking
+        this.buildExhaustivenessMap(program.declarations);
+        // Third pass: type-check bodies
+        for (const decl of program.declarations) {
+            this.checkTopLevelDecl(decl);
+        }
+    }
+    /**
+     * Walk all class-like declarations and register any that extend a known
+     * sealed class into `sealedSubclasses`; also records enum entry names.
+     */
+    buildExhaustivenessMap(decls) {
+        const sealedNames = new Set();
+        const collectNames = (ds, prefix = "") => {
+            for (const d of ds) {
+                if (d.kind === "SealedClassDecl") {
+                    const name = prefix ? `${prefix}.${d.name}` : d.name;
+                    sealedNames.add(name);
+                    this.sealedSubclasses.set(name, new Set());
+                    if (d.body)
+                        collectNames(d.body.members, name);
+                }
+                else if (d.kind === "EnumClassDecl") {
+                    const name = prefix ? `${prefix}.${d.name}` : d.name;
+                    this.enumEntries.set(name, d.entries.map((e) => e.name));
+                    if (d.body)
+                        collectNames(d.body.members, name);
+                }
+                else if (d.kind === "ClassDecl" || d.kind === "DataClassDecl" || d.kind === "InterfaceDecl") {
+                    const name = prefix ? `${prefix}.${d.name}` : d.name;
+                    if (d.body)
+                        collectNames(d.body.members, name);
+                }
+                else if (d.kind === "ObjectDecl" && d.name) {
+                    const name = prefix ? `${prefix}.${d.name}` : d.name;
+                    if (d.body)
+                        collectNames(d.body.members, name);
+                }
+            }
+        };
+        const registerSubclasses = (ds, prefix = "") => {
+            for (const d of ds) {
+                if (d.kind === "ClassDecl" ||
+                    d.kind === "DataClassDecl" ||
+                    d.kind === "ObjectDecl" ||
+                    d.kind === "SealedClassDecl") {
+                    const declName = prefix ? `${prefix}.${d.name}` : d.name;
+                    for (const superEntry of d.superTypes) {
+                        const superName = this.typeRefName(superEntry.type);
+                        if (superName !== null && sealedNames.has(superName)) {
+                            if (declName !== null) {
+                                this.sealedSubclasses.get(superName).add(declName);
+                            }
+                        }
+                    }
+                    if (d.body)
+                        registerSubclasses(d.body.members, declName ?? "");
+                }
+            }
+        };
+        collectNames(decls);
+        registerSubclasses(decls);
+    }
+    /** Extract the fully qualified name from a TypeRef. */
+    typeRefName(ref) {
+        if (ref.kind === "SimpleTypeRef")
+            return ref.name.join(".");
+        if (ref.kind === "GenericTypeRef")
+            return ref.base.name.join(".");
+        if (ref.kind === "NullableTypeRef")
+            return this.typeRefName(ref.base);
+        return null;
+    }
+    // ── Hoisting ───────────────────────────────────────────────────────────────
+    /** Returns the @Nuked reason string if the declaration is annotated, else undefined. */
+    nukedReason(mods) {
+        const ann = mods.annotations.find((a) => a.name === "Nuked");
+        if (!ann)
+            return undefined;
+        // Strip outer quotes if the arg is a simple string literal
+        if (ann.args)
+            return ann.args.replace(/^["']|["']$/g, "");
+        return "";
+    }
+    /** Returns `{ nuked: reason }` only if annotated, to satisfy exactOptionalPropertyTypes. */
+    nukedExtra(mods) {
+        const r = this.nukedReason(mods);
+        return r !== undefined ? { nuked: r } : {};
+    }
+    hoistDecl(decl) {
+        switch (decl.kind) {
+            case "FunDecl":
+                this.scope.define({
+                    name: decl.name,
+                    type: this.funDeclType(decl),
+                    mutable: false,
+                    span: decl.span,
+                    ...this.nukedExtra(decl.modifiers),
+                });
+                break;
+            case "ComponentDecl":
+                this.scope.define({
+                    name: decl.name,
+                    type: { tag: "func", params: this.componentParamTypes(decl), ret: types_js_1.T_UNIT, suspend: false },
+                    mutable: false,
+                    span: decl.span,
+                    ...this.nukedExtra(decl.modifiers),
+                });
+                break;
+            case "ClassDecl":
+            case "DataClassDecl":
+            case "SealedClassDecl":
+            case "InterfaceDecl":
+                this.scope.define({
+                    name: decl.name,
+                    type: (0, types_js_1.classType)(decl.name, [], decl),
+                    mutable: false,
+                    span: decl.span,
+                    ...this.nukedExtra(decl.modifiers),
+                });
+                break;
+            case "EnumClassDecl":
+                this.scope.define({
+                    name: decl.name,
+                    type: (0, types_js_1.classType)(decl.name, [], decl),
+                    mutable: false,
+                    span: decl.span,
+                    ...this.nukedExtra(decl.modifiers),
+                });
+                break;
+            case "ObjectDecl":
+                if (decl.name) {
+                    this.scope.define({
+                        name: decl.name,
+                        type: (0, types_js_1.classType)(decl.name),
+                        mutable: false,
+                        span: decl.span,
+                        ...this.nukedExtra(decl.modifiers),
+                    });
+                }
+                break;
+            case "PropertyDecl":
+                this.scope.define({
+                    name: decl.name,
+                    type: decl.type ? this.resolveTypeRef(decl.type) : types_js_1.T_UNKNOWN,
+                    mutable: decl.mutable,
+                    span: decl.span,
+                    ...this.nukedExtra(decl.modifiers),
+                });
+                break;
+            case "DestructuringDecl":
+                // Hoist each binding name into global scope with unknown type
+                for (const name of decl.names) {
+                    if (name) {
+                        this.scope.define({ name, type: types_js_1.T_UNKNOWN, mutable: decl.mutable, span: decl.span });
+                    }
+                }
+                break;
+            case "ExtensionFunDecl":
+                // Extension functions are module-level; no special hoisting needed beyond the name
+                break;
+            case "TypeAliasDecl":
+                break;
+        }
+    }
+    funDeclType(decl) {
+        const params = decl.params.map((p) => this.resolveTypeRef(p.type));
+        const paramNames = decl.params.map((p) => p.name);
+        const ret = decl.returnType ? this.resolveTypeRef(decl.returnType) : types_js_1.T_UNIT;
+        const suspend = AST.isSuspend(decl.modifiers);
+        return { tag: "func", params, paramNames, ret, suspend };
+    }
+    componentParamTypes(decl) {
+        return decl.params.map((p) => this.resolveTypeRef(p.type));
+    }
+    // ── Top-level checking ─────────────────────────────────────────────────────
+    checkTopLevelDecl(decl) {
+        switch (decl.kind) {
+            case "FunDecl":
+                this.checkFunDecl(decl);
+                break;
+            case "ComponentDecl":
+                this.checkComponentDecl(decl);
+                break;
+            case "ClassDecl":
+            case "DataClassDecl":
+            case "SealedClassDecl":
+                this.checkClassLike(decl);
+                break;
+            case "EnumClassDecl":
+                if (decl.body)
+                    this.checkClassLike({ ...decl, kind: "ClassDecl" });
+                break;
+            case "DestructuringDecl":
+                this.checkExpr(decl.initializer);
+                break;
+            case "PropertyDecl":
+                this.checkPropertyDecl(decl);
+                break;
+            case "ExtensionFunDecl":
+                this.checkExtensionFun(decl);
+                break;
+            default:
+                break;
+        }
+    }
+    // ── Function checking ──────────────────────────────────────────────────────
+    checkFunDecl(decl) {
+        const childScope = new Scope(this.scope);
+        for (const p of decl.params) {
+            childScope.define({ name: p.name, type: this.resolveTypeRef(p.type), mutable: false, span: p.span });
+        }
+        const prevSuspend = this.inSuspend;
+        this.inSuspend = AST.isSuspend(decl.modifiers);
+        this.withScope(childScope, () => {
+            if (decl.body) {
+                if (decl.body.kind === "Block") {
+                    this.checkBlock(decl.body);
+                }
+                else {
+                    this.checkExpr(decl.body);
+                }
+            }
+        });
+        this.inSuspend = prevSuspend;
+    }
+    checkComponentDecl(decl) {
+        const childScope = new Scope(this.scope);
+        for (const p of decl.params) {
+            childScope.define({ name: p.name, type: this.resolveTypeRef(p.type), mutable: false, span: p.span });
+        }
+        const prevComp = this.inComponent;
+        this.inComponent = true;
+        this.withScope(childScope, () => this.checkBlock(decl.body));
+        this.inComponent = prevComp;
+    }
+    checkExtensionFun(decl) {
+        const childScope = new Scope(this.scope);
+        const receiverType = this.resolveTypeRef(decl.receiver);
+        childScope.define({ name: "this", type: receiverType, mutable: false, span: decl.span });
+        for (const p of decl.params) {
+            childScope.define({ name: p.name, type: this.resolveTypeRef(p.type), mutable: false, span: p.span });
+        }
+        const prevSuspend = this.inSuspend;
+        this.inSuspend = AST.isSuspend(decl.modifiers);
+        this.withScope(childScope, () => {
+            if (decl.body.kind === "Block")
+                this.checkBlock(decl.body);
+            else
+                this.checkExpr(decl.body);
+        });
+        this.inSuspend = prevSuspend;
+    }
+    checkClassLike(decl) {
+        // Inheritance check: cannot extend a final class
+        for (const superEntry of decl.superTypes) {
+            const superType = this.resolveTypeRef(superEntry.type);
+            if (superType.tag === "class" && superType.decl) {
+                const isFinal = superType.decl.modifiers.modifiers.includes("final");
+                // In Jalvin, classes are final by default unless 'open', 'abstract', or 'sealed'
+                const isOpen = superType.decl.modifiers.modifiers.some(m => m === "open" || m === "abstract");
+                const isSealed = superType.decl.kind === "SealedClassDecl";
+                if (isFinal || (!isOpen && !isSealed)) {
+                    this.diag.error(superEntry.span, diagnostics_js_1.E_CLASS_EXTENDS_FINAL, `Cannot inherit from final class '${superType.name}'`);
+                }
+            }
+        }
+        if (!decl.body)
+            return;
+        const body = decl.body;
+        const seen = new Set();
+        // Collect all member names from parent class (for override/abstract checks)
+        const parentMemberNames = new Set();
+        const abstractMemberNames = new Set();
+        for (const superEntry of decl.superTypes) {
+            const superType = this.resolveTypeRef(superEntry.type);
+            if (superType.tag === "class" && superType.decl?.body) {
+                for (const m of superType.decl.body.members) {
+                    const n = this.memberName(m);
+                    if (n) {
+                        parentMemberNames.add(n);
+                        if ((m.kind === "FunDecl" || m.kind === "PropertyDecl") &&
+                            m.modifiers.modifiers.includes("abstract")) {
+                            abstractMemberNames.add(n);
+                        }
+                    }
+                }
+            }
+        }
+        const concreteMembers = new Set();
+        // Build a class-level scope so that methods can call sibling members and
+        // reference `this` by bare name — mirroring Kotlin's behaviour.
+        const classScope = new Scope(this.scope);
+        classScope.define({
+            name: "this",
+            type: (0, types_js_1.classType)(decl.name, [], decl),
+            mutable: false,
+            span: decl.span,
+        });
+        // Hoist primary-constructor val/var params as class properties
+        const ctor = decl.primaryConstructor
+            ?? decl.primaryConstructor
+            ?? null;
+        if (ctor) {
+            for (const p of ctor.params) {
+                if (p.propertyKind) {
+                    classScope.define({
+                        name: p.name,
+                        type: this.resolveTypeRef(p.type),
+                        mutable: p.propertyKind === "var",
+                        span: p.span,
+                    });
+                }
+            }
+        }
+        // Hoist all class body members so they're visible to each other
+        for (const member of body.members) {
+            if (member.kind === "FunDecl") {
+                classScope.define({ name: member.name, type: this.funDeclType(member), mutable: false, span: member.span });
+            }
+            else if (member.kind === "PropertyDecl") {
+                classScope.define({
+                    name: member.name,
+                    type: member.type ? this.resolveTypeRef(member.type) : types_js_1.T_UNKNOWN,
+                    mutable: member.mutable,
+                    span: member.span,
+                });
+            }
+            else if (member.kind === "ComponentDecl") {
+                classScope.define({
+                    name: member.name,
+                    type: { tag: "func", params: this.componentParamTypes(member), ret: types_js_1.T_UNIT, suspend: false },
+                    mutable: false,
+                    span: member.span,
+                });
+            }
+        }
+        this.withScope(classScope, () => {
+            for (const member of body.members) {
+                const mName = this.memberName(member);
+                if (mName) {
+                    if (seen.has(mName)) {
+                        this.diag.error(member.span, diagnostics_js_1.E_DUPLICATE_CLASS_MEMBER, `Duplicate member '${mName}'`);
+                    }
+                    seen.add(mName);
+                    // Check `override` is actually overriding something
+                    if ((member.kind === "FunDecl" || member.kind === "PropertyDecl") &&
+                        member.modifiers.modifiers.includes("override")) {
+                        if (!parentMemberNames.has(mName)) {
+                            this.diag.error(member.span, diagnostics_js_1.E_OVERRIDE_NOTHING, `'${mName}' overrides nothing`);
+                        }
+                    }
+                    if (!(member.kind === "FunDecl" && member.modifiers.modifiers.includes("abstract"))) {
+                        concreteMembers.add(mName);
+                    }
+                }
+                this.checkClassMember(member);
+            }
+        });
+        // Check all abstract parent members are implemented (only for non-abstract, non-sealed subclasses)
+        const isAbstract = decl.modifiers.modifiers.includes("abstract");
+        const isSealed = decl.kind === "SealedClassDecl";
+        if (!isAbstract && !isSealed) {
+            for (const abs of abstractMemberNames) {
+                if (!concreteMembers.has(abs)) {
+                    this.diag.error(decl.span, diagnostics_js_1.E_ABSTRACT_MEMBER_NOT_IMPLEMENTED, `Class '${decl.name}' must implement abstract member '${abs}'`);
+                }
+            }
+        }
+    }
+    memberName(member) {
+        switch (member.kind) {
+            case "FunDecl":
+            case "ComponentDecl":
+            case "PropertyDecl":
+                return member.name;
+            default:
+                return null;
+        }
+    }
+    checkClassMember(member) {
+        switch (member.kind) {
+            case "FunDecl":
+                this.checkFunDecl(member);
+                break;
+            case "ComponentDecl":
+                this.checkComponentDecl(member);
+                break;
+            case "PropertyDecl":
+                this.checkPropertyDecl(member);
+                break;
+            case "ClassDecl":
+            case "DataClassDecl":
+            case "SealedClassDecl":
+                this.checkClassLike(member);
+                break;
+            default: break;
+        }
+    }
+    checkPropertyDecl(decl) {
+        // E0321: lateinit cannot be applied to val or primitive types
+        if (decl.modifiers.modifiers.includes("lateinit")) {
+            if (!decl.mutable) {
+                this.diag.error(decl.span, diagnostics_js_1.E_LATEINIT_INVALID, `'lateinit' can only be applied to 'var' properties`);
+            }
+            else if (decl.type) {
+                const t = this.resolveTypeRef(decl.type);
+                const isPrimitive = t.tag === "int" || t.tag === "long" || t.tag === "float" ||
+                    t.tag === "double" || t.tag === "boolean" || t.tag === "char";
+                if (isPrimitive) {
+                    this.diag.error(decl.span, diagnostics_js_1.E_LATEINIT_INVALID, `'lateinit' cannot be applied to primitive type '${this.typeToString(t)}'`);
+                }
+            }
+        }
+        if (decl.initializer) {
+            const initType = this.checkExpr(decl.initializer);
+            if (decl.type) {
+                const declaredType = this.resolveTypeRef(decl.type);
+                this.assertAssignable(decl.initializer.span, initType, declaredType);
+            }
+            this.typeMap.set(decl, initType);
+        }
+        if (decl.delegate) {
+            this.checkExpr(decl.delegate);
+        }
+    }
+    // ── Block & statement checking ─────────────────────────────────────────────
+    checkBlock(block) {
+        const blockScope = new Scope(this.scope);
+        this.withScope(blockScope, () => {
+            let terminated = false;
+            for (const stmt of block.statements) {
+                if (terminated) {
+                    this.diag.warning(stmt.span, diagnostics_js_1.W_UNREACHABLE_CODE, "Unreachable code");
+                    break;
+                }
+                this.checkStmt(stmt);
+                if (stmt.kind === "ReturnStmt" ||
+                    stmt.kind === "ThrowStmt" ||
+                    stmt.kind === "BreakStmt" ||
+                    stmt.kind === "ContinueStmt") {
+                    terminated = true;
+                }
+            }
+            // W0001: warn on unused local variables (skip `_`-prefixed)
+            for (const sym of blockScope.localUnused()) {
+                if (!sym.name.startsWith("_")) {
+                    this.diag.warning(sym.span, diagnostics_js_1.W_UNUSED_VARIABLE, `Variable '${sym.name}' is never used`);
+                }
+            }
+        });
+    }
+    checkStmt(stmt) {
+        switch (stmt.kind) {
+            case "Block":
+                this.checkBlock(stmt);
+                break;
+            case "PropertyDecl": {
+                const t = stmt.initializer ? this.checkExpr(stmt.initializer) : types_js_1.T_UNKNOWN;
+                const declared = stmt.type ? this.resolveTypeRef(stmt.type) : t;
+                // W0003: implicit Any when no type annotation and type cannot be inferred
+                if (!stmt.type && (declared.tag === "unknown" || declared.tag === "any")) {
+                    this.diag.warning(stmt.span, diagnostics_js_1.W_IMPLICIT_ANY, `Variable '${stmt.name}' has implicit 'Any' type — add a type annotation`);
+                }
+                const result = this.scope.define({
+                    name: stmt.name,
+                    type: declared,
+                    mutable: stmt.mutable,
+                    span: stmt.span,
+                });
+                if (result !== true) {
+                    // Shadowing is allowed in Jalvin
+                }
+                break;
+            }
+            case "DestructuringDecl": {
+                this.checkExpr(stmt.initializer);
+                for (const name of stmt.names) {
+                    if (name) {
+                        this.scope.define({ name, type: types_js_1.T_UNKNOWN, mutable: stmt.mutable, span: stmt.span });
+                    }
+                }
+                break;
+            }
+            case "ExprStmt":
+                this.checkExpr(stmt.expr);
+                break;
+            case "ReturnStmt":
+                if (stmt.value)
+                    this.checkExpr(stmt.value);
+                break;
+            case "ThrowStmt":
+                this.checkExpr(stmt.value);
+                break;
+            case "BreakStmt":
+            case "ContinueStmt": break;
+            case "IfStmt":
+                this.checkIfStmt(stmt);
+                break;
+            case "WhenStmt":
+                this.checkWhenStmt(stmt);
+                break;
+            case "ForStmt":
+                this.checkForStmt(stmt);
+                break;
+            case "WhileStmt":
+                this.checkWhileStmt(stmt);
+                break;
+            case "DoWhileStmt": {
+                this.checkBlock(stmt.body);
+                this.checkExpr(stmt.condition);
+                break;
+            }
+            case "TryCatchStmt":
+                this.checkTryCatch(stmt);
+                break;
+            case "LabeledStmt":
+                this.checkStmt(stmt.body);
+                break;
+        }
+    }
+    checkIfStmt(stmt) {
+        const condType = this.checkExpr(stmt.condition);
+        this.assertAssignable(stmt.condition.span, condType, types_js_1.T_BOOL);
+        // Smart cast: if (x is T) { ... } narrows x to T inside the then branch
+        const narrowings = this.extractSmartCasts(stmt.condition);
+        const thenScope = new Scope(this.scope);
+        for (const [name, type] of narrowings) {
+            const existing = this.scope.lookup(name);
+            if (existing) {
+                thenScope.define({ ...existing, type });
+            }
+        }
+        this.withScope(thenScope, () => this.checkBlock(stmt.then));
+        if (stmt.else) {
+            const elseNarrowings = this.extractElseSmartCasts(stmt.condition);
+            if (elseNarrowings.size > 0) {
+                const elseScope = new Scope(this.scope);
+                for (const [name, type] of elseNarrowings) {
+                    const existing = this.scope.lookup(name);
+                    if (existing)
+                        elseScope.define({ ...existing, type });
+                }
+                this.withScope(elseScope, () => {
+                    if (stmt.else.kind === "Block")
+                        this.checkBlock(stmt.else);
+                    else if (stmt.else.kind === "IfStmt")
+                        this.checkIfStmt(stmt.else);
+                });
+            }
+            else {
+                if (stmt.else.kind === "Block")
+                    this.checkBlock(stmt.else);
+                else if (stmt.else.kind === "IfStmt")
+                    this.checkIfStmt(stmt.else);
+            }
+        }
+    }
+    /**
+     * Extract smart-cast bindings from an `is`-check condition.
+     * `x is T` → { x: T }
+     * `x is T && y is U` → { x: T, y: U }
+     * `x != null` → { x: unwrapped(x) }
+     */
+    extractSmartCasts(condition) {
+        const result = new Map();
+        if (condition.kind === "TypeCheckExpr" && !condition.negated) {
+            if (condition.expr.kind === "NameExpr") {
+                result.set(condition.expr.name, this.resolveTypeRef(condition.type));
+            }
+        }
+        else if (condition.kind === "BinaryExpr" &&
+            (condition.op === "!=" || condition.op === "!==") &&
+            condition.right.kind === "NullLiteralExpr" &&
+            condition.left.kind === "NameExpr") {
+            // x != null → narrow x to its non-nullable type inside then-branch
+            const varType = this.scope.lookup(condition.left.name)?.type;
+            if (varType)
+                result.set(condition.left.name, (0, types_js_1.unwrapNullable)(varType));
+        }
+        else if (condition.kind === "BinaryExpr" && condition.op === "&&") {
+            for (const [k, v] of this.extractSmartCasts(condition.left))
+                result.set(k, v);
+            for (const [k, v] of this.extractSmartCasts(condition.right))
+                result.set(k, v);
+        }
+        return result;
+    }
+    /**
+     * Extract smart-cast bindings for the ELSE branch.
+     * `x !is T` → in else, `x` IS `T` → { x: T }
+     * `x !is T || y !is U` → in else (both negations must fail), { x: T, y: U }
+     * `x == null` → in else, x is non-null → { x: unwrapped(x) }
+     */
+    extractElseSmartCasts(condition) {
+        const result = new Map();
+        if (condition.kind === "TypeCheckExpr" && condition.negated) {
+            // x !is T → entering else means the !is test failed, so x IS T
+            if (condition.expr.kind === "NameExpr") {
+                result.set(condition.expr.name, this.resolveTypeRef(condition.type));
+            }
+        }
+        else if (condition.kind === "BinaryExpr" &&
+            (condition.op === "==" || condition.op === "===") &&
+            condition.right.kind === "NullLiteralExpr" &&
+            condition.left.kind === "NameExpr") {
+            // x == null → in else branch, x is non-null
+            const varType = this.scope.lookup(condition.left.name)?.type;
+            if (varType)
+                result.set(condition.left.name, (0, types_js_1.unwrapNullable)(varType));
+        }
+        else if (condition.kind === "BinaryExpr" && condition.op === "||") {
+            // x !is T || y !is U → both must be false to reach else, so both narrow
+            for (const [k, v] of this.extractElseSmartCasts(condition.left))
+                result.set(k, v);
+            for (const [k, v] of this.extractElseSmartCasts(condition.right))
+                result.set(k, v);
+        }
+        return result;
+    }
+    checkWhenStmt(stmt) {
+        const subjectType = stmt.subject ? this.checkExpr(stmt.subject.expr) : null;
+        // Bind `when (val x = expr)` into each branch scope
+        for (const branch of stmt.branches) {
+            const branchScope = stmt.subject?.binding
+                ? new Scope(this.scope)
+                : this.scope;
+            if (stmt.subject?.binding && subjectType) {
+                branchScope.define({
+                    name: stmt.subject.binding,
+                    type: subjectType,
+                    mutable: false,
+                    span: stmt.subject.span,
+                });
+            }
+            this.withScope(branchScope, () => {
+                // Smart cast narrowing: for single `is Type` condition, narrow subject type
+                if (stmt.subject?.binding &&
+                    subjectType &&
+                    branch.conditions.length === 1 &&
+                    branch.conditions[0].kind === "WhenIsCondition" &&
+                    !branch.conditions[0].negated) {
+                    const isC = branch.conditions[0];
+                    const narrowedType = this.resolveTypeRef(isC.type);
+                    const narrowScope = new Scope(branchScope);
+                    narrowScope.define({
+                        name: stmt.subject.binding,
+                        type: narrowedType,
+                        mutable: false,
+                        span: isC.span,
+                    });
+                    this.withScope(narrowScope, () => {
+                        if (branch.body.kind === "Block")
+                            this.checkBlock(branch.body);
+                        else
+                            this.checkExpr(branch.body);
+                    });
+                }
+                else {
+                    for (const cond of branch.conditions) {
+                        if (cond.kind === "WhenExprCondition")
+                            this.checkExpr(cond.expr);
+                        else if (cond.kind === "WhenInCondition")
+                            this.checkExpr(cond.expr);
+                    }
+                    if (branch.body.kind === "Block")
+                        this.checkBlock(branch.body);
+                    else
+                        this.checkExpr(branch.body);
+                }
+            });
+        }
+        // Exhaustiveness check for sealed classes
+        if (subjectType) {
+            this.checkWhenExhaustiveness(stmt.span, stmt.branches, subjectType);
+        }
+    }
+    /**
+     * If `subjectType` is a sealed class or enum, verify all variants are
+     * covered by type/equality branches, or there is an `else` branch.
+     * Emits E_WHEN_NOT_EXHAUSTIVE for any missing variant.
+     */
+    checkWhenExhaustiveness(span, branches, subjectType) {
+        if (subjectType.tag !== "class")
+            return;
+        const typeName = subjectType.name;
+        // If there's an else branch, it's always exhaustive
+        if (branches.some((b) => b.isElse))
+            return;
+        // ── Sealed class exhaustiveness ────────────────────────────────────────
+        const subclasses = this.sealedSubclasses.get(typeName);
+        if (subclasses) {
+            const covered = new Set();
+            for (const branch of branches) {
+                for (const cond of branch.conditions) {
+                    if (cond.kind === "WhenIsCondition" && !cond.negated) {
+                        const name = this.typeRefName(cond.type);
+                        // We want to match fully qualified name OR just the base name if it matches
+                        if (name) {
+                            covered.add(name);
+                            // Also add the simple name part to be safe
+                            const parts = name.split(".");
+                            covered.add(parts[parts.length - 1]);
+                        }
+                    }
+                }
+            }
+            for (const sub of subclasses) {
+                const subParts = sub.split(".");
+                const subSimple = subParts[subParts.length - 1];
+                if (!covered.has(sub) && !covered.has(subSimple)) {
+                    this.diag.error(span, diagnostics_js_1.E_WHEN_NOT_EXHAUSTIVE, `Non-exhaustive 'when' on sealed class '${typeName}': missing branch for '${sub}'`);
+                }
+            }
+            return;
+        }
+        // ── Enum class exhaustiveness ──────────────────────────────────────────
+        const entries = this.enumEntries.get(typeName);
+        if (entries) {
+            const covered = new Set();
+            for (const branch of branches) {
+                for (const cond of branch.conditions) {
+                    if (cond.kind === "WhenExprCondition") {
+                        const expr = cond.expr;
+                        // Match `EnumName.ENTRY` or bare `ENTRY`
+                        if (expr.kind === "MemberExpr") {
+                            covered.add(expr.member);
+                        }
+                        else if (expr.kind === "NameExpr") {
+                            covered.add(expr.name);
+                        }
+                    }
+                }
+            }
+            for (const entry of entries) {
+                if (!covered.has(entry)) {
+                    this.diag.error(span, diagnostics_js_1.E_WHEN_NOT_EXHAUSTIVE, `Non-exhaustive 'when' on enum '${typeName}': missing branch for '${entry}'`);
+                }
+            }
+        }
+    }
+    checkForStmt(stmt) {
+        const iterType = this.checkExpr(stmt.iterable);
+        const elemType = this.elementTypeOf(iterType);
+        const childScope = new Scope(this.scope);
+        if (typeof stmt.binding === "string") {
+            childScope.define({ name: stmt.binding, type: elemType, mutable: false, span: stmt.span });
+        }
+        this.withScope(childScope, () => this.checkBlock(stmt.body));
+    }
+    checkWhileStmt(stmt) {
+        this.checkExpr(stmt.condition);
+        this.checkBlock(stmt.body);
+    }
+    checkTryCatch(stmt) {
+        this.checkBlock(stmt.body);
+        for (const c of stmt.catches) {
+            const childScope = new Scope(this.scope);
+            childScope.define({ name: c.name, type: this.resolveTypeRef(c.type), mutable: false, span: c.span });
+            this.withScope(childScope, () => this.checkBlock(c.body));
+        }
+        if (stmt.finally)
+            this.checkBlock(stmt.finally);
+    }
+    // ── Expression type inference ──────────────────────────────────────────────
+    checkExpr(expr) {
+        const type = this.inferExpr(expr);
+        this.typeMap.set(expr, type);
+        return type;
+    }
+    inferExpr(expr) {
+        switch (expr.kind) {
+            case "IntLiteralExpr": return types_js_1.T_INT;
+            case "LongLiteralExpr": return types_js_1.T_LONG;
+            case "FloatLiteralExpr": return types_js_1.T_FLOAT;
+            case "DoubleLiteralExpr": return types_js_1.T_DOUBLE;
+            case "BooleanLiteralExpr": return types_js_1.T_BOOL;
+            case "NullLiteralExpr": return (0, types_js_1.nullable)(types_js_1.T_NOTHING);
+            case "StringLiteralExpr":
+            case "StringTemplateExpr": {
+                if (expr.kind === "StringTemplateExpr") {
+                    for (const p of expr.parts) {
+                        if (p.kind === "ExprPart")
+                            this.checkExpr(p.expr);
+                    }
+                }
+                return types_js_1.T_STRING;
+            }
+            case "NameExpr": {
+                const sym = this.scope.lookup(expr.name);
+                if (!sym) {
+                    // Don't error on Bibi — it's a special runtime symbol
+                    if (expr.name === "Bibi")
+                        return { tag: "func", params: [types_js_1.T_STRING], ret: (0, types_js_1.classType)("BibiClient"), suspend: false };
+                    // Unit singleton — usable as a value (e.g. LaunchedEffect(Unit))
+                    if (expr.name === "Unit")
+                        return (0, types_js_1.classType)("Unit");
+                    // Companion-like type objects (for Int.MAX_VALUE, Long.MIN_VALUE)
+                    if (expr.name === "Int")
+                        return (0, types_js_1.classType)("IntCompanion");
+                    if (expr.name === "Long")
+                        return (0, types_js_1.classType)("LongCompanion");
+                    if (expr.name === "Double" || expr.name === "Float")
+                        return (0, types_js_1.classType)("NumberCompanion");
+                    // JS builtins — allow through without error (emits as-is to TypeScript)
+                    if (globals_js_1.JS_GLOBALS.has(expr.name))
+                        return types_js_1.T_UNKNOWN;
+                    // Suppress unresolved-reference errors for names that come from a
+                    // wildcard @jalvin/* import (runtime, ui, etc.) — the type-checker
+                    // doesn't have the full symbol table for those packages.
+                    if (this.hasWildcardJalvinImport)
+                        return types_js_1.T_UNKNOWN;
+                    this.diag.error(expr.span, diagnostics_js_1.E_UNDEFINED_SYMBOL, `Unresolved reference: '${expr.name}'`);
+                    return types_js_1.T_ERROR;
+                }
+                this.scope.markUsed(expr.name);
+                if (sym.nuked !== undefined) {
+                    const reason = sym.nuked ? `: ${sym.nuked}` : "";
+                    this.diag.warning(expr.span, diagnostics_js_1.W_DEPRECATED, `'${expr.name}' is @Nuked${reason}`);
+                }
+                return sym.type;
+            }
+            case "ThisExpr": {
+                const sym = this.scope.lookup("this");
+                return sym?.type ?? types_js_1.T_ANY;
+            }
+            case "SuperExpr": return types_js_1.T_ANY;
+            case "ParenExpr": return this.checkExpr(expr.expr);
+            case "UnaryExpr": return this.checkUnary(expr);
+            case "BinaryExpr": return this.checkBinary(expr);
+            case "AssignExpr": {
+                // E0320: cannot assign to const val
+                if (expr.target.kind === "NameExpr") {
+                    const sym = this.scope.lookup(expr.target.name);
+                    if (sym && !sym.mutable) {
+                        this.diag.error(expr.span, diagnostics_js_1.E_CONST_VAL_REASSIGNMENT, `Cannot assign to 'val' '${expr.target.name}'`);
+                    }
+                }
+                this.checkExpr(expr.value);
+                this.checkExpr(expr.target);
+                return types_js_1.T_UNIT;
+            }
+            case "CompoundAssignExpr": {
+                this.checkExpr(expr.value);
+                this.checkExpr(expr.target);
+                return types_js_1.T_UNIT;
+            }
+            case "IncrDecrExpr": {
+                this.checkExpr(expr.target);
+                return types_js_1.T_UNIT;
+            }
+            case "MemberExpr": {
+                const targetType = this.checkExpr(expr.target);
+                return this.memberType(expr.span, targetType, expr.member, false);
+            }
+            case "SafeMemberExpr": {
+                const targetType = this.checkExpr(expr.target);
+                if (!(0, types_js_1.isNullable)(targetType) && targetType.tag !== "any" && targetType.tag !== "unknown") {
+                    this.diag.warning(expr.span, diagnostics_js_1.E_NOT_NULLABLE, `Safe call (?.) on non-nullable type '${this.typeToString(targetType)}'`);
+                }
+                const inner = (0, types_js_1.unwrapNullable)(targetType);
+                return (0, types_js_1.nullable)(this.memberType(expr.span, inner, expr.member, true));
+            }
+            case "IndexExpr": {
+                const targetType = this.checkExpr(expr.target);
+                this.checkExpr(expr.index);
+                // Resolve `operator fun get(index)` on user class types
+                const getRetType = this.resolveGetOperator(targetType);
+                if (getRetType !== null)
+                    return getRetType;
+                return types_js_1.T_UNKNOWN;
+            }
+            case "CallExpr": return this.checkCallExpr(expr);
+            case "SafeCallExpr": {
+                const calleeType = this.checkExpr(expr.callee);
+                for (const arg of expr.args)
+                    this.checkExpr(arg.value);
+                if (expr.trailingLambda)
+                    this.checkLambda(expr.trailingLambda);
+                const inner = (0, types_js_1.unwrapNullable)(calleeType);
+                if (inner.tag === "func")
+                    return (0, types_js_1.nullable)(inner.ret);
+                if (inner.tag === "any" || inner.tag === "unknown" || inner.tag === "error")
+                    return types_js_1.T_UNKNOWN;
+                this.diag.error(expr.span, diagnostics_js_1.E_NOT_A_FUNCTION, `Type '${this.typeToString(calleeType)}' is not callable`);
+                return types_js_1.T_ERROR;
+            }
+            case "LambdaExpr": return this.checkLambda(expr);
+            case "IfExpr": return this.checkIfExpr(expr);
+            case "WhenExpr": {
+                const subjectType = expr.subject ? this.checkExpr(expr.subject.expr) : null;
+                const branchTypes = [];
+                for (const b of expr.branches) {
+                    for (const c of b.conditions) {
+                        if (c.kind === "WhenExprCondition")
+                            this.checkExpr(c.expr);
+                        else if (c.kind === "WhenInCondition")
+                            this.checkExpr(c.expr);
+                    }
+                    branchTypes.push(b.body.kind === "Block" ? (this.checkBlock(b.body), types_js_1.T_UNIT) : this.checkExpr(b.body));
+                }
+                // Exhaustiveness: when-expr on a sealed class MUST be exhaustive
+                if (subjectType) {
+                    this.checkWhenExhaustiveness(expr.span, expr.branches, subjectType);
+                }
+                return this.unify(branchTypes);
+            }
+            case "TryCatchExpr": {
+                this.checkBlock(expr.body);
+                for (const c of expr.catches)
+                    this.checkBlock(c.body);
+                if (expr.finally)
+                    this.checkBlock(expr.finally);
+                return types_js_1.T_UNKNOWN;
+            }
+            case "TypeCheckExpr": {
+                this.checkExpr(expr.expr);
+                return types_js_1.T_BOOL;
+            }
+            case "TypeCastExpr": {
+                this.checkExpr(expr.expr);
+                return this.resolveTypeRef(expr.type);
+            }
+            case "SafeCastExpr": {
+                this.checkExpr(expr.expr);
+                return (0, types_js_1.nullable)(this.resolveTypeRef(expr.type));
+            }
+            case "NotNullExpr": {
+                const inner = this.checkExpr(expr.expr);
+                if (!(0, types_js_1.isNullable)(inner) && inner.tag !== "any" && inner.tag !== "unknown") {
+                    this.diag.warning(expr.span, diagnostics_js_1.E_NOT_NULLABLE, `Non-null assertion (!!) on non-nullable type '${this.typeToString(inner)}'`);
+                }
+                return (0, types_js_1.unwrapNullable)(inner);
+            }
+            case "ElvisExpr": {
+                const left = this.checkExpr(expr.left);
+                const right = this.checkExpr(expr.right);
+                // Result type: unwrapped left | right
+                return this.unify([(0, types_js_1.unwrapNullable)(left), right]);
+            }
+            case "RangeExpr": {
+                this.checkExpr(expr.from);
+                this.checkExpr(expr.to);
+                return (0, types_js_1.classType)("IntRange");
+            }
+            case "LaunchExpr": {
+                if (!this.inSuspend && !this.inComponent) {
+                    // launch is valid at top-level coroutine scope
+                }
+                const prevSuspend = this.inSuspend;
+                this.inSuspend = true;
+                this.checkBlock(expr.body);
+                this.inSuspend = prevSuspend;
+                return (0, types_js_1.classType)("Job");
+            }
+            case "AsyncExpr": {
+                const prevSuspend = this.inSuspend;
+                this.inSuspend = true;
+                this.checkBlock(expr.body);
+                this.inSuspend = prevSuspend;
+                return (0, types_js_1.classType)("Deferred", [types_js_1.T_UNKNOWN]);
+            }
+            case "CollectionLiteralExpr": {
+                const elemTypes = expr.elements.map((e) => {
+                    if ("kind" in e && e.kind === "MapEntry") {
+                        this.checkExpr(e.key);
+                        this.checkExpr(e.value);
+                        return types_js_1.T_UNKNOWN;
+                    }
+                    return this.checkExpr(e);
+                });
+                if (expr.collectionKind === "list")
+                    return (0, types_js_1.classType)("List", [this.unify(elemTypes)]);
+                if (expr.collectionKind === "set")
+                    return (0, types_js_1.classType)("Set", [this.unify(elemTypes)]);
+                return (0, types_js_1.classType)("Map", [types_js_1.T_UNKNOWN, types_js_1.T_UNKNOWN]);
+            }
+            case "ObjectExpr": return (0, types_js_1.classType)("<anonymous>");
+            case "ReturnExpr": {
+                if (expr.value)
+                    this.checkExpr(expr.value);
+                return types_js_1.T_NOTHING;
+            }
+            case "BreakExpr":
+            case "ContinueExpr":
+                return types_js_1.T_NOTHING;
+            default:
+                return types_js_1.T_UNKNOWN;
+        }
+    }
+    checkUnary(expr) {
+        const t = this.checkExpr(expr.operand);
+        if (expr.op === "!") {
+            this.assertAssignable(expr.span, t, types_js_1.T_BOOL);
+            return types_js_1.T_BOOL;
+        }
+        return t;
+    }
+    checkBinary(expr) {
+        const l = this.checkExpr(expr.left);
+        const r = this.checkExpr(expr.right);
+        // `in` / `!in` → resolve `contains` on the **right-hand** type
+        if (expr.op === "in" || expr.op === "!in") {
+            const containsOverload = this.resolveOperatorOverload(r, expr.op);
+            if (containsOverload) {
+                // Store with a sentinel so codegen knows this is an `in` overload
+                this.operatorOverloadMap.set(expr, expr.op === "in" ? "contains" : "!contains");
+            }
+            return types_js_1.T_BOOL;
+        }
+        // Check for operator overload on the left-hand class type
+        const overload = this.resolveOperatorOverload(l, expr.op);
+        if (overload) {
+            this.operatorOverloadMap.set(expr, overload.method);
+            return overload.retType;
+        }
+        switch (expr.op) {
+            case "==":
+            case "!=":
+            case "===":
+            case "!==": return types_js_1.T_BOOL;
+            case "<":
+            case ">":
+            case "<=":
+            case ">=": return types_js_1.T_BOOL;
+            case "&&":
+            case "||": return types_js_1.T_BOOL;
+            case "+":
+                if (l.tag === "string" || r.tag === "string")
+                    return types_js_1.T_STRING;
+                return this.numericType(l, r);
+            case "-":
+            case "*":
+            case "/":
+            case "%":
+                return this.numericType(l, r);
+            default:
+                return types_js_1.T_UNKNOWN;
+        }
+    }
+    /**
+     * If the left operand type is a class that declares an `operator fun` matching
+     * the given operator, return the method name and return type.
+     *
+     * Operator → method name mapping:
+     *   +  → plus      -  → minus    *  → times    /  → div     %  → rem
+     *   == → equals    <  → compareTo (returns Int, we normalise to Boolean)
+     *   .. → rangeTo   [] → get (handled elsewhere)
+     *   += → plusAssign, etc.
+     */
+    resolveOperatorOverload(lType, op) {
+        if (lType.tag !== "class")
+            return null;
+        const decl = lType.decl;
+        if (!decl || !decl.body)
+            return null;
+        const opToMethod = {
+            "+": "plus",
+            "-": "minus",
+            "*": "times",
+            "/": "div",
+            "%": "rem",
+            "..": "rangeTo",
+            "..<": "rangeUntil",
+            "<": "compareTo",
+            ">": "compareTo",
+            "<=": "compareTo",
+            ">=": "compareTo",
+            "in": "contains",
+            "!in": "contains",
+        };
+        const methodName = opToMethod[op];
+        if (!methodName)
+            return null;
+        for (const member of decl.body.members) {
+            if (member.kind === "FunDecl" &&
+                member.name === methodName &&
+                member.modifiers.modifiers.includes("operator")) {
+                // compareTo always resolves to Boolean (we wrap the Int result)
+                const rawRet = member.returnType
+                    ? this.resolveTypeRef(member.returnType)
+                    : types_js_1.T_UNKNOWN;
+                const retType = (methodName === "compareTo" || methodName === "contains") ? types_js_1.T_BOOL : rawRet;
+                return { method: methodName, retType };
+            }
+        }
+        return null;
+    }
+    /**
+     * Resolve `operator fun get(index)` on a class type (for index expressions).
+     */
+    resolveGetOperator(targetType) {
+        if (targetType.tag !== "class")
+            return null;
+        const decl = targetType.decl;
+        if (!decl || !decl.body)
+            return null;
+        for (const member of decl.body.members) {
+            if (member.kind === "FunDecl" &&
+                member.name === "get" &&
+                member.modifiers.modifiers.includes("operator")) {
+                return member.returnType ? this.resolveTypeRef(member.returnType) : types_js_1.T_UNKNOWN;
+            }
+        }
+        return null;
+    }
+    checkCallExpr(expr) {
+        const calleeType = this.checkExpr(expr.callee);
+        for (const arg of expr.args)
+            this.checkExpr(arg.value);
+        // If callee is a member expr, check for @Nuked on the resolved method
+        if (expr.callee.kind === "MemberExpr" || expr.callee.kind === "SafeMemberExpr") {
+            // This is handled inside memberType helper
+        }
+        // Propagate expected lambda param types for `it` implicit parameter support
+        if (expr.trailingLambda) {
+            let expectedLambdaParams;
+            if (calleeType.tag === "func" && calleeType.params.length > 0) {
+                const lastParam = calleeType.params[calleeType.params.length - 1];
+                if (lastParam.tag === "func") {
+                    expectedLambdaParams = lastParam.params;
+                }
+            }
+            this.checkLambda(expr.trailingLambda, expectedLambdaParams);
+        }
+        if (calleeType.tag === "func") {
+            if (!this.inSuspend && calleeType.suspend) {
+                this.diag.error(expr.span, diagnostics_js_1.E_SUSPEND_IN_NON_SUSPEND, "Suspend function called outside of coroutine or suspend context");
+            }
+            return calleeType.ret;
+        }
+        if (calleeType.tag === "class") {
+            // Check for `operator fun invoke(...)` on a class instance
+            if (calleeType.decl && calleeType.decl.body) {
+                for (const member of calleeType.decl.body.members) {
+                    if (member.kind === "FunDecl" &&
+                        member.name === "invoke" &&
+                        member.modifiers.modifiers.includes("operator")) {
+                        return member.returnType ? this.resolveTypeRef(member.returnType) : types_js_1.T_UNIT;
+                    }
+                }
+            }
+            // Regular constructor call
+            return calleeType;
+        }
+        if (calleeType.tag === "error" || calleeType.tag === "unknown" || calleeType.tag === "any") {
+            return types_js_1.T_UNKNOWN;
+        }
+        this.diag.error(expr.span, diagnostics_js_1.E_NOT_A_FUNCTION, `Type '${this.typeToString(calleeType)}' is not callable`);
+        return types_js_1.T_ERROR;
+    }
+    checkLambda(expr, expectedParamTypes) {
+        const childScope = new Scope(this.scope);
+        // If the lambda has no explicit params, synthesise an `it` binding.
+        // Use the expected parameter type when available, otherwise T_UNKNOWN.
+        // This ensures `it` is always resolvable in single-param lambdas.
+        if (expr.params.length === 0) {
+            const itType = (expectedParamTypes && expectedParamTypes.length === 1)
+                ? expectedParamTypes[0]
+                : types_js_1.T_UNKNOWN;
+            childScope.define({
+                name: "it",
+                type: itType,
+                mutable: false,
+                span: expr.span,
+            });
+        }
+        for (const p of expr.params) {
+            if (p.name) {
+                childScope.define({
+                    name: p.name,
+                    type: p.type ? this.resolveTypeRef(p.type) : types_js_1.T_UNKNOWN,
+                    mutable: false,
+                    span: p.span,
+                });
+            }
+        }
+        let retType = types_js_1.T_UNIT;
+        this.withScope(childScope, () => {
+            for (const stmt of expr.body) {
+                if (stmt.kind === "ExprStmt")
+                    retType = this.checkExpr(stmt.expr);
+                else
+                    this.checkStmt(stmt);
+            }
+        });
+        const paramTypes = expr.params.length > 0
+            ? expr.params.map((p) => (p.type ? this.resolveTypeRef(p.type) : types_js_1.T_UNKNOWN))
+            : (expectedParamTypes ?? [types_js_1.T_UNKNOWN]);
+        return { tag: "func", params: paramTypes, ret: retType, suspend: false };
+    }
+    checkIfExpr(expr) {
+        this.checkExpr(expr.condition);
+        // Apply smart casts in the `then` branch
+        const narrowings = this.extractSmartCasts(expr.condition);
+        const thenScope = new Scope(this.scope);
+        for (const [name, type] of narrowings) {
+            const existing = this.scope.lookup(name);
+            if (existing)
+                thenScope.define({ ...existing, type });
+        }
+        const thenType = this.withScope(thenScope, () => expr.then.kind === "Block"
+            ? (this.checkBlock(expr.then), types_js_1.T_UNIT)
+            : this.checkExpr(expr.then));
+        // Apply narrowings for the else branch (e.g. `x !is T` → else: x IS T)
+        const elseNarrowings = this.extractElseSmartCasts(expr.condition);
+        let elseType;
+        if (elseNarrowings.size > 0) {
+            const elseScope = new Scope(this.scope);
+            for (const [name, type] of elseNarrowings) {
+                const existing = this.scope.lookup(name);
+                if (existing)
+                    elseScope.define({ ...existing, type });
+            }
+            elseType = this.withScope(elseScope, () => expr.else.kind === "Block"
+                ? (this.checkBlock(expr.else), types_js_1.T_UNIT)
+                : expr.else.kind === "IfExpr"
+                    ? this.checkIfExpr(expr.else)
+                    : this.checkExpr(expr.else));
+        }
+        else {
+            elseType = expr.else.kind === "Block"
+                ? (this.checkBlock(expr.else), types_js_1.T_UNIT)
+                : expr.else.kind === "IfExpr"
+                    ? this.checkIfExpr(expr.else)
+                    : this.checkExpr(expr.else);
+        }
+        return this.unify([thenType, elseType]);
+    }
+    // ── Type resolution ────────────────────────────────────────────────────────
+    lookupType(nameParts) {
+        if (nameParts.length === 0)
+            return null;
+        const first = nameParts[0];
+        const builtin = this.builtinType(first);
+        if (builtin && nameParts.length === 1)
+            return builtin;
+        let sym = this.scope.lookup(first);
+        if (!sym)
+            return null;
+        let currentType = sym.type;
+        for (let i = 1; i < nameParts.length; i++) {
+            const part = nameParts[i];
+            if (currentType.tag === "class" && currentType.decl?.body) {
+                // Look for nested class in body
+                const nested = currentType.decl.body.members.find((m) => {
+                    const k = m.kind;
+                    return ((k === "ClassDecl" ||
+                        k === "DataClassDecl" ||
+                        k === "SealedClassDecl" ||
+                        k === "EnumClassDecl" ||
+                        k === "InterfaceDecl" ||
+                        k === "ObjectDecl") &&
+                        m.name === part);
+                });
+                if (nested) {
+                    currentType = (0, types_js_1.classType)(currentType.name + "." + part, [], nested);
+                }
+                else {
+                    return null;
+                }
+            }
+            else {
+                return null;
+            }
+        }
+        return currentType;
+    }
+    resolveTypeRef(ref) {
+        switch (ref.kind) {
+            case "NullableTypeRef":
+                return (0, types_js_1.nullable)(this.resolveTypeRef(ref.base));
+            case "SimpleTypeRef": {
+                return this.lookupType([...ref.name]) ?? (0, types_js_1.classType)(ref.name.join("."));
+            }
+            case "GenericTypeRef": {
+                const base = this.lookupType([...ref.base.name]) ?? (0, types_js_1.classType)(ref.base.name.join("."));
+                const args = ref.args.map((a) => a.star ? types_js_1.T_ANY : a.type ? this.resolveTypeRef(a.type) : types_js_1.T_UNKNOWN);
+                if (base.tag === "class")
+                    return { ...base, typeArgs: args };
+                return base;
+            }
+            case "FunctionTypeRef": {
+                const params = ref.params.map((p) => this.resolveTypeRef(p));
+                const ret = this.resolveTypeRef(ref.returnType);
+                return { tag: "func", params, ret, suspend: false };
+            }
+            case "StarProjection":
+                return types_js_1.T_ANY;
+        }
+    }
+    builtinType(name) {
+        switch (name) {
+            case "Int": return types_js_1.T_INT;
+            case "Long": return types_js_1.T_LONG;
+            case "Float": return types_js_1.T_FLOAT;
+            case "Double": return types_js_1.T_DOUBLE;
+            case "Boolean": return types_js_1.T_BOOL;
+            case "String": return types_js_1.T_STRING;
+            case "Char": return types_js_1.T_CHAR;
+            case "Unit": return types_js_1.T_UNIT;
+            case "Any": return types_js_1.T_ANY;
+            case "Nothing": return types_js_1.T_NOTHING;
+            default: return null;
+        }
+    }
+    // ── Helpers ────────────────────────────────────────────────────────────────
+    memberType(span, targetType, member, safe) {
+        if (targetType.tag === "error" || targetType.tag === "unknown" || targetType.tag === "any") {
+            return types_js_1.T_UNKNOWN;
+        }
+        if (targetType.tag === "nullable" && !safe) {
+            this.diag.error(span, diagnostics_js_1.E_UNSAFE_NULL_DEREFERENCE, `Unsafe member access on nullable type '${this.typeToString(targetType)}'. Use ?. instead.`);
+            return types_js_1.T_UNKNOWN;
+        }
+        // Known stdlib members
+        if (targetType.tag === "string") {
+            const str = types_js_1.T_STRING;
+            const bool = types_js_1.T_BOOL;
+            const int = types_js_1.T_INT;
+            const strList = (0, types_js_1.classType)("List", [str]);
+            const f = (params, ret) => ({ tag: "func", params, ret, suspend: false });
+            switch (member) {
+                // properties
+                case "length": return int;
+                case "indices": return (0, types_js_1.classType)("IntRange");
+                case "lastIndex": return int;
+                // no-arg → String
+                case "uppercase":
+                case "lowercase":
+                case "trim":
+                case "trimStart":
+                case "trimEnd":
+                case "reversed":
+                case "trimIndent":
+                case "toUpperCase":
+                case "toLowerCase": // Java aliases
+                    return f([], str);
+                // no-arg → Boolean
+                case "isEmpty":
+                case "isNotEmpty":
+                case "isBlank":
+                case "isNotBlank":
+                    return f([], bool);
+                // String → Boolean
+                case "startsWith":
+                case "endsWith":
+                case "contains":
+                    return f([str], bool);
+                // (String) → String
+                case "removePrefix":
+                case "removeSuffix":
+                    return f([str], str);
+                // (String) → String
+                case "substringBefore":
+                case "substringAfter":
+                case "substringBeforeLast":
+                case "substringAfterLast":
+                    return f([str], str);
+                // (Int, Int) → String
+                case "substring": return f([int, int], str);
+                // (String, String) → String
+                case "replace": return f([str, str], str);
+                // (String) → List<String>
+                case "split": return f([str], strList);
+                // → List<String>
+                case "lines": return f([], strList);
+                // (Int) → String
+                case "repeat": return f([int], str);
+                case "padStart":
+                case "padEnd": return f([int, str], str);
+                // conversions
+                case "toInt": return f([], int);
+                case "toIntOrNull": return f([], (0, types_js_1.nullable)(int));
+                case "toDouble": return f([], types_js_1.T_DOUBLE);
+                case "toDoubleOrNull": return f([], (0, types_js_1.nullable)(types_js_1.T_DOUBLE));
+                case "toLong": return f([], types_js_1.T_LONG);
+                case "toFloat": return f([], types_js_1.T_FLOAT);
+                case "toBoolean": return f([], bool);
+                case "toBooleanOrNull": return f([], (0, types_js_1.nullable)(bool));
+                case "toCharArray": return f([], (0, types_js_1.classType)("CharArray"));
+                // (Int) → Char
+                case "get": return f([int], types_js_1.T_CHAR);
+                // (String) → Boolean
+                case "matches": return f([(0, types_js_1.classType)("Regex")], bool);
+                // () → String
+                case "capitalize":
+                case "decapitalize": return f([], str);
+                // (Int) → String
+                case "first":
+                case "last": return f([], types_js_1.T_CHAR);
+                case "firstOrNull":
+                case "lastOrNull": return f([], (0, types_js_1.nullable)(types_js_1.T_CHAR));
+                case "take":
+                case "drop": return f([int], str);
+                case "takeLast":
+                case "dropLast": return f([int], str);
+                // compareTo, ifEmpty, ifBlank
+                case "compareTo": return f([str], int);
+                case "ifEmpty":
+                case "ifBlank": return f([{ tag: "func", params: [], ret: str, suspend: false }], str);
+                default: return types_js_1.T_UNKNOWN;
+            }
+        }
+        // Numeric member types (Int, Long, Float, Double, Char)
+        const isNumeric = targetType.tag === "int" || targetType.tag === "long" ||
+            targetType.tag === "float" || targetType.tag === "double";
+        if (isNumeric) {
+            const f = (params, ret) => ({ tag: "func", params, ret, suspend: false });
+            switch (member) {
+                case "coerceAtLeast":
+                case "coerceAtMost": return f([targetType], targetType);
+                case "coerceIn": return f([targetType, targetType], targetType);
+                case "toInt": return f([], types_js_1.T_INT);
+                case "toLong": return f([], types_js_1.T_LONG);
+                case "toFloat": return f([], types_js_1.T_FLOAT);
+                case "toDouble": return f([], types_js_1.T_DOUBLE);
+                case "toString": return f([], types_js_1.T_STRING);
+                case "compareTo": return f([targetType], types_js_1.T_INT);
+                case "plus":
+                case "minus":
+                case "times":
+                case "div":
+                case "rem":
+                    return f([targetType], targetType);
+                case "unaryMinus":
+                case "unaryPlus": return f([], targetType);
+                case "inc":
+                case "dec": return f([], targetType);
+                case "downTo": return f([targetType], (0, types_js_1.classType)("IntRange"));
+                case "until": return f([targetType], (0, types_js_1.classType)("IntRange"));
+                case "step": return f([types_js_1.T_INT], (0, types_js_1.classType)("IntRange"));
+                default: return types_js_1.T_UNKNOWN;
+            }
+        }
+        // Collection/List member types
+        if (targetType.tag === "class" &&
+            (targetType.name === "List" || targetType.name === "MutableList" ||
+                targetType.name === "Set" || targetType.name === "MutableSet")) {
+            const elemType = targetType.typeArgs[0] ?? types_js_1.T_UNKNOWN;
+            const f = (params, ret) => ({ tag: "func", params, ret, suspend: false });
+            const predFn = { tag: "func", params: [elemType], ret: types_js_1.T_BOOL, suspend: false };
+            switch (member) {
+                case "size": return types_js_1.T_INT;
+                case "isEmpty":
+                case "isNotEmpty": return f([], types_js_1.T_BOOL);
+                case "contains": return f([elemType], types_js_1.T_BOOL);
+                case "containsAll": return f([(0, types_js_1.classType)("List", [elemType])], types_js_1.T_BOOL);
+                case "get": return f([types_js_1.T_INT], elemType);
+                case "first": return f([predFn], elemType);
+                case "last": return f([predFn], elemType);
+                case "firstOrNull": return f([predFn], (0, types_js_1.nullable)(elemType));
+                case "lastOrNull": return f([predFn], (0, types_js_1.nullable)(elemType));
+                case "find":
+                case "findLast": return f([predFn], (0, types_js_1.nullable)(elemType));
+                case "indexOf":
+                case "lastIndexOf": return f([elemType], types_js_1.T_INT);
+                case "indexOfFirst":
+                case "indexOfLast": return f([predFn], types_js_1.T_INT);
+                case "filter":
+                case "filterNot": return f([predFn], (0, types_js_1.classType)("List", [elemType]));
+                case "filterNotNull": return f([], (0, types_js_1.classType)("List", [types_js_1.T_UNKNOWN]));
+                case "filterIsInstance": return f([], (0, types_js_1.classType)("List", [types_js_1.T_UNKNOWN]));
+                case "map": return { tag: "func", params: [{ tag: "func", params: [elemType], ret: types_js_1.T_UNKNOWN, suspend: false }], ret: (0, types_js_1.classType)("List", [types_js_1.T_UNKNOWN]), suspend: false };
+                case "mapNotNull": return { tag: "func", params: [{ tag: "func", params: [elemType], ret: (0, types_js_1.nullable)(types_js_1.T_UNKNOWN), suspend: false }], ret: (0, types_js_1.classType)("List", [types_js_1.T_UNKNOWN]), suspend: false };
+                case "mapIndexed": return { tag: "func", params: [{ tag: "func", params: [types_js_1.T_INT, elemType], ret: types_js_1.T_UNKNOWN, suspend: false }], ret: (0, types_js_1.classType)("List", [types_js_1.T_UNKNOWN]), suspend: false };
+                case "forEach": return f([{ tag: "func", params: [elemType], ret: types_js_1.T_UNIT, suspend: false }], types_js_1.T_UNIT);
+                case "forEachIndexed": return f([{ tag: "func", params: [types_js_1.T_INT, elemType], ret: types_js_1.T_UNIT, suspend: false }], types_js_1.T_UNIT);
+                case "any":
+                case "all":
+                case "none": return f([predFn], types_js_1.T_BOOL);
+                case "count": return f([predFn], types_js_1.T_INT);
+                case "sumOf": return { tag: "func", params: [{ tag: "func", params: [elemType], ret: types_js_1.T_DOUBLE, suspend: false }], ret: types_js_1.T_DOUBLE, suspend: false };
+                case "minOf": return { tag: "func", params: [{ tag: "func", params: [elemType], ret: types_js_1.T_DOUBLE, suspend: false }], ret: types_js_1.T_DOUBLE, suspend: false };
+                case "maxOf": return { tag: "func", params: [{ tag: "func", params: [elemType], ret: types_js_1.T_DOUBLE, suspend: false }], ret: types_js_1.T_DOUBLE, suspend: false };
+                case "minOrNull": return f([], (0, types_js_1.nullable)(elemType));
+                case "maxOrNull": return f([], (0, types_js_1.nullable)(elemType));
+                case "minByOrNull":
+                case "maxByOrNull": return { tag: "func", params: [{ tag: "func", params: [elemType], ret: types_js_1.T_UNKNOWN, suspend: false }], ret: (0, types_js_1.nullable)(elemType), suspend: false };
+                case "joinToString": return f([types_js_1.T_STRING, types_js_1.T_STRING, types_js_1.T_STRING], types_js_1.T_STRING);
+                case "sortedBy":
+                case "sortedByDescending": return { tag: "func", params: [{ tag: "func", params: [elemType], ret: types_js_1.T_UNKNOWN, suspend: false }], ret: (0, types_js_1.classType)("List", [elemType]), suspend: false };
+                case "sortedWith": return f([types_js_1.T_UNKNOWN], (0, types_js_1.classType)("List", [elemType]));
+                case "reversed": return f([], (0, types_js_1.classType)("List", [elemType]));
+                case "distinct": return f([], (0, types_js_1.classType)("List", [elemType]));
+                case "distinctBy": return { tag: "func", params: [{ tag: "func", params: [elemType], ret: types_js_1.T_UNKNOWN, suspend: false }], ret: (0, types_js_1.classType)("List", [elemType]), suspend: false };
+                case "flatten": return f([], (0, types_js_1.classType)("List", [types_js_1.T_UNKNOWN]));
+                case "flatMap": return { tag: "func", params: [{ tag: "func", params: [elemType], ret: (0, types_js_1.classType)("List", [types_js_1.T_UNKNOWN]), suspend: false }], ret: (0, types_js_1.classType)("List", [types_js_1.T_UNKNOWN]), suspend: false };
+                case "fold": return { tag: "func", params: [types_js_1.T_UNKNOWN, { tag: "func", params: [types_js_1.T_UNKNOWN, elemType], ret: types_js_1.T_UNKNOWN, suspend: false }], ret: types_js_1.T_UNKNOWN, suspend: false };
+                case "reduce": return { tag: "func", params: [{ tag: "func", params: [elemType, elemType], ret: elemType, suspend: false }], ret: elemType, suspend: false };
+                case "groupBy": return { tag: "func", params: [{ tag: "func", params: [elemType], ret: types_js_1.T_UNKNOWN, suspend: false }], ret: (0, types_js_1.classType)("Map", [types_js_1.T_UNKNOWN, (0, types_js_1.classType)("List", [elemType])]), suspend: false };
+                case "associate": return { tag: "func", params: [{ tag: "func", params: [elemType], ret: (0, types_js_1.classType)("Pair", [types_js_1.T_UNKNOWN, types_js_1.T_UNKNOWN]), suspend: false }], ret: (0, types_js_1.classType)("Map", [types_js_1.T_UNKNOWN, types_js_1.T_UNKNOWN]), suspend: false };
+                case "associateBy": return { tag: "func", params: [{ tag: "func", params: [elemType], ret: types_js_1.T_UNKNOWN, suspend: false }], ret: (0, types_js_1.classType)("Map", [types_js_1.T_UNKNOWN, elemType]), suspend: false };
+                case "associateWith": return { tag: "func", params: [{ tag: "func", params: [elemType], ret: types_js_1.T_UNKNOWN, suspend: false }], ret: (0, types_js_1.classType)("Map", [elemType, types_js_1.T_UNKNOWN]), suspend: false };
+                case "partition": return f([predFn], (0, types_js_1.classType)("Pair", [(0, types_js_1.classType)("List", [elemType]), (0, types_js_1.classType)("List", [elemType])]));
+                case "zip": return { tag: "func", params: [(0, types_js_1.classType)("List", [types_js_1.T_UNKNOWN])], ret: (0, types_js_1.classType)("List", [(0, types_js_1.classType)("Pair", [elemType, types_js_1.T_UNKNOWN])]), suspend: false };
+                case "zipWithNext": return f([], (0, types_js_1.classType)("List", [(0, types_js_1.classType)("Pair", [elemType, elemType])]));
+                case "take": return f([types_js_1.T_INT], (0, types_js_1.classType)("List", [elemType]));
+                case "takeLast": return f([types_js_1.T_INT], (0, types_js_1.classType)("List", [elemType]));
+                case "takeWhile": return f([predFn], (0, types_js_1.classType)("List", [elemType]));
+                case "drop": return f([types_js_1.T_INT], (0, types_js_1.classType)("List", [elemType]));
+                case "dropLast": return f([types_js_1.T_INT], (0, types_js_1.classType)("List", [elemType]));
+                case "dropWhile": return f([predFn], (0, types_js_1.classType)("List", [elemType]));
+                case "chunked": return f([types_js_1.T_INT], (0, types_js_1.classType)("List", [(0, types_js_1.classType)("List", [elemType])]));
+                case "windowed": return f([types_js_1.T_INT], (0, types_js_1.classType)("List", [(0, types_js_1.classType)("List", [elemType])]));
+                case "toList": return f([], (0, types_js_1.classType)("List", [elemType]));
+                case "toSet": return f([], (0, types_js_1.classType)("Set", [elemType]));
+                case "toMutableList": return f([], (0, types_js_1.classType)("MutableList", [elemType]));
+                case "toMutableSet": return f([], (0, types_js_1.classType)("MutableSet", [elemType]));
+                case "withIndex": return f([], (0, types_js_1.classType)("List", [(0, types_js_1.classType)("IndexedValue", [elemType])]));
+                case "onEach": return f([{ tag: "func", params: [elemType], ret: types_js_1.T_UNIT, suspend: false }], (0, types_js_1.classType)("List", [elemType]));
+                case "plus": return f([(0, types_js_1.classType)("List", [elemType])], (0, types_js_1.classType)("List", [elemType]));
+                case "minus": return f([elemType], (0, types_js_1.classType)("List", [elemType]));
+                case "intersect": return f([(0, types_js_1.classType)("Set", [elemType])], (0, types_js_1.classType)("Set", [elemType]));
+                case "union": return f([(0, types_js_1.classType)("Set", [elemType])], (0, types_js_1.classType)("Set", [elemType]));
+                case "subtract": return f([(0, types_js_1.classType)("Set", [elemType])], (0, types_js_1.classType)("Set", [elemType]));
+                // MutableList/MutableSet only
+                case "add": return f([elemType], types_js_1.T_BOOL);
+                case "remove": return f([elemType], types_js_1.T_BOOL);
+                case "removeIf": return f([predFn], types_js_1.T_BOOL);
+                case "addAll": return f([(0, types_js_1.classType)("List", [elemType])], types_js_1.T_BOOL);
+                case "removeAll": return f([(0, types_js_1.classType)("List", [elemType])], types_js_1.T_BOOL);
+                case "set": return f([types_js_1.T_INT, elemType], elemType);
+                case "clear":
+                case "shuffle":
+                case "sort": return f([], types_js_1.T_UNIT);
+                case "sortBy": return f([{ tag: "func", params: [elemType], ret: types_js_1.T_UNKNOWN, suspend: false }], types_js_1.T_UNIT);
+                default: return types_js_1.T_UNKNOWN;
+            }
+        }
+        // Map member types
+        if (targetType.tag === "class" &&
+            (targetType.name === "Map" || targetType.name === "MutableMap")) {
+            const keyType = targetType.typeArgs[0] ?? types_js_1.T_UNKNOWN;
+            const valueType = targetType.typeArgs[1] ?? types_js_1.T_UNKNOWN;
+            const f = (params, ret) => ({ tag: "func", params, ret, suspend: false });
+            switch (member) {
+                case "size": return types_js_1.T_INT;
+                case "isEmpty":
+                case "isNotEmpty": return f([], types_js_1.T_BOOL);
+                case "keys": return (0, types_js_1.classType)("Set", [keyType]);
+                case "values": return (0, types_js_1.classType)("Collection", [valueType]);
+                case "entries": return (0, types_js_1.classType)("Set", [(0, types_js_1.classType)("MapEntry", [keyType, valueType])]);
+                case "get": return f([keyType], (0, types_js_1.nullable)(valueType));
+                case "containsKey": return f([keyType], types_js_1.T_BOOL);
+                case "containsValue": return f([valueType], types_js_1.T_BOOL);
+                case "getOrDefault": return f([keyType, valueType], valueType);
+                // MutableMap only
+                case "put": return f([keyType, valueType], (0, types_js_1.nullable)(valueType));
+                case "remove": return f([keyType], (0, types_js_1.nullable)(valueType));
+                case "putAll": return f([(0, types_js_1.classType)("Map", [keyType, valueType])], types_js_1.T_UNIT);
+                case "clear": return f([], types_js_1.T_UNIT);
+                default: return types_js_1.T_UNKNOWN;
+            }
+        }
+        // IntRange members
+        if (targetType.tag === "class" && targetType.name === "IntRange") {
+            const f = (params, ret) => ({ tag: "func", params, ret, suspend: false });
+            switch (member) {
+                case "start":
+                case "endInclusive":
+                case "stepSize": return types_js_1.T_INT;
+                case "first":
+                case "last":
+                case "count": return f([], types_js_1.T_INT);
+                case "isEmpty": return f([], types_js_1.T_BOOL);
+                case "contains": return f([types_js_1.T_INT], types_js_1.T_BOOL);
+                case "step": return f([types_js_1.T_INT], (0, types_js_1.classType)("IntRange"));
+                case "toList": return f([], (0, types_js_1.classType)("List", [types_js_1.T_INT]));
+                case "toString": return f([], types_js_1.T_STRING);
+                default: return types_js_1.T_UNKNOWN;
+            }
+        }
+        // Result<T> members
+        if (targetType.tag === "class" && targetType.name === "Result") {
+            const inner = targetType.typeArgs[0] ?? types_js_1.T_UNKNOWN;
+            const f = (params, ret) => ({ tag: "func", params, ret, suspend: false });
+            switch (member) {
+                case "isSuccess":
+                case "isFailure": return types_js_1.T_BOOL;
+                case "getOrNull": return f([], (0, types_js_1.nullable)(inner));
+                case "getOrUndefined": return f([], (0, types_js_1.nullable)(inner));
+                case "getOrThrow": return f([], inner);
+                case "getOrDefault": return f([inner], inner);
+                case "getOrElse": return f([{ tag: "func", params: [types_js_1.T_ANY], ret: inner, suspend: false }], inner);
+                case "exceptionOrNull": return f([], (0, types_js_1.nullable)(types_js_1.T_ANY));
+                case "map": return { tag: "func", params: [{ tag: "func", params: [inner], ret: types_js_1.T_UNKNOWN, suspend: false }], ret: (0, types_js_1.classType)("Result", [types_js_1.T_UNKNOWN]), suspend: false };
+                case "mapCatching": return { tag: "func", params: [{ tag: "func", params: [inner], ret: types_js_1.T_UNKNOWN, suspend: false }], ret: (0, types_js_1.classType)("Result", [types_js_1.T_UNKNOWN]), suspend: false };
+                case "recover": return f([{ tag: "func", params: [types_js_1.T_ANY], ret: inner, suspend: false }], (0, types_js_1.classType)("Result", [inner]));
+                case "onSuccess":
+                case "onFailure": return f([{ tag: "func", params: [types_js_1.T_ANY], ret: types_js_1.T_UNIT, suspend: false }], (0, types_js_1.classType)("Result", [inner]));
+                case "fold": return { tag: "func", params: [{ tag: "func", params: [inner], ret: types_js_1.T_UNKNOWN, suspend: false }, { tag: "func", params: [types_js_1.T_ANY], ret: types_js_1.T_UNKNOWN, suspend: false }], ret: types_js_1.T_UNKNOWN, suspend: false };
+                default: return types_js_1.T_UNKNOWN;
+            }
+        }
+        // Regex members
+        if (targetType.tag === "class" && targetType.name === "Regex") {
+            const f = (params, ret) => ({ tag: "func", params, ret, suspend: false });
+            const regexResult = (0, types_js_1.classType)("RegexResult");
+            switch (member) {
+                case "matches":
+                case "containsMatchIn": return f([types_js_1.T_STRING], types_js_1.T_BOOL);
+                case "find": return f([types_js_1.T_STRING], (0, types_js_1.nullable)(regexResult));
+                case "findAll": return f([types_js_1.T_STRING], (0, types_js_1.classType)("List", [regexResult]));
+                case "replace": return f([types_js_1.T_STRING, types_js_1.T_STRING], types_js_1.T_STRING);
+                case "replaceFirst": return f([types_js_1.T_STRING, types_js_1.T_STRING], types_js_1.T_STRING);
+                case "split": return f([types_js_1.T_STRING], (0, types_js_1.classType)("List", [types_js_1.T_STRING]));
+                case "toPattern": return f([], types_js_1.T_STRING);
+                default: return types_js_1.T_UNKNOWN;
+            }
+        }
+        // StringBuilder members
+        if (targetType.tag === "class" && targetType.name === "StringBuilder") {
+            const f = (params, ret) => ({ tag: "func", params, ret, suspend: false });
+            const self = targetType;
+            switch (member) {
+                case "length": return types_js_1.T_INT;
+                case "append":
+                case "appendLine":
+                case "prepend": return f([types_js_1.T_ANY], self);
+                case "clear": return f([], self);
+                case "isEmpty":
+                case "isNotEmpty": return f([], types_js_1.T_BOOL);
+                case "toString": return f([], types_js_1.T_STRING);
+                default: return types_js_1.T_UNKNOWN;
+            }
+        }
+        // Int companion — Int.MAX_VALUE, Int.MIN_VALUE
+        if (targetType.tag === "class" && targetType.name === "IntCompanion") {
+            switch (member) {
+                case "MAX_VALUE": return types_js_1.T_INT;
+                case "MIN_VALUE": return types_js_1.T_INT;
+                case "SIZE_BITS":
+                case "SIZE_BYTES": return types_js_1.T_INT;
+                default: return types_js_1.T_UNKNOWN;
+            }
+        }
+        // Long companion — Long.MAX_VALUE, Long.MIN_VALUE
+        if (targetType.tag === "class" && targetType.name === "LongCompanion") {
+            switch (member) {
+                case "MAX_VALUE": return types_js_1.T_LONG;
+                case "MIN_VALUE": return types_js_1.T_LONG;
+                case "SIZE_BITS":
+                case "SIZE_BYTES": return types_js_1.T_INT;
+                default: return types_js_1.T_UNKNOWN;
+            }
+        }
+        // Double / Float companion
+        if (targetType.tag === "class" && targetType.name === "NumberCompanion") {
+            switch (member) {
+                case "MAX_VALUE":
+                case "MIN_VALUE":
+                case "POSITIVE_INFINITY":
+                case "NEGATIVE_INFINITY":
+                case "NaN": return types_js_1.T_DOUBLE;
+                default: return types_js_1.T_UNKNOWN;
+            }
+        }
+        // MutableStateFlow<T> / StateFlow<T> members
+        if (targetType.tag === "class" &&
+            (targetType.name === "MutableStateFlow" || targetType.name === "StateFlow")) {
+            const inner = targetType.typeArgs[0] ?? types_js_1.T_UNKNOWN;
+            const f = (params, ret) => ({ tag: "func", params, ret, suspend: false });
+            switch (member) {
+                case "value": return inner;
+                case "update": return f([{ tag: "func", params: [inner], ret: inner, suspend: false }], types_js_1.T_UNIT);
+                case "collect": return f([{ tag: "func", params: [inner], ret: types_js_1.T_UNIT, suspend: false }], types_js_1.T_UNIT);
+                case "emit": return f([inner], types_js_1.T_UNIT);
+                case "tryEmit": return f([inner], types_js_1.T_BOOL);
+                case "asStateFlow": return f([], (0, types_js_1.classType)("StateFlow", [inner]));
+                case "compareAndSet": return f([inner, inner], types_js_1.T_BOOL);
+                case "map": return { tag: "func", params: [{ tag: "func", params: [inner], ret: types_js_1.T_UNKNOWN, suspend: false }], ret: (0, types_js_1.classType)("Flow", [types_js_1.T_UNKNOWN]), suspend: false };
+                case "filter": return f([{ tag: "func", params: [inner], ret: types_js_1.T_BOOL, suspend: false }], (0, types_js_1.classType)("Flow", [inner]));
+                default: return types_js_1.T_UNKNOWN;
+            }
+        }
+        // Flow<T> members
+        if (targetType.tag === "class" && targetType.name === "Flow") {
+            const inner = targetType.typeArgs[0] ?? types_js_1.T_UNKNOWN;
+            const f = (params, ret) => ({ tag: "func", params, ret, suspend: false });
+            switch (member) {
+                case "collect": return f([{ tag: "func", params: [inner], ret: types_js_1.T_UNIT, suspend: false }], types_js_1.T_UNIT);
+                case "map": return { tag: "func", params: [{ tag: "func", params: [inner], ret: types_js_1.T_UNKNOWN, suspend: false }], ret: (0, types_js_1.classType)("Flow", [types_js_1.T_UNKNOWN]), suspend: false };
+                case "filter": return f([{ tag: "func", params: [inner], ret: types_js_1.T_BOOL, suspend: false }], (0, types_js_1.classType)("Flow", [inner]));
+                case "onEach": return f([{ tag: "func", params: [inner], ret: types_js_1.T_UNIT, suspend: false }], (0, types_js_1.classType)("Flow", [inner]));
+                case "take": return f([types_js_1.T_INT], (0, types_js_1.classType)("Flow", [inner]));
+                case "drop": return f([types_js_1.T_INT], (0, types_js_1.classType)("Flow", [inner]));
+                case "debounce": return f([types_js_1.T_LONG], (0, types_js_1.classType)("Flow", [inner]));
+                default: return types_js_1.T_UNKNOWN;
+            }
+        }
+        // Deferred<T> members (async {})
+        if (targetType.tag === "class" && targetType.name === "Deferred") {
+            const inner = targetType.typeArgs[0] ?? types_js_1.T_UNKNOWN;
+            const f = (params, ret) => ({ tag: "func", params, ret, suspend: false });
+            switch (member) {
+                case "await": return { tag: "func", params: [], ret: inner, suspend: true };
+                case "isCompleted":
+                case "isCancelled":
+                case "isActive": return types_js_1.T_BOOL;
+                case "cancel": return f([], types_js_1.T_UNIT);
+                case "getCompleted": return f([], inner);
+                default: return types_js_1.T_UNKNOWN;
+            }
+        }
+        // Job members (launch {})
+        if (targetType.tag === "class" && targetType.name === "Job") {
+            const f = (params, ret) => ({ tag: "func", params, ret, suspend: false });
+            switch (member) {
+                case "isCompleted":
+                case "isCancelled":
+                case "isActive": return types_js_1.T_BOOL;
+                case "cancel": return f([], types_js_1.T_UNIT);
+                case "join": return { tag: "func", params: [], ret: types_js_1.T_UNIT, suspend: true };
+                default: return types_js_1.T_UNKNOWN;
+            }
+        }
+        // ViewModel members
+        if (targetType.tag === "class" && targetType.name === "ViewModel") {
+            const f = (params, ret) => ({ tag: "func", params, ret, suspend: false });
+            switch (member) {
+                case "onCleared": return f([], types_js_1.T_UNIT);
+                case "viewModelScope": return (0, types_js_1.classType)("CoroutineScope");
+                default: return types_js_1.T_UNKNOWN;
+            }
+        }
+        // CoroutineScope members
+        if (targetType.tag === "class" && targetType.name === "CoroutineScope") {
+            const f = (params, ret) => ({ tag: "func", params, ret, suspend: false });
+            switch (member) {
+                case "launch": return f([{ tag: "func", params: [], ret: types_js_1.T_UNIT, suspend: true }], (0, types_js_1.classType)("Job"));
+                case "cancel": return f([], types_js_1.T_UNIT);
+                case "isActive": return types_js_1.T_BOOL;
+                default: return types_js_1.T_UNKNOWN;
+            }
+        }
+        // User class member lookup
+        if (targetType.tag === "class" && targetType.decl && targetType.decl.body) {
+            // Data class copy()
+            if (member === "copy" && targetType.decl.kind === "DataClassDecl") {
+                const params = targetType.decl.primaryConstructor.params.map(p => this.resolveTypeRef(p.type));
+                const paramNames = targetType.decl.primaryConstructor.params.map(p => p.name);
+                return { tag: "func", params, paramNames, ret: targetType, suspend: false };
+            }
+            for (const m of targetType.decl.body.members) {
+                if (m.kind === "FunDecl" && m.name === member) {
+                    return this.funDeclType(m);
+                }
+                if (m.kind === "PropertyDecl" && m.name === member) {
+                    if (m.type)
+                        return this.resolveTypeRef(m.type);
+                    // Infer type from delegate (e.g. `val x by lazy { expr }`)
+                    if (m.delegate)
+                        return this.inferDelegateType(m.delegate);
+                    // Infer type from initializer
+                    if (m.initializer)
+                        return this.checkExpr(m.initializer);
+                    return types_js_1.T_UNKNOWN;
+                }
+                // Nested ObjectDecl (singleton) — return the singleton type
+                if ((m.kind === "ObjectDecl") && m.name === member) {
+                    return (0, types_js_1.classType)(m.name);
+                }
+                // Nested DataClassDecl or ClassDecl — return as a callable constructor type
+                if ((m.kind === "DataClassDecl" || m.kind === "ClassDecl") && m.name === member) {
+                    return (0, types_js_1.classType)(m.name, [], m);
+                }
+                // Nested EnumClassDecl — return as class type
+                if (m.kind === "EnumClassDecl" && m.name === member) {
+                    return (0, types_js_1.classType)(m.name, [], m);
+                }
+                // CompanionObject — return its type (for class.companion syntax)
+                if (m.kind === "CompanionObject" && (member === "companion" || member === "Companion")) {
+                    return (0, types_js_1.classType)(`${targetType.name}.Companion`);
+                }
+            }
+        }
+        // Bibi HTTP client member types
+        if (targetType.tag === "class" && targetType.name === "Bibi") {
+            const f = (params, ret) => ({ tag: "func", params, ret, suspend: true });
+            const responseType = (0, types_js_1.classType)("BibiResponse", [types_js_1.T_UNKNOWN]);
+            switch (member) {
+                case "get":
+                case "delete":
+                case "head":
+                    return f([types_js_1.T_STRING], responseType);
+                case "post":
+                case "put":
+                case "patch":
+                    return f([types_js_1.T_STRING, types_js_1.T_ANY], responseType);
+                case "timeout":
+                case "headers":
+                case "bearer":
+                case "baseUrl":
+                    return f([types_js_1.T_ANY], (0, types_js_1.classType)("Bibi"));
+                default: return types_js_1.T_UNKNOWN;
+            }
+        }
+        // BibiResponse members
+        if (targetType.tag === "class" && targetType.name === "BibiResponse") {
+            const f = (params, ret) => ({ tag: "func", params, ret, suspend: false });
+            switch (member) {
+                case "body": return f([], types_js_1.T_UNKNOWN);
+                case "status": return types_js_1.T_INT;
+                case "headers": return (0, types_js_1.classType)("Map", [types_js_1.T_STRING, types_js_1.T_STRING]);
+                case "ok": return types_js_1.T_BOOL;
+                default: return types_js_1.T_UNKNOWN;
+            }
+        }
+        // Dispatchers — static-like singleton with fields
+        if (targetType.tag === "class" && targetType.name === "Dispatchers") {
+            switch (member) {
+                case "IO":
+                case "Main":
+                case "Default":
+                case "Unconfined":
+                    return (0, types_js_1.classType)("CoroutineDispatcher");
+                default: return types_js_1.T_UNKNOWN;
+            }
+        }
+        // Pair<A, B> members
+        if (targetType.tag === "class" && targetType.name === "Pair") {
+            const a = targetType.typeArgs[0] ?? types_js_1.T_UNKNOWN;
+            const b = targetType.typeArgs[1] ?? types_js_1.T_UNKNOWN;
+            const f = (params, ret) => ({ tag: "func", params, ret, suspend: false });
+            switch (member) {
+                case "first": return a;
+                case "second": return b;
+                case "component1": return f([], a);
+                case "component2": return f([], b);
+                case "toList": return f([], (0, types_js_1.classType)("List", [types_js_1.T_UNKNOWN]));
+                case "toString": return f([], types_js_1.T_STRING);
+                default: return types_js_1.T_UNKNOWN;
+            }
+        }
+        // Triple<A, B, C> members
+        if (targetType.tag === "class" && targetType.name === "Triple") {
+            const a = targetType.typeArgs[0] ?? types_js_1.T_UNKNOWN;
+            const b = targetType.typeArgs[1] ?? types_js_1.T_UNKNOWN;
+            const c = targetType.typeArgs[2] ?? types_js_1.T_UNKNOWN;
+            const f = (params, ret) => ({ tag: "func", params, ret, suspend: false });
+            switch (member) {
+                case "first": return a;
+                case "second": return b;
+                case "third": return c;
+                case "component1": return f([], a);
+                case "component2": return f([], b);
+                case "component3": return f([], c);
+                case "toList": return f([], (0, types_js_1.classType)("List", [types_js_1.T_UNKNOWN]));
+                case "toString": return f([], types_js_1.T_STRING);
+                default: return types_js_1.T_UNKNOWN;
+            }
+        }
+        // Random<T> members
+        if (targetType.tag === "class" && targetType.name === "Random") {
+            const f = (params, ret) => ({ tag: "func", params, ret, suspend: false });
+            switch (member) {
+                case "nextInt": return f([types_js_1.T_INT, types_js_1.T_INT], types_js_1.T_INT);
+                case "nextLong": return f([], types_js_1.T_LONG);
+                case "nextFloat": return f([], types_js_1.T_FLOAT);
+                case "nextDouble": return f([], types_js_1.T_DOUBLE);
+                case "nextBoolean": return f([], types_js_1.T_BOOL);
+                case "nextBytes": return f([types_js_1.T_INT], (0, types_js_1.classType)("ByteArray"));
+                default: return types_js_1.T_UNKNOWN;
+            }
+        }
+        // Scope functions available on any type
+        {
+            const f = (params, ret) => ({ tag: "func", params, ret, suspend: false });
+            const predFn = { tag: "func", params: [targetType], ret: types_js_1.T_BOOL, suspend: false };
+            switch (member) {
+                case "let":
+                    return f([{ tag: "func", params: [targetType], ret: types_js_1.T_UNKNOWN, suspend: false }], types_js_1.T_UNKNOWN);
+                case "also":
+                    return f([{ tag: "func", params: [targetType], ret: types_js_1.T_UNIT, suspend: false }], targetType);
+                case "apply":
+                    return f([{ tag: "func", params: [], ret: types_js_1.T_UNIT, suspend: false }], targetType);
+                case "run":
+                    return f([{ tag: "func", params: [], ret: types_js_1.T_UNKNOWN, suspend: false }], types_js_1.T_UNKNOWN);
+                case "takeIf":
+                    return f([predFn], (0, types_js_1.nullable)(targetType));
+                case "takeUnless":
+                    return f([predFn], (0, types_js_1.nullable)(targetType));
+                case "to":
+                    return f([types_js_1.T_UNKNOWN], (0, types_js_1.classType)("Pair", [targetType, types_js_1.T_UNKNOWN]));
+            }
+        }
+        return types_js_1.T_UNKNOWN;
+    }
+    /**
+     * Infer the value type of a delegated property expression.
+     * For `by lazy { expr }` the delegate is a lambda; the property type is the
+     * return type of that lambda.
+     * For other delegates we return T_UNKNOWN.
+     */
+    inferDelegateType(delegate) {
+        // `lazy { expr }` — delegate is a CallExpr whose callee is "lazy" and whose
+        // trailing lambda (or first arg) is a LambdaExpr.
+        if (delegate.kind === "CallExpr") {
+            // `Delegates.observable(initial, callback)` — type is the type of `initial`
+            if (delegate.callee.kind === "MemberExpr" &&
+                delegate.callee.member === "observable" &&
+                delegate.callee.target.kind === "NameExpr" &&
+                delegate.callee.target.name === "Delegates" &&
+                delegate.args.length > 0) {
+                return this.checkExpr(delegate.args[0].value);
+            }
+            // `Delegates.vetoable(initial, callback)` — same pattern
+            if (delegate.callee.kind === "MemberExpr" &&
+                delegate.callee.member === "vetoable" &&
+                delegate.callee.target.kind === "NameExpr" &&
+                delegate.callee.target.name === "Delegates" &&
+                delegate.args.length > 0) {
+                return this.checkExpr(delegate.args[0].value);
+            }
+            const lambda = delegate.trailingLambda ??
+                (delegate.args.length === 1 && delegate.args[0].value.kind === "LambdaExpr"
+                    ? delegate.args[0].value
+                    : null);
+            if (lambda) {
+                // LambdaExpr.body is ReadonlyArray<Stmt> — infer from last statement
+                const stmts = lambda.body;
+                if (stmts.length > 0) {
+                    const last = stmts[stmts.length - 1];
+                    if (last.kind === "ExprStmt")
+                        return this.checkExpr(last.expr);
+                    if (last.kind === "ReturnStmt" && last.value)
+                        return this.checkExpr(last.value);
+                }
+            }
+        }
+        // For `by someDelegate`, check the expression and hope for the best
+        return this.checkExpr(delegate);
+    }
+    elementTypeOf(iterType) {
+        if (iterType.tag === "class") {
+            const firstArg = iterType.typeArgs[0];
+            if (firstArg)
+                return firstArg;
+        }
+        return types_js_1.T_UNKNOWN;
+    }
+    numericType(a, b) {
+        if (a.tag === "double" || b.tag === "double")
+            return types_js_1.T_DOUBLE;
+        if (a.tag === "float" || b.tag === "float")
+            return types_js_1.T_FLOAT;
+        if (a.tag === "long" || b.tag === "long")
+            return types_js_1.T_LONG;
+        return types_js_1.T_INT;
+    }
+    unify(types) {
+        if (types.length === 0)
+            return types_js_1.T_UNIT;
+        const filtered = types.filter((t) => t.tag !== "nothing");
+        if (filtered.length === 0)
+            return types_js_1.T_NOTHING;
+        if (filtered.length === 1)
+            return filtered[0];
+        // All same?
+        const first = filtered[0];
+        if (filtered.every((t) => t.tag === first.tag))
+            return first;
+        return types_js_1.T_ANY;
+    }
+    assertAssignable(span, from, to) {
+        if (this.isAssignable(from, to))
+            return;
+        this.diag.error(span, diagnostics_js_1.E_TYPE_MISMATCH, `Type mismatch: expected '${this.typeToString(to)}', got '${this.typeToString(from)}'`);
+    }
+    isAssignable(from, to) {
+        if (from.tag === "error" || to.tag === "error")
+            return true;
+        if (from.tag === "nothing" || to.tag === "any")
+            return true;
+        if (from.tag === "unknown" || to.tag === "unknown")
+            return true;
+        // nullable(Nothing) is the type of the `null` literal — assignable to every nullable type
+        if (from.tag === "nullable" && from.inner.tag === "nothing")
+            return to.tag === "nullable";
+        if (to.tag === "nullable")
+            return this.isAssignable(from, to.inner) || from.tag === "nullable";
+        if (from.tag === "nullable")
+            return false;
+        return from.tag === to.tag;
+    }
+    withScope(scope, fn) {
+        const prev = this.scope;
+        this.scope = scope;
+        const result = fn();
+        this.scope = prev;
+        return result;
+    }
+    typeToString(t) {
+        switch (t.tag) {
+            case "int": return "Int";
+            case "long": return "Long";
+            case "float": return "Float";
+            case "double": return "Double";
+            case "boolean": return "Boolean";
+            case "string": return "String";
+            case "char": return "Char";
+            case "byte": return "Byte";
+            case "short": return "Short";
+            case "unit": return "Unit";
+            case "any": return "Any";
+            case "nothing": return "Nothing";
+            case "nullable": return `${this.typeToString(t.inner)}?`;
+            case "class": return t.typeArgs.length > 0
+                ? `${t.name}<${t.typeArgs.map((a) => this.typeToString(a)).join(", ")}>`
+                : t.name;
+            case "func": {
+                const p = t.params.map((p) => this.typeToString(p)).join(", ");
+                const ret = this.typeToString(t.ret);
+                return `${t.suspend ? "suspend " : ""}(${p}) -> ${ret}`;
+            }
+            case "typeparam": return t.name;
+            case "error": return "<error>";
+            case "unknown": return "<unknown>";
+        }
+    }
+}
+exports.TypeChecker = TypeChecker;
+// ---------------------------------------------------------------------------
+// Public helper
+// ---------------------------------------------------------------------------
+function typeCheck(program, diag) {
+    const checker = new TypeChecker(diag);
+    checker.checkProgram(program);
+    return checker;
+}
+//# sourceMappingURL=index.js.map