@typescript/native-preview 7.0.0-dev.20260630.1 → 7.0.0-dev.20260702.3

package/dist/api/sync/api.js

@@ -10,6 +10,7 @@
 import { CompletionItemKind } from "#enums/completionItemKind";
 import { DiagnosticCategory } from "#enums/diagnosticCategory";
 import { ElementFlags } from "#enums/elementFlags";
+import { ModuleKind } from "#enums/moduleKind";
 import { NodeBuilderFlags } from "#enums/nodeBuilderFlags";
 import { ObjectFlags } from "#enums/objectFlags";
 import { SignatureFlags } from "#enums/signatureFlags";
@@ -17,14 +18,15 @@ import { SignatureKind } from "#enums/signatureKind";
 import { SymbolFlags } from "#enums/symbolFlags";
 import { TypeFlags } from "#enums/typeFlags";
 import { TypePredicateKind } from "#enums/typePredicateKind";
-import { ModifierFlags, } from "../../ast/index.js";
+import { ModifierFlags, unescapeLeadingUnderscores, } from "../../ast/index.js";
 import { encodeNode, uint8ArrayToBase64, } from "../node/encoder.js";
 import { decodeNode, getNodeId, parseNodeHandle, readParseOptionsKey, readSourceFileHash, RemoteSourceFile, } from "../node/node.js";
+import { Wtf8Decoder } from "../node/wtf8.js";
 import { createGetCanonicalFileName, toPath, } from "../path.js";
 import { resolveFileName, toUpdateSnapshotRequest, } from "../proto.js";
 import { SourceFileCache } from "../sourceFileCache.js";
 import { Client, } from "./client.js";
-export { CompletionItemKind, DiagnosticCategory, ElementFlags, ModifierFlags, NodeBuilderFlags, ObjectFlags, SignatureFlags, SignatureKind, SymbolFlags, TypeFlags, TypePredicateKind };
+export { CompletionItemKind, DiagnosticCategory, ElementFlags, ModifierFlags, ModuleKind, NodeBuilderFlags, ObjectFlags, SignatureFlags, SignatureKind, SymbolFlags, TypeFlags, TypePredicateKind };
 export { documentURIToFileName, fileNameToDocumentURI } from "../path.js";
 export class API {
     client;
@@ -34,7 +36,7 @@ export class API {
     activeSnapshots = new Set();
     latestSnapshot;
     internal;
-    constructor(options) {
+    constructor(options = {}) {
         this.client = new Client(options);
         this.sourceFileCache = new SourceFileCache();
         this.internal = new InternalAPI(this.client, () => this.ensureInitialized());
@@ -135,8 +137,8 @@ export class Snapshot {
         this.client = client;
         this.toPath = toPath;
         this.onDispose = onDispose;
-        this.snapshotRegistry = new SnapshotObjectRegistry(client, this.id);
         this.projectMap = new Map();
+        this.snapshotRegistry = new SnapshotObjectRegistry(client, this.id, projectId => this.projectMap.get(projectId));
         for (const projData of data.projects) {
             const project = new Project(projData, this.id, client, sourceFileCache, toPath, this.snapshotRegistry);
             this.projectMap.set(toPath(projData.configFileName), project);
@@ -188,9 +190,15 @@ class SnapshotObjectRegistry {
     symbols = new Map();
     client;
     snapshotId;
-    constructor(client, snapshotId) {
+    resolveProject;
+    constructor(client, snapshotId, resolveProject) {
         this.client = client;
         this.snapshotId = snapshotId;
+        this.resolveProject = resolveProject;
+    }
+    /** Resolve a project id (a config file path) to its Project within this snapshot. */
+    getProject(projectId) {
+        return this.resolveProject(projectId);
     }
     getOrCreateSymbol(data) {
         let symbol = this.symbols.get(data.id);
@@ -250,14 +258,14 @@ class SnapshotObjectRegistry {
 class ProjectObjectRegistry {
     client;
     snapshotId;
-    projectId;
+    project;
     snapshotRegistry;
     types = new Map();
     signatures = new Map();
-    constructor(client, snapshotId, projectId, snapshotRegistry) {
+    constructor(client, snapshotId, project, snapshotRegistry) {
         this.client = client;
         this.snapshotId = snapshotId;
-        this.projectId = projectId;
+        this.project = project;
         this.snapshotRegistry = snapshotRegistry;
     }
     getOrCreateSymbol(data) {
@@ -280,7 +288,7 @@ class ProjectObjectRegistry {
     getOrCreateSignature(data) {
         let sig = this.signatures.get(data.id);
         if (!sig) {
-            sig = new Signature(data, this);
+            sig = new Signature(data, this.project, this);
             this.signatures.set(data.id, sig);
         }
         return sig;
@@ -302,7 +310,7 @@ class ProjectObjectRegistry {
         }
         const data = this.client.apiRequest(method, {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             objectId: source.id,
         });
         if (!data)
@@ -310,7 +318,7 @@ class ProjectObjectRegistry {
         return this.getOrCreateType(data);
     }
     fetchSymbol(source, method, handle) {
-        return this.snapshotRegistry.fetchSymbol(source, method, handle, this.projectId);
+        return this.snapshotRegistry.fetchSymbol(source, method, handle, this.project.id);
     }
     fetchSignature(source, method, handle) {
         if (!handle)
@@ -320,7 +328,7 @@ class ProjectObjectRegistry {
             return cached;
         const data = this.client.apiRequest(method, {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             objectId: source.id,
         });
         if (!data)
@@ -344,7 +352,7 @@ class ProjectObjectRegistry {
         }
         const typesData = this.client.apiRequest(method, {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             objectId: source.id,
         });
         if (typesData == null)
@@ -353,7 +361,19 @@ class ProjectObjectRegistry {
             return typesData.map(data => this.getOrCreateType(data));
     }
     fetchSymbols(source, method, handles) {
-        return this.snapshotRegistry.fetchSymbols(source, method, handles, this.projectId);
+        return this.snapshotRegistry.fetchSymbols(source, method, handles, this.project.id);
+    }
+    // getBaseTypes is a checker-level endpoint keyed by `type` (not `objectId`),
+    // so it cannot go through fetchTypes. This helper reuses that server method.
+    fetchBaseTypes(source) {
+        const typesData = this.client.apiRequest("getBaseTypes", {
+            snapshot: this.snapshotId,
+            project: this.project.id,
+            type: source.id,
+        });
+        if (typesData == null)
+            return [];
+        return typesData.map(data => this.getOrCreateType(data));
     }
 }
 export class Project {
@@ -371,9 +391,9 @@ export class Project {
         this.compilerOptions = data.compilerOptions;
         this.rootFiles = data.rootFiles;
         this.client = client;
-        this.program = new Program(snapshotId, this.id, client, sourceFileCache, toPath);
-        const objectRegistry = new ProjectObjectRegistry(client, snapshotId, this.id, snapshotRegistry);
-        this.checker = new Checker(snapshotId, this.id, client, objectRegistry);
+        this.program = new Program(snapshotId, this, client, sourceFileCache, toPath);
+        const objectRegistry = new ProjectObjectRegistry(client, snapshotId, this, snapshotRegistry);
+        this.checker = new Checker(snapshotId, this, client, objectRegistry);
         this.emitter = new Emitter(client);
     }
     dispose() {
@@ -382,30 +402,34 @@ export class Project {
 }
 export class Program {
     snapshotId;
-    projectId;
+    project;
     client;
     sourceFileCache;
     toPath;
-    decoder = new TextDecoder();
-    constructor(snapshotId, projectId, client, sourceFileCache, toPath) {
+    decoder = new Wtf8Decoder();
+    sourceFileMetadataCache = new Map();
+    constructor(snapshotId, project, client, sourceFileCache, toPath) {
         this.snapshotId = snapshotId;
-        this.projectId = projectId;
+        this.project = project;
         this.client = client;
         this.sourceFileCache = sourceFileCache;
         this.toPath = toPath;
     }
+    getCompilerOptions() {
+        return this.project.compilerOptions;
+    }
     getSourceFile(file) {
         const fileName = resolveFileName(file);
         const path = this.toPath(fileName);
         // Check if we already have a retained cache entry for this (snapshot, project) pair
-        const retained = this.sourceFileCache.getRetained(path, this.snapshotId, this.projectId);
+        const retained = this.sourceFileCache.getRetained(path, this.snapshotId, this.project.id);
         if (retained) {
             return retained;
         }
         // Fetch from server
         const binaryData = this.client.apiRequestBinary("getSourceFile", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             file,
         });
         if (!binaryData) {
@@ -416,15 +440,63 @@ export class Program {
         const parseOptionsKey = readParseOptionsKey(view);
         // Create a new RemoteSourceFile and cache it (set returns existing if hash matches)
         const sourceFile = new RemoteSourceFile(binaryData, this.decoder);
-        return this.sourceFileCache.set(path, sourceFile, parseOptionsKey, contentHash, this.snapshotId, this.projectId);
+        return this.sourceFileCache.set(path, sourceFile, parseOptionsKey, contentHash, this.snapshotId, this.project.id);
     }
     getSourceFileNames() {
         const data = this.client.apiRequest("getSourceFileNames", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
         });
         return data ?? [];
     }
+    /**
+     * Returns program-stored metadata for the given source file, or `undefined` if the file
+     * is not part of the program. Metadata is fetched lazily per file and cached on this
+     * `Program` instance.
+     */
+    getSourceFileMetadata(fileName) {
+        return this.getSourceFileMetadataByPath(this.toPath(fileName));
+    }
+    /**
+     * Returns program-stored metadata for the source file at the given path, or `undefined`
+     * if the file is not part of the program. Like {@link getSourceFileMetadata}, but skips
+     * the file name to path conversion. Metadata is fetched lazily per file and cached on
+     * this `Program` instance.
+     */
+    getSourceFileMetadataByPath(path) {
+        let metadata = this.sourceFileMetadataCache.get(path);
+        if (metadata === undefined) {
+            metadata = this.fetchSourceFileMetadata(path);
+            this.sourceFileMetadataCache.set(path, metadata);
+        }
+        return metadata;
+    }
+    fetchSourceFileMetadata(path) {
+        const data = this.client.apiRequest("getSourceFileMetadata", {
+            snapshot: this.snapshotId,
+            project: this.project.id,
+            file: path,
+        });
+        return data ?? undefined;
+    }
+    /**
+     * Returns whether the given source file was loaded as part of an external library
+     * (e.g. a dependency resolved from `node_modules`). The underlying program metadata is
+     * fetched lazily per file and cached on this `Program` instance.
+     */
+    isSourceFileFromExternalLibrary(file) {
+        const metadata = this.getSourceFileMetadataByPath(file.path);
+        return metadata?.isFromExternalLibrary ?? false;
+    }
+    /**
+     * Returns whether the given source file is a default library file (e.g. `lib.d.ts`).
+     * The underlying program metadata is fetched lazily per file and cached on this
+     * `Program` instance.
+     */
+    isSourceFileDefaultLibrary(file) {
+        const metadata = this.getSourceFileMetadataByPath(file.path);
+        return metadata?.isDefaultLibrary ?? false;
+    }
     /**
      * Get syntactic (parse) diagnostics for a specific file or all files.
      * @param file - Optional file to get diagnostics for. If omitted, returns diagnostics for all files.
@@ -432,7 +504,7 @@ export class Program {
     getSyntacticDiagnostics(file) {
         const data = this.client.apiRequest("getSyntacticDiagnostics", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             ...(file !== undefined ? { file } : {}),
         });
         return data ?? [];
@@ -444,7 +516,7 @@ export class Program {
     getBindDiagnostics(file) {
         const data = this.client.apiRequest("getBindDiagnostics", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             ...(file !== undefined ? { file } : {}),
         });
         return data ?? [];
@@ -456,7 +528,7 @@ export class Program {
     getSemanticDiagnostics(file) {
         const data = this.client.apiRequest("getSemanticDiagnostics", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             ...(file !== undefined ? { file } : {}),
         });
         return data ?? [];
@@ -468,7 +540,7 @@ export class Program {
     getSuggestionDiagnostics(file) {
         const data = this.client.apiRequest("getSuggestionDiagnostics", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             ...(file !== undefined ? { file } : {}),
         });
         return data ?? [];
@@ -480,7 +552,7 @@ export class Program {
     getDeclarationDiagnostics(file) {
         const data = this.client.apiRequest("getDeclarationDiagnostics", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             ...(file !== undefined ? { file } : {}),
         });
         return data ?? [];
@@ -491,7 +563,7 @@ export class Program {
     getProgramDiagnostics() {
         const data = this.client.apiRequest("getProgramDiagnostics", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
         });
         return data ?? [];
     }
@@ -501,7 +573,7 @@ export class Program {
     getGlobalDiagnostics() {
         const data = this.client.apiRequest("getGlobalDiagnostics", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
         });
         return data ?? [];
     }
@@ -511,19 +583,20 @@ export class Program {
     getConfigFileParsingDiagnostics() {
         const data = this.client.apiRequest("getConfigFileParsingDiagnostics", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
         });
         return data ?? [];
     }
 }
 export class Checker {
     snapshotId;
-    projectId;
+    project;
     client;
     objectRegistry;
-    constructor(snapshotId, projectId, client, objectRegistry) {
+    wellKnownSymbols;
+    constructor(snapshotId, project, client, objectRegistry) {
         this.snapshotId = snapshotId;
-        this.projectId = projectId;
+        this.project = project;
         this.client = client;
         this.objectRegistry = objectRegistry;
     }
@@ -534,14 +607,14 @@ export class Checker {
         if (Array.isArray(nodeOrNodes)) {
             const data = this.client.apiRequest("getSymbolsAtLocations", {
                 snapshot: this.snapshotId,
-                project: this.projectId,
+                project: this.project.id,
                 locations: nodeOrNodes.map(node => getNodeId(node)),
             });
             return data.map(d => d ? this.objectRegistry.getOrCreateSymbol(d) : undefined);
         }
         const data = this.client.apiRequest("getSymbolAtLocation", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             location: getNodeId(nodeOrNodes),
         });
         return data ? this.objectRegistry.getOrCreateSymbol(data) : undefined;
@@ -550,7 +623,7 @@ export class Checker {
         if (typeof positionOrPositions === "number") {
             const data = this.client.apiRequest("getSymbolAtPosition", {
                 snapshot: this.snapshotId,
-                project: this.projectId,
+                project: this.project.id,
                 file,
                 position: positionOrPositions,
             });
@@ -558,7 +631,7 @@ export class Checker {
         }
         const data = this.client.apiRequest("getSymbolsAtPositions", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             file,
             positions: positionOrPositions,
         });
@@ -568,63 +641,70 @@ export class Checker {
         if (Array.isArray(symbolOrSymbols)) {
             const data = this.client.apiRequest("getTypesOfSymbols", {
                 snapshot: this.snapshotId,
-                project: this.projectId,
+                project: this.project.id,
                 symbols: symbolOrSymbols.map(s => s.id),
             });
             return data.map(d => d ? this.objectRegistry.getOrCreateType(d) : undefined);
         }
         const data = this.client.apiRequest("getTypeOfSymbol", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             symbol: symbolOrSymbols.id,
         });
         return data ? this.objectRegistry.getOrCreateType(data) : undefined;
     }
+    /**
+     * Get the declared type of a symbol. Always returns a type; for symbols whose
+     * declared type cannot be determined the checker yields the error type (use
+     * {@link Type.isErrorType} to detect it).
+     */
     getDeclaredTypeOfSymbol(symbol) {
         const data = this.client.apiRequest("getDeclaredTypeOfSymbol", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             symbol: symbol.id,
         });
-        return data ? this.objectRegistry.getOrCreateType(data) : undefined;
+        if (!data)
+            throw new Error(`getDeclaredTypeOfSymbol returned no type for symbol ${symbol.id}`);
+        return this.objectRegistry.getOrCreateType(data);
     }
     getReferencesToSymbolInFile(file, symbol) {
         const data = this.client.apiRequest("getReferencesToSymbolInFile", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             file,
             symbol: symbol.id,
         });
-        return (data ?? []).map(h => new NodeHandle(h));
+        return (data ?? []).map(h => new NodeHandle(h, this.project));
     }
     getReferencedSymbolsForNode(node, position) {
         const data = this.client.apiRequest("getReferencedSymbolsForNode", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             node: getNodeId(node),
             position,
         });
         return (data ?? []).map(entry => ({
-            definition: new NodeHandle(entry.definition),
+            definition: new NodeHandle(entry.definition, this.project),
             symbol: entry.symbol ? this.objectRegistry.getOrCreateSymbol(entry.symbol) : undefined,
-            references: (entry.references ?? []).map(h => new NodeHandle(h)),
+            references: (entry.references ?? []).map(h => new NodeHandle(h, this.project)),
         }));
     }
     getSignatureUsage(signatureDecl) {
         const data = this.client.apiRequest("getSignatureUsages", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             signatureDecl: getNodeId(signatureDecl),
         });
         return (data ?? []).map(entry => ({
-            name: new NodeHandle(entry.name),
-            call: entry.call ? new NodeHandle(entry.call) : undefined,
+            name: new NodeHandle(entry.name, this.project),
+            call: entry.call ? new NodeHandle(entry.call, this.project) : undefined,
         }));
     }
     getCompletionsAtPosition(document, position, options) {
         const data = this.client.apiRequest("getCompletionsAtPosition", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             file: document,
             position,
             triggerCharacter: options?.triggerCharacter,
@@ -644,14 +724,14 @@ export class Checker {
         if (Array.isArray(nodeOrNodes)) {
             const data = this.client.apiRequest("getTypeAtLocations", {
                 snapshot: this.snapshotId,
-                project: this.projectId,
+                project: this.project.id,
                 locations: nodeOrNodes.map(node => getNodeId(node)),
             });
             return data.map(d => d ? this.objectRegistry.getOrCreateType(d) : undefined);
         }
         const data = this.client.apiRequest("getTypeAtLocation", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             location: getNodeId(nodeOrNodes),
         });
         return data ? this.objectRegistry.getOrCreateType(data) : undefined;
@@ -659,7 +739,7 @@ export class Checker {
     getSignaturesOfType(type, kind) {
         const data = this.client.apiRequest("getSignaturesOfType", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             type: type.id,
             kind,
         });
@@ -668,7 +748,7 @@ export class Checker {
     getResolvedSignature(node) {
         const data = this.client.apiRequest("getResolvedSignature", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             location: getNodeId(node),
         });
         return data ? this.objectRegistry.getOrCreateSignature(data) : undefined;
@@ -677,7 +757,7 @@ export class Checker {
         if (typeof positionOrPositions === "number") {
             const data = this.client.apiRequest("getTypeAtPosition", {
                 snapshot: this.snapshotId,
-                project: this.projectId,
+                project: this.project.id,
                 file,
                 position: positionOrPositions,
             });
@@ -685,7 +765,7 @@ export class Checker {
         }
         const data = this.client.apiRequest("getTypesAtPositions", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             file,
             positions: positionOrPositions,
         });
@@ -696,7 +776,7 @@ export class Checker {
         const isNode = location && "kind" in location;
         const data = this.client.apiRequest("resolveName", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             name,
             meaning,
             location: isNode ? getNodeId(location) : undefined,
@@ -715,7 +795,7 @@ export class Checker {
     getContextualType(node) {
         const data = this.client.apiRequest("getContextualType", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             location: getNodeId(node),
         });
         return data ? this.objectRegistry.getOrCreateType(data) : undefined;
@@ -723,7 +803,7 @@ export class Checker {
     getBaseTypeOfLiteralType(type) {
         const data = this.client.apiRequest("getBaseTypeOfLiteralType", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             type: type.id,
         });
         return data ? this.objectRegistry.getOrCreateType(data) : undefined;
@@ -731,7 +811,7 @@ export class Checker {
     getNonNullableType(type) {
         const data = this.client.apiRequest("getNonNullableType", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             type: type.id,
         });
         return data ? this.objectRegistry.getOrCreateType(data) : undefined;
@@ -739,7 +819,7 @@ export class Checker {
     getTypeFromTypeNode(node) {
         const data = this.client.apiRequest("getTypeFromTypeNode", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             location: getNodeId(node),
         });
         return data ? this.objectRegistry.getOrCreateType(data) : undefined;
@@ -747,7 +827,7 @@ export class Checker {
     getWidenedType(type) {
         const data = this.client.apiRequest("getWidenedType", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             type: type.id,
         });
         return data ? this.objectRegistry.getOrCreateType(data) : undefined;
@@ -755,7 +835,7 @@ export class Checker {
     getParameterType(signature, index) {
         const data = this.client.apiRequest("getParameterType", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             signature: signature.id,
             index,
         });
@@ -764,14 +844,14 @@ export class Checker {
     isArrayLikeType(type) {
         return this.client.apiRequest("isArrayLikeType", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             type: type.id,
         });
     }
     isTypeAssignableTo(source, target) {
         return this.client.apiRequest("isTypeAssignableTo", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             source: source.id,
             target: target.id,
         });
@@ -779,24 +859,31 @@ export class Checker {
     getShorthandAssignmentValueSymbol(node) {
         const data = this.client.apiRequest("getShorthandAssignmentValueSymbol", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             location: getNodeId(node),
         });
         return data ? this.objectRegistry.getOrCreateSymbol(data) : undefined;
     }
+    /**
+     * Get the type of a symbol as narrowed at a specific location. Always returns
+     * a type; for symbols whose type cannot be determined the checker yields the
+     * error type (use {@link Type.isErrorType} to detect it).
+     */
     getTypeOfSymbolAtLocation(symbol, location) {
         const data = this.client.apiRequest("getTypeOfSymbolAtLocation", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             symbol: symbol.id,
             location: getNodeId(location),
         });
-        return data ? this.objectRegistry.getOrCreateType(data) : undefined;
+        if (!data)
+            throw new Error(`getTypeOfSymbolAtLocation returned no type for symbol ${symbol.id}`);
+        return this.objectRegistry.getOrCreateType(data);
     }
     getIntrinsicType(method) {
         const data = this.client.apiRequest(method, {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
         });
         return this.objectRegistry.getOrCreateType(data);
     }
@@ -836,7 +923,7 @@ export class Checker {
     typeToTypeNode(type, enclosingDeclaration, flags) {
         const binaryData = this.client.apiRequestBinary("typeToTypeNode", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             type: type.id,
             location: enclosingDeclaration ? getNodeId(enclosingDeclaration) : undefined,
             flags,
@@ -848,7 +935,7 @@ export class Checker {
     signatureToSignatureDeclaration(signature, kind, enclosingDeclaration, flags) {
         const binaryData = this.client.apiRequestBinary("signatureToSignatureDeclaration", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             signature: signature.id,
             kind,
             location: enclosingDeclaration ? getNodeId(enclosingDeclaration) : undefined,
@@ -861,7 +948,7 @@ export class Checker {
     typeToString(type, enclosingDeclaration, flags) {
         return this.client.apiRequest("typeToString", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             type: type.id,
             location: enclosingDeclaration ? getNodeId(enclosingDeclaration) : undefined,
             flags,
@@ -870,28 +957,28 @@ export class Checker {
     isContextSensitive(node) {
         return this.client.apiRequest("isContextSensitive", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             location: getNodeId(node),
         });
     }
     isArrayType(type) {
         return this.client.apiRequest("isArrayType", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             type: type.id,
         });
     }
     isTupleType(type) {
         return this.client.apiRequest("isTupleType", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             type: type.id,
         });
     }
     getReturnTypeOfSignature(signature) {
         const data = this.client.apiRequest("getReturnTypeOfSignature", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             signature: signature.id,
         });
         return data ? this.objectRegistry.getOrCreateType(data) : undefined;
@@ -899,7 +986,7 @@ export class Checker {
     getRestTypeOfSignature(signature) {
         const data = this.client.apiRequest("getRestTypeOfSignature", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             signature: signature.id,
         });
         return data ? this.objectRegistry.getOrCreateType(data) : undefined;
@@ -907,7 +994,7 @@ export class Checker {
     getTypePredicateOfSignature(signature) {
         const data = this.client.apiRequest("getTypePredicateOfSignature", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             signature: signature.id,
         });
         if (!data)
@@ -926,7 +1013,7 @@ export class Checker {
     getBaseTypes(type) {
         const data = this.client.apiRequest("getBaseTypes", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             type: type.id,
         });
         return data ? data.map(d => this.objectRegistry.getOrCreateType(d)) : [];
@@ -934,7 +1021,7 @@ export class Checker {
     getApparentType(type) {
         const data = this.client.apiRequest("getApparentType", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             type: type.id,
         });
         return data ? this.objectRegistry.getOrCreateType(data) : undefined;
@@ -942,7 +1029,7 @@ export class Checker {
     getPropertiesOfType(type) {
         const data = this.client.apiRequest("getPropertiesOfType", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             type: type.id,
         });
         return data ? data.map(d => this.objectRegistry.getOrCreateSymbol(d)) : [];
@@ -950,7 +1037,7 @@ export class Checker {
     getIndexInfosOfType(type) {
         const data = this.client.apiRequest("getIndexInfosOfType", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             type: type.id,
         });
         if (!data)
@@ -959,7 +1046,7 @@ export class Checker {
             keyType: this.objectRegistry.getOrCreateType(d.keyType),
             valueType: this.objectRegistry.getOrCreateType(d.valueType),
             isReadonly: d.isReadonly ?? false,
-            declaration: d.declaration ? new NodeHandle(d.declaration) : undefined,
+            declaration: d.declaration ? new NodeHandle(d.declaration, this.project) : undefined,
         }));
     }
     /**
@@ -969,7 +1056,7 @@ export class Checker {
     getConstraintOfTypeParameter(type) {
         const data = this.client.apiRequest("getConstraintOfTypeParameter", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             type: type.id,
         });
         return data ? this.objectRegistry.getOrCreateType(data) : undefined;
@@ -977,7 +1064,7 @@ export class Checker {
     getBaseConstraintOfType(type) {
         const data = this.client.apiRequest("getBaseConstraintOfType", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             type: type.id,
         });
         return data ? this.objectRegistry.getOrCreateType(data) : undefined;
@@ -985,7 +1072,7 @@ export class Checker {
     getPropertyOfType(type, name) {
         const data = this.client.apiRequest("getPropertyOfType", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             type: type.id,
             name,
         });
@@ -994,7 +1081,7 @@ export class Checker {
     getConstantValue(node) {
         const data = this.client.apiRequest("getConstantValue", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             location: getNodeId(node),
         });
         return data ?? undefined;
@@ -1002,7 +1089,7 @@ export class Checker {
     getSignatureFromDeclaration(node) {
         const data = this.client.apiRequest("getSignatureFromDeclaration", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             location: getNodeId(node),
         });
         return data ? this.objectRegistry.getOrCreateSignature(data) : undefined;
@@ -1010,31 +1097,69 @@ export class Checker {
     getExportSpecifierLocalTargetSymbol(node) {
         const data = this.client.apiRequest("getExportSpecifierLocalTargetSymbol", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             location: getNodeId(node),
         });
         return data ? this.objectRegistry.getOrCreateSymbol(data) : undefined;
     }
+    /**
+     * Follow all aliases to get the original symbol. Always returns a symbol; for
+     * an unresolved alias the checker yields the unknown symbol (use
+     * {@link Checker.isUnknownSymbol} to detect it).
+     */
     getAliasedSymbol(symbol) {
         const data = this.client.apiRequest("getAliasedSymbol", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             symbol: symbol.id,
         });
-        return data ? this.objectRegistry.getOrCreateSymbol(data) : undefined;
+        if (!data)
+            throw new Error(`getAliasedSymbol returned no symbol for symbol ${symbol.id}`);
+        return this.objectRegistry.getOrCreateSymbol(data);
     }
     getImmediateAliasedSymbol(symbol) {
         const data = this.client.apiRequest("getImmediateAliasedSymbol", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             symbol: symbol.id,
         });
         return data ? this.objectRegistry.getOrCreateSymbol(data) : undefined;
     }
+    /**
+     * Fetch (once, then cache) the handle ids of the per-checker singleton
+     * symbols (unknown, undefined, arguments). These ids are stable for the life
+     * of the project's checker, so identity checks against them are local after
+     * the first call.
+     */
+    getWellKnownSymbols() {
+        return this.wellKnownSymbols ??= this.client.apiRequest("getWellKnownSymbols", {
+            snapshot: this.snapshotId,
+            project: this.project.id,
+        });
+    }
+    /**
+     * Returns `true` if the symbol is the checker's "unknown" symbol (e.g. the
+     * result of {@link Checker.getAliasedSymbol} on an unresolved alias).
+     */
+    isUnknownSymbol(symbol) {
+        return symbol.id === (this.getWellKnownSymbols()).unknown;
+    }
+    /**
+     * Returns `true` if the symbol is the checker's "undefined" symbol.
+     */
+    isUndefinedSymbol(symbol) {
+        return symbol.id === (this.getWellKnownSymbols()).undefined;
+    }
+    /**
+     * Returns `true` if the symbol is the checker's "arguments" symbol.
+     */
+    isArgumentsSymbol(symbol) {
+        return symbol.id === (this.getWellKnownSymbols()).arguments;
+    }
     getExportsOfModule(symbol) {
         const data = this.client.apiRequest("getExportsOfModule", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             symbol: symbol.id,
         });
         return data ? data.map(d => this.objectRegistry.getOrCreateSymbol(d)) : [];
@@ -1042,7 +1167,7 @@ export class Checker {
     getMemberInModuleExports(symbol, name) {
         const data = this.client.apiRequest("getMemberInModuleExports", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             symbol: symbol.id,
             name,
         });
@@ -1051,7 +1176,7 @@ export class Checker {
     getJsDocTagsOfSymbol(symbol) {
         const data = this.client.apiRequest("getJsDocTags", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             symbol: symbol.id,
         });
         return data ?? [];
@@ -1059,7 +1184,7 @@ export class Checker {
     getDocumentationCommentOfSymbol(symbol) {
         return this.client.apiRequest("getDocumentationComment", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             symbol: symbol.id,
         });
     }
@@ -1069,7 +1194,7 @@ export class Checker {
     getTypeArguments(type) {
         const data = this.client.apiRequest("getTypeArguments", {
             snapshot: this.snapshotId,
-            project: this.projectId,
+            project: this.project.id,
             type: type.id,
         });
         return data ? data.map(d => this.objectRegistry.getOrCreateType(d)) : [];
@@ -1090,20 +1215,28 @@ export class Emitter {
     }
 }
 export class NodeHandle {
+    /**
+     * The project this handle was produced in, used as the default for {@link resolve}.
+     * Node handles are only meaningful within a project's program, so the producing project
+     * is remembered so callers don't have to pass it explicitly.
+     */
+    canonicalProject;
     index;
     kind;
     path;
-    constructor(handle) {
+    constructor(handle, canonicalProject) {
         const parsed = parseNodeHandle(handle);
         this.index = parsed.index;
         this.kind = parsed.kind;
         this.path = parsed.path;
+        this.canonicalProject = canonicalProject;
     }
     /**
-     * Resolve this handle to the actual AST node by fetching the source file
-     * from the given project and looking up the node by index.
+     * Resolve this handle to the actual AST node by fetching the source file from a project
+     * and looking up the node by index. If no project is passed, the project that produced
+     * the handle is used.
      */
-    resolve(project) {
+    resolve(project = this.canonicalProject) {
         const sourceFile = project.program.getSourceFile(this.path);
         if (!sourceFile) {
             return undefined;
@@ -1113,7 +1246,16 @@ export class NodeHandle {
 }
 export class Symbol {
     objectRegistry;
+    /**
+     * The project this symbol was first observed in, used as the default project for
+     * lookups that need a project context (members/exports/parent). Symbols are shared
+     * snapshot-wide, so these lookups can otherwise be ambiguous about which project to use.
+     */
+    canonicalProject;
     id;
+    /** The escaped (`__String`) name, used as the key in member/export tables. */
+    escapedName;
+    /** The display name (escaped underscores removed). */
     name;
     flags;
     checkFlags;
@@ -1121,32 +1263,56 @@ export class Symbol {
     valueDeclaration;
     parent;
     exportSymbol;
+    membersCache;
+    exportsCache;
     constructor(data, objectRegistry) {
         this.objectRegistry = objectRegistry;
         this.id = data.id;
-        this.name = data.name;
+        this.escapedName = data.name;
+        this.name = unescapeLeadingUnderscores(data.name);
         this.flags = data.flags;
         this.checkFlags = data.checkFlags;
-        this.declarations = (data.declarations ?? []).map(d => new NodeHandle(d));
-        this.valueDeclaration = data.valueDeclaration ? new NodeHandle(data.valueDeclaration) : undefined;
+        const canonicalProject = objectRegistry.getProject(data.project);
+        if (!canonicalProject) {
+            throw new Error(`Symbol ${data.id} references unknown canonical project '${data.project}'`);
+        }
+        this.canonicalProject = canonicalProject;
+        this.declarations = (data.declarations ?? []).map(d => new NodeHandle(d, canonicalProject));
+        this.valueDeclaration = data.valueDeclaration ? new NodeHandle(data.valueDeclaration, canonicalProject) : undefined;
         if (data.parent !== undefined)
             this.parent = data.parent;
         if (data.exportSymbol !== undefined)
             this.exportSymbol = data.exportSymbol;
     }
     getParent() {
-        return this.objectRegistry.fetchSymbol(this, "getParentOfSymbol", this.parent);
+        return this.objectRegistry.fetchSymbol(this, "getParentOfSymbol", this.parent, this.canonicalProject.id);
     }
+    /**
+     * Get this symbol's members keyed by escaped name. The result is cached on
+     * the symbol, so repeated calls do not round-trip to the server.
+     */
     getMembers() {
-        return this.objectRegistry.fetchSymbols(this, "getMembersOfSymbol");
+        return this.membersCache ??= this.fetchSymbolTable("getMembersOfSymbol");
     }
+    /**
+     * Get this symbol's exports keyed by escaped name. The result is cached on
+     * the symbol, so repeated calls do not round-trip to the server.
+     */
     getExports() {
-        return this.objectRegistry.fetchSymbols(this, "getExportsOfSymbol");
+        return this.exportsCache ??= this.fetchSymbolTable("getExportsOfSymbol");
+    }
+    fetchSymbolTable(method) {
+        const symbols = this.objectRegistry.fetchSymbols(this, method, undefined, this.canonicalProject.id);
+        const table = new Map();
+        for (const symbol of symbols) {
+            table.set(symbol.escapedName, symbol);
+        }
+        return table;
     }
     getExportSymbol() {
         if (!this.exportSymbol)
             return this;
-        return this.objectRegistry.fetchSymbol(this, "getExportSymbolOfSymbol", this.exportSymbol);
+        return this.objectRegistry.fetchSymbol(this, "getExportSymbolOfSymbol", this.exportSymbol, this.canonicalProject.id);
     }
     getJsDocTags(checker) {
         return checker.getJsDocTagsOfSymbol(this);
@@ -1300,6 +1466,19 @@ class TypeObject {
         this.falseType = result.id;
         return result;
     }
+    /**
+     * Get the base types of this type. Returns `undefined` for any type that is
+     * not a class or interface.
+     */
+    getBaseTypes() {
+        if (!this.isClassOrInterface()) {
+            return undefined;
+        }
+        return this.objectRegistry.fetchBaseTypes(this);
+    }
+    isClassOrInterface() {
+        return isClassOrInterfaceType(this);
+    }
     isUnionType() {
         return isUnionType(this);
     }
@@ -1312,6 +1491,9 @@ class TypeObject {
     isIntrinsicType() {
         return isIntrinsicType(this);
     }
+    isErrorType() {
+        return isErrorType(this);
+    }
     isLiteralType() {
         return isLiteralType(this);
     }
@@ -1364,9 +1546,21 @@ export function isIntersectionType(type) {
 export function isObjectType(type) {
     return (type.flags & TypeFlags.Object) !== 0;
 }
+export function isClassOrInterfaceType(type) {
+    return isObjectType(type) && (type.objectFlags & ObjectFlags.ClassOrInterface) !== 0;
+}
 export function isIntrinsicType(type) {
     return (type.flags & TypeFlags.Intrinsic) !== 0;
 }
+/**
+ * Whether this is the error type — the placeholder the checker produces when a
+ * type cannot be determined (e.g. an unresolved reference). It is an intrinsic
+ * type named `"error"` (this covers both the singleton error type and the
+ * per-alias error types manufactured for unresolved type alias references).
+ */
+export function isErrorType(type) {
+    return isIntrinsicType(type) && type.intrinsicName === "error";
+}
 export function isLiteralType(type) {
     return (type.flags & TypeFlags.Literal) !== 0;
 }
@@ -1418,11 +1612,11 @@ export class Signature {
     parameters;
     thisParameter;
     target;
-    constructor(data, objectRegistry) {
+    constructor(data, project, objectRegistry) {
         this.id = data.id;
         this.flags = data.flags;
         this.objectRegistry = objectRegistry;
-        this.declaration = data.declaration ? new NodeHandle(data.declaration) : undefined;
+        this.declaration = data.declaration ? new NodeHandle(data.declaration, project) : undefined;
         this.typeParameters = data.typeParameters ?? [];
         this.parameters = data.parameters ?? [];
         this.thisParameter = data.thisParameter;