@tslite/checker 1.0.0 → 1.2.0

package/dist/index.d.cts

@@ -1,6 +1,6 @@
-import { Schema, Schemes, TypeScheme, ObjectSchema, Completion } from '@tslite/types';
-export * from '@tslite/types';
-import { Scope as Scope$1, BaseNode, Node, types as types$1, Expression, SourceLocation } from '@tslite/ast';
+import { Schema, Schemes, TypeScheme, ObjectSchema, Completion } from './types/index.cjs';
+export { AnySchema, ApplySchema, ArraySchema, Bindings, DEFAULT_TYPE_LIMITS, Discovery, ElementFlag, FnSchema, GuardSig, INSTANTIATION_COUNT_LIMIT, INSTANTIATION_DEPTH_LIMIT, Incompatibility, IncompatibilityKind, IndexSchema, Instantiation, InstantiationLimitError, KeyofSchema, LiteralSchema, MappedSchema, OverloadSchema, Param, Prop, ScalarSchema, TYPE_EVAL_DEPTH_LIMIT, TupleSchema, TypeEvalLimitError, TypeEvalLimits, TypeForm, TypePosition, UnionSchema, UnionTooComplexError, UnknownSchema, VarCandidates, VarSchema, apparentType, asLiteralOrigin, baseLiteralType, bindTypeParams, comparable, configureTypeLimits, contravariantInference, covariantInference, discover, equals, erasedSignature, expand1, flagAt, format, formatTypeArgs, formatTypeDiff, freeVars, groundVars, inferFromCandidates, inferredTypes, instantiate, instantiateInContextOf, instantiateLoose, isMissingType, isNumericLiteralName, isObjectOrArrayLiteral, isScheme, isSerializable, isVariadicTuple, join, joinAll, missingType, normalizeUnion, ownProp, renameTypeParams, resetInstantiationCount, resetTypeLimits, resolveConditional, resolveOp, resolveTypeOp, restIndex, s, sampleValue, silentNever, substitute, subtype, typeAtPosition, typeDiff, typeFeatures, typeLimits, typeNeedsParens, typeParamArity, unify, widen, widenInferred, widenLiteral, widenOrigin, widenType, withoutUndefined } from './types/index.cjs';
+import { Scope as Scope$1, BaseNode, Node, types, SourceLocation, Expression } from '@tslite/ast';
 import { CapabilityProfile, CompiledProfile } from '@tslite/capability';
 import { Span } from '@tslite/language-service';
 
@@ -17,9 +17,11 @@ declare const childScope: (parent: Scope, vars: Record<string, Schema>) => Scope
 declare const lookup: (scope: Scope, name: string) => Schema | undefined;
 /**
  * Todos os nomes visíveis a partir de `scope`, com shadowing — o binding mais
- * interno vence. É o que alimenta o autocomplete de identificadores. Uma chave
- * com `.` não é binding: é um caminho estreitado por guard (`narrow`, D13), que
- * mora no mesmo escopo mas não é nome visível.
+ * interno vence. É o que alimenta o autocomplete de identificadores. Duas
+ * chaves moram no mesmo escopo e não são nomes: a que tem `.` é um caminho
+ * estreitado por guard (`narrow`, D13), e a que termina em `#` é o tipo
+ * DECLARADO de um binding mutável (D63) — nenhum identificador tem esses
+ * caracteres.
  */
 declare const visibleNames: (scope: Scope) => Map<string, Schema>;
 /**
@@ -112,7 +114,7 @@ declare const resolveNamed: (env: Env, name: string) => Schema | undefined;
 declare const resolveScheme: (env: Env, name: string) => TypeScheme | undefined;
 
 type Severity = "error" | "warning";
-type DiagnosticCode = "not-assignable" | "unknown-name" | "not-callable" | "no-such-member" | "not-object" | "const-needs-init" | "cannot-redeclare" | "unknown-module" | "not-a-schema" | "type-as-value" | "asserter-needs-name" | "shadows-schema" | "missing-argument" | "excess-argument" | "excess-property" | "spread-argument" | "required-after-optional" | "not-iterable" | "props-mismatch" | "no-matching-overload" | "constraint-violation" | "wrong-type-argument-count" | "unsupported" | "forbidden-member" | "unused-name" | "assign-to-const" | "readonly-write" | "cast-unsound" | "unprovable-value" | "not-arithmetic-operand" | "operator-not-applicable" | "implicit-coercion" | "node-not-allowed" | "name-not-allowed" | "type-feature-not-allowed" | "any-not-allowed" | "narrowing-cast-not-allowed" | "too-deep" | "too-complex-union" | "too-large" | "wrong-result-type";
+type DiagnosticCode = "not-assignable" | "unknown-name" | "not-callable" | "no-such-member" | "not-object" | "possibly-nullish" | "unknown-value" | "const-needs-init" | "cannot-redeclare" | "circular-type-alias" | "circular-type-annotation" | "unknown-module" | "not-a-schema" | "type-as-value" | "asserter-needs-name" | "shadows-schema" | "missing-argument" | "excess-argument" | "excess-property" | "spread-argument" | "required-after-optional" | "not-iterable" | "props-mismatch" | "no-matching-overload" | "constraint-violation" | "wrong-type-argument-count" | "unsupported" | "forbidden-member" | "unused-name" | "assign-to-const" | "readonly-write" | "cast-unsound" | "unprovable-value" | "not-arithmetic-operand" | "operator-not-applicable" | "implicit-coercion" | "node-not-allowed" | "name-not-allowed" | "type-feature-not-allowed" | "any-not-allowed" | "narrowing-cast-not-allowed" | "too-deep" | "too-complex-union" | "too-large" | "wrong-result-type";
 /**
  * A **classe** do diagnóstico — espelha a divisão de passes do `tsc` (que nós
  * fundimos num walk só): `semantic` é o que o **binder** do tsc pega (validade do
@@ -187,6 +189,29 @@ declare const diag: {
     notCallable: (node: BaseNode, type: Schema) => Diagnostic;
     noSuchMember: (node: BaseNode, type: Schema, key: string) => Diagnostic;
     notObject: (node: BaseNode, type: Schema) => Diagnostic;
+    /**
+     * Ler ou chamar através de um valor que pode ser `null`/`undefined` — o
+     * `checkNonNullTypeWithReporter` do tsc (`checker.ts:24098`), que tem uma mensagem por
+     * combinação, e a variante "Cannot invoke" quando o valor é chamado.
+     */
+    possiblyNullish: (node: BaseNode, nullish: {
+        readonly null: boolean;
+        readonly undefined: boolean;
+    }, invoked?: boolean) => Diagnostic;
+    /**
+     * Usar um valor `unknown` como objeto — ler dele, chamá-lo, indexá-lo ou operar
+     * sobre ele. É o mesmo `checkNonNullTypeWithReporter` (`checker.ts:24102`), no ramo
+     * que vem ANTES do nullish e em três linhas:
+     *
+     *     if (strictNullChecks && type.flags & TypeFlags.Unknown) {
+     *         error(node, Diagnostics.Object_is_of_type_unknown);
+     *         return errorType;
+     *     }
+     *
+     * Um código só e uma mensagem só, para os seis usos (o TS2571 da 3.9.10 — o
+     * TS18046 é de versão posterior e não existe na tag).
+     */
+    unknownValue: (node: BaseNode) => Diagnostic;
     constNeedsInit: (node: BaseNode) => Diagnostic;
     missingArgument: (node: BaseNode, name: string, expected: Schema) => Diagnostic;
     notASchema: (node: BaseNode, name: string) => Diagnostic;
@@ -195,7 +220,21 @@ declare const diag: {
     shadowsSchema: (node: BaseNode, name: string) => Diagnostic;
     unknownModule: (node: BaseNode, source: string) => Diagnostic;
     cannotRedeclare: (node: BaseNode, name: string) => Diagnostic;
+    circularTypeAlias: (node: BaseNode, name: string) => Diagnostic;
+    circularTypeAnnotation: (node: BaseNode, name: string) => Diagnostic;
     excessArgument: (node: BaseNode, expected: number, got: number) => Diagnostic;
+    /**
+     * A ARIDADE de uma chamada, com o texto do `getArgumentArityError` do tsc
+     * (`checker.ts:25477`): `Expected {range} arguments, but got {got}.` (TS2554), e
+     * `Expected at least {min} arguments, but got {got}.` quando a assinatura tem rest
+     * (TS2555). O `range` é `min` ou `min-max`, e o plural é sempre plural, como lá.
+     *
+     * O CÓDIGO continua dizendo a direção — `missing-argument` quando faltam, e
+     * `excess-argument` quando sobram —, que é informação que o texto do tsc perdeu ao
+     * usar um único TS2554 para os dois. A régua é a D2: o código é o contrato, a mensagem
+     * é prosa.
+     */
+    argumentArity: (node: BaseNode, range: string, got: number, kind: "missing" | "excess", atLeast?: boolean) => Diagnostic;
     excessProperty: (node: BaseNode, name: string, target: Schema) => Diagnostic;
     spreadArgument: (node: BaseNode) => Diagnostic;
     requiredAfterOptional: (node: BaseNode) => Diagnostic;
@@ -207,10 +246,12 @@ declare const diag: {
     /**
      * Argumento de tipo explícito com aridade errada. Assinatura **sem** type params
      * declarados conta como `expected: 0` — é o que o tsc faz quando
-     * `Signature.typeParameters` é `undefined` (ele nunca infere a lista). Mensagem no
-     * texto do TS2558.
+     * `Signature.typeParameters` é `undefined` (ele nunca infere a lista). Com default, o
+     * esperado é a faixa (`"1-2"`). Mensagem no texto do TS2558, que é sempre plural.
      */
-    wrongTypeArgumentCount: (node: BaseNode, expected: number, got: number) => Diagnostic;
+    wrongTypeArgumentCount: (node: BaseNode, expected: number | string, got: number) => Diagnostic;
+    /** Nenhuma sobrecarga aceita a aridade, e há uma abaixo e outra acima (≅ TS2743). */
+    noOverloadTypeArgumentCount: (node: BaseNode, got: number, below: number, above: number) => Diagnostic;
     /** Referência a um alias com aridade errada — as frases do tsc: TS2315 para um
      *  tipo que não é genérico, TS2314 para o resto (com o intervalo quando há default). */
     genericTypeArity: (node: BaseNode, name: string, min: number, max: number) => Diagnostic;
@@ -491,7 +532,7 @@ type BinaryOpCategory = "additive" | "arithmetic" | "bitwise" | "relational" | "
  */
 type OpResult = "number" | "boolean" | "string" | "additive";
 interface BinaryOpSpec {
-    readonly op: types$1.BinaryOperator;
+    readonly op: types.BinaryOperator;
     readonly category: BinaryOpCategory;
     readonly result: OpResult;
 }
@@ -503,14 +544,14 @@ declare const BINARY_OP: ReadonlyMap<string, BinaryOpSpec>;
  *  condicional e NÃO tem schema fixo: quem chama trata (ver `binaryType` no checker). */
 declare const opResultSchema: (r: Exclude<OpResult, "additive">) => Schema;
 interface UnaryOpSpec {
-    readonly op: types$1.UnaryOperator;
+    readonly op: types.UnaryOperator;
     /** O tipo ao qual o resultado é ASSIGNÁVEL (upper bound). O `unaryType` faz
      *  folding de literal (`-1`→`-1`, `!0`→`true`), então o real é um subtipo disto. */
     readonly result: "number" | "boolean" | "string" | "undefined";
 }
 declare const UNARY_OPS: readonly UnaryOpSpec[];
 interface LogicalOpSpec {
-    readonly op: types$1.LogicalOperator;
+    readonly op: types.LogicalOperator;
 }
 /** Os lógicos COMPÕEM o tipo dos operandos (`a && b` refina; não é tipo fixo) —
  *  por isso sem `result`. No slot, um lógico serve quando os operandos servem. */
@@ -559,6 +600,67 @@ type BindingMap = WeakMap<BaseNode, BaseNode>;
  */
 declare function collectBindings(root: BaseNode): BindingMap;
 
+/** O que um nome denota. */
+type ReferenceSymbol = {
+    readonly kind: "local";
+    /** O `Identifier` que declara — a identidade, por referência. */
+    readonly declaration: BaseNode;
+} | {
+    readonly kind: "environment";
+    /** O caminho a partir da raiz da DI: `["params"]`, `["params", "id"]`. */
+    readonly path: readonly string[];
+};
+/**
+ * Onde o nome aparece como SHORTHAND, e portanto nomeia duas coisas ao mesmo tempo
+ * — o `prefixText`/`suffixText` do `findRenameLocations` do TypeScript:
+ *
+ * - `"property"`: o nome é o valor e também a PROPRIEDADE (`{ x }`, ou `const { x
+ *   } = o` renomeando o `x` local). A propriedade continua com o nome antigo:
+ *   `{ x: x2 }`;
+ * - `"binding"`: o nome é a propriedade e também um BINDING (`const { id } =
+ *   params`, renomeando o `params.id`). O binding continua com o nome antigo:
+ *   `{ id2: id }`;
+ * - `"import"`: o nome importado é também o local (`import { a } from "m"`,
+ *   renomeando o local): `import { a as a2 }`.
+ */
+type Shorthand = "property" | "binding" | "import";
+/** Uma referência a tipo nomeado escrita numa anotação (a `typeRefs` do parser). */
+interface TypeRefSite {
+    readonly name: string;
+    readonly loc: SourceLocation;
+}
+/** Um lugar onde o nome aparece. */
+type Occurrence = {
+    /** O nó cujo texto É o nome: `Identifier`, `JSXIdentifier` ou a chave literal. */
+    readonly site: "node";
+    readonly node: BaseNode;
+    readonly symbol: ReferenceSymbol;
+    /** A declaração do símbolo, e não um uso. */
+    readonly isDeclaration?: true;
+    readonly shorthand?: Shorthand;
+} | {
+    /** Um segmento do `typeof a.b` numa anotação: o nó não tem posição por segmento. */
+    readonly site: "typeQuery";
+    readonly node: BaseNode;
+    readonly segment: number;
+    readonly symbol: ReferenceSymbol;
+} | {
+    /** Um nome de tipo numa anotação, que não é nó (E6 do editor). */
+    readonly site: "typeRef";
+    readonly ref: TypeRefSite;
+    readonly symbol: ReferenceSymbol;
+};
+/** Os dois símbolos são o mesmo? */
+declare function sameSymbol(a: ReferenceSymbol, b: ReferenceSymbol): boolean;
+/**
+ * Todas as ocorrências de nome do programa, cada uma com o símbolo que denota.
+ *
+ * Quem renomeia escolhe o símbolo sob o cursor (`occurrenceAt` do editor) e pega as
+ * ocorrências com `sameSymbol`; quem renomeia um caminho do ambiente sem cursor (o
+ * host que renomeou a declaração no `Env`) filtra pelo caminho direto.
+ */
+declare function collectReferences(root: BaseNode): readonly Occurrence[];
+
 /** Anota uma ligação/parâmetro: `x` → `x: T`. */
 declare const annotate: <N extends BaseNode>(node: N, type: Schema) => N & {
     typeAnnotation: Schema;
@@ -681,4 +783,4 @@ declare function anchorDiagnostics<A>(root: object, diagnostics: readonly Diagno
  */
 declare function spanOf(text: string, loc: SourceLocation | null | undefined): Span | undefined;
 
-export { type AnchorDiagnosticsOptions, type AnchoredDiagnostic, type Anchors, BINARY_OP, BINARY_OPS, type BinaryOpCategory, type BinaryOpSpec, type BindingMap, type CheckOptions, type CheckResult, type CheckerErrorCode, type Diagnostic, type DiagnosticCode, type DiagnosticData, type DiagnosticKind, type DiagnosticSink, type Env, type EnvOptions, FUNCTION_KINDS, type Guard, type GuardContext, LOGICAL_OPS, type LogicalOpSpec, type LowerValueOptions, type MissingProperty, type OpResult, type Profile, type Scope, type Severity, type TypeOverlay, UNARY_OPS, type UnaryOpSpec, type UnusedOptions, anchorDiagnostics, annotate, annotateReturn, asExpression, binaryOpsProducing, calleeAllowlist, capabilityNodes, check, childScope, collectBindings, collectMutations, collectUnused, componentProps, componentPropsOf, contextualTypeAt, createAnchors, createEnv, createSink, diag, diagnosticsAt, extractModuleType, fromCapability, guard, guardsFromCompiled, lookup, lowerValue, makeDiagnostic, maxArgs, maxCallNesting, maxDepth, maxFunctionNesting, maxNestingOf, maxNodes, memberCompletions, memberDepth, opResultSchema, resolveNamed, resolveScheme, resultType, rootScope, scopeAt, scopeCompletions, spanOf, typeAt, unaryOpsProducing, visibleNames };
+export { type AnchorDiagnosticsOptions, type AnchoredDiagnostic, type Anchors, BINARY_OP, BINARY_OPS, type BinaryOpCategory, type BinaryOpSpec, type BindingMap, type CheckOptions, type CheckResult, type CheckerErrorCode, Completion, type Diagnostic, type DiagnosticCode, type DiagnosticData, type DiagnosticKind, type DiagnosticSink, type Env, type EnvOptions, FUNCTION_KINDS, type Guard, type GuardContext, LOGICAL_OPS, type LogicalOpSpec, type LowerValueOptions, type MissingProperty, ObjectSchema, type Occurrence, type OpResult, type Profile, type ReferenceSymbol, Schema, Schemes, type Scope, type Severity, type Shorthand, type TypeOverlay, type TypeRefSite, TypeScheme, UNARY_OPS, type UnaryOpSpec, type UnusedOptions, anchorDiagnostics, annotate, annotateReturn, asExpression, binaryOpsProducing, calleeAllowlist, capabilityNodes, check, childScope, collectBindings, collectMutations, collectReferences, collectUnused, componentProps, componentPropsOf, contextualTypeAt, createAnchors, createEnv, createSink, diag, diagnosticsAt, extractModuleType, fromCapability, guard, guardsFromCompiled, lookup, lowerValue, makeDiagnostic, maxArgs, maxCallNesting, maxDepth, maxFunctionNesting, maxNestingOf, maxNodes, memberCompletions, memberDepth, opResultSchema, resolveNamed, resolveScheme, resultType, rootScope, sameSymbol, scopeAt, scopeCompletions, spanOf, typeAt, unaryOpsProducing, visibleNames };

package/dist/index.d.ts

@@ -1,6 +1,6 @@
-import { Schema, Schemes, TypeScheme, ObjectSchema, Completion } from '@tslite/types';
-export * from '@tslite/types';
-import { Scope as Scope$1, BaseNode, Node, types as types$1, Expression, SourceLocation } from '@tslite/ast';
+import { Schema, Schemes, TypeScheme, ObjectSchema, Completion } from './types/index.js';
+export { AnySchema, ApplySchema, ArraySchema, Bindings, DEFAULT_TYPE_LIMITS, Discovery, ElementFlag, FnSchema, GuardSig, INSTANTIATION_COUNT_LIMIT, INSTANTIATION_DEPTH_LIMIT, Incompatibility, IncompatibilityKind, IndexSchema, Instantiation, InstantiationLimitError, KeyofSchema, LiteralSchema, MappedSchema, OverloadSchema, Param, Prop, ScalarSchema, TYPE_EVAL_DEPTH_LIMIT, TupleSchema, TypeEvalLimitError, TypeEvalLimits, TypeForm, TypePosition, UnionSchema, UnionTooComplexError, UnknownSchema, VarCandidates, VarSchema, apparentType, asLiteralOrigin, baseLiteralType, bindTypeParams, comparable, configureTypeLimits, contravariantInference, covariantInference, discover, equals, erasedSignature, expand1, flagAt, format, formatTypeArgs, formatTypeDiff, freeVars, groundVars, inferFromCandidates, inferredTypes, instantiate, instantiateInContextOf, instantiateLoose, isMissingType, isNumericLiteralName, isObjectOrArrayLiteral, isScheme, isSerializable, isVariadicTuple, join, joinAll, missingType, normalizeUnion, ownProp, renameTypeParams, resetInstantiationCount, resetTypeLimits, resolveConditional, resolveOp, resolveTypeOp, restIndex, s, sampleValue, silentNever, substitute, subtype, typeAtPosition, typeDiff, typeFeatures, typeLimits, typeNeedsParens, typeParamArity, unify, widen, widenInferred, widenLiteral, widenOrigin, widenType, withoutUndefined } from './types/index.js';
+import { Scope as Scope$1, BaseNode, Node, types, SourceLocation, Expression } from '@tslite/ast';
 import { CapabilityProfile, CompiledProfile } from '@tslite/capability';
 import { Span } from '@tslite/language-service';
 
@@ -17,9 +17,11 @@ declare const childScope: (parent: Scope, vars: Record<string, Schema>) => Scope
 declare const lookup: (scope: Scope, name: string) => Schema | undefined;
 /**
  * Todos os nomes visíveis a partir de `scope`, com shadowing — o binding mais
- * interno vence. É o que alimenta o autocomplete de identificadores. Uma chave
- * com `.` não é binding: é um caminho estreitado por guard (`narrow`, D13), que
- * mora no mesmo escopo mas não é nome visível.
+ * interno vence. É o que alimenta o autocomplete de identificadores. Duas
+ * chaves moram no mesmo escopo e não são nomes: a que tem `.` é um caminho
+ * estreitado por guard (`narrow`, D13), e a que termina em `#` é o tipo
+ * DECLARADO de um binding mutável (D63) — nenhum identificador tem esses
+ * caracteres.
  */
 declare const visibleNames: (scope: Scope) => Map<string, Schema>;
 /**
@@ -112,7 +114,7 @@ declare const resolveNamed: (env: Env, name: string) => Schema | undefined;
 declare const resolveScheme: (env: Env, name: string) => TypeScheme | undefined;
 
 type Severity = "error" | "warning";
-type DiagnosticCode = "not-assignable" | "unknown-name" | "not-callable" | "no-such-member" | "not-object" | "const-needs-init" | "cannot-redeclare" | "unknown-module" | "not-a-schema" | "type-as-value" | "asserter-needs-name" | "shadows-schema" | "missing-argument" | "excess-argument" | "excess-property" | "spread-argument" | "required-after-optional" | "not-iterable" | "props-mismatch" | "no-matching-overload" | "constraint-violation" | "wrong-type-argument-count" | "unsupported" | "forbidden-member" | "unused-name" | "assign-to-const" | "readonly-write" | "cast-unsound" | "unprovable-value" | "not-arithmetic-operand" | "operator-not-applicable" | "implicit-coercion" | "node-not-allowed" | "name-not-allowed" | "type-feature-not-allowed" | "any-not-allowed" | "narrowing-cast-not-allowed" | "too-deep" | "too-complex-union" | "too-large" | "wrong-result-type";
+type DiagnosticCode = "not-assignable" | "unknown-name" | "not-callable" | "no-such-member" | "not-object" | "possibly-nullish" | "unknown-value" | "const-needs-init" | "cannot-redeclare" | "circular-type-alias" | "circular-type-annotation" | "unknown-module" | "not-a-schema" | "type-as-value" | "asserter-needs-name" | "shadows-schema" | "missing-argument" | "excess-argument" | "excess-property" | "spread-argument" | "required-after-optional" | "not-iterable" | "props-mismatch" | "no-matching-overload" | "constraint-violation" | "wrong-type-argument-count" | "unsupported" | "forbidden-member" | "unused-name" | "assign-to-const" | "readonly-write" | "cast-unsound" | "unprovable-value" | "not-arithmetic-operand" | "operator-not-applicable" | "implicit-coercion" | "node-not-allowed" | "name-not-allowed" | "type-feature-not-allowed" | "any-not-allowed" | "narrowing-cast-not-allowed" | "too-deep" | "too-complex-union" | "too-large" | "wrong-result-type";
 /**
  * A **classe** do diagnóstico — espelha a divisão de passes do `tsc` (que nós
  * fundimos num walk só): `semantic` é o que o **binder** do tsc pega (validade do
@@ -187,6 +189,29 @@ declare const diag: {
     notCallable: (node: BaseNode, type: Schema) => Diagnostic;
     noSuchMember: (node: BaseNode, type: Schema, key: string) => Diagnostic;
     notObject: (node: BaseNode, type: Schema) => Diagnostic;
+    /**
+     * Ler ou chamar através de um valor que pode ser `null`/`undefined` — o
+     * `checkNonNullTypeWithReporter` do tsc (`checker.ts:24098`), que tem uma mensagem por
+     * combinação, e a variante "Cannot invoke" quando o valor é chamado.
+     */
+    possiblyNullish: (node: BaseNode, nullish: {
+        readonly null: boolean;
+        readonly undefined: boolean;
+    }, invoked?: boolean) => Diagnostic;
+    /**
+     * Usar um valor `unknown` como objeto — ler dele, chamá-lo, indexá-lo ou operar
+     * sobre ele. É o mesmo `checkNonNullTypeWithReporter` (`checker.ts:24102`), no ramo
+     * que vem ANTES do nullish e em três linhas:
+     *
+     *     if (strictNullChecks && type.flags & TypeFlags.Unknown) {
+     *         error(node, Diagnostics.Object_is_of_type_unknown);
+     *         return errorType;
+     *     }
+     *
+     * Um código só e uma mensagem só, para os seis usos (o TS2571 da 3.9.10 — o
+     * TS18046 é de versão posterior e não existe na tag).
+     */
+    unknownValue: (node: BaseNode) => Diagnostic;
     constNeedsInit: (node: BaseNode) => Diagnostic;
     missingArgument: (node: BaseNode, name: string, expected: Schema) => Diagnostic;
     notASchema: (node: BaseNode, name: string) => Diagnostic;
@@ -195,7 +220,21 @@ declare const diag: {
     shadowsSchema: (node: BaseNode, name: string) => Diagnostic;
     unknownModule: (node: BaseNode, source: string) => Diagnostic;
     cannotRedeclare: (node: BaseNode, name: string) => Diagnostic;
+    circularTypeAlias: (node: BaseNode, name: string) => Diagnostic;
+    circularTypeAnnotation: (node: BaseNode, name: string) => Diagnostic;
     excessArgument: (node: BaseNode, expected: number, got: number) => Diagnostic;
+    /**
+     * A ARIDADE de uma chamada, com o texto do `getArgumentArityError` do tsc
+     * (`checker.ts:25477`): `Expected {range} arguments, but got {got}.` (TS2554), e
+     * `Expected at least {min} arguments, but got {got}.` quando a assinatura tem rest
+     * (TS2555). O `range` é `min` ou `min-max`, e o plural é sempre plural, como lá.
+     *
+     * O CÓDIGO continua dizendo a direção — `missing-argument` quando faltam, e
+     * `excess-argument` quando sobram —, que é informação que o texto do tsc perdeu ao
+     * usar um único TS2554 para os dois. A régua é a D2: o código é o contrato, a mensagem
+     * é prosa.
+     */
+    argumentArity: (node: BaseNode, range: string, got: number, kind: "missing" | "excess", atLeast?: boolean) => Diagnostic;
     excessProperty: (node: BaseNode, name: string, target: Schema) => Diagnostic;
     spreadArgument: (node: BaseNode) => Diagnostic;
     requiredAfterOptional: (node: BaseNode) => Diagnostic;
@@ -207,10 +246,12 @@ declare const diag: {
     /**
      * Argumento de tipo explícito com aridade errada. Assinatura **sem** type params
      * declarados conta como `expected: 0` — é o que o tsc faz quando
-     * `Signature.typeParameters` é `undefined` (ele nunca infere a lista). Mensagem no
-     * texto do TS2558.
+     * `Signature.typeParameters` é `undefined` (ele nunca infere a lista). Com default, o
+     * esperado é a faixa (`"1-2"`). Mensagem no texto do TS2558, que é sempre plural.
      */
-    wrongTypeArgumentCount: (node: BaseNode, expected: number, got: number) => Diagnostic;
+    wrongTypeArgumentCount: (node: BaseNode, expected: number | string, got: number) => Diagnostic;
+    /** Nenhuma sobrecarga aceita a aridade, e há uma abaixo e outra acima (≅ TS2743). */
+    noOverloadTypeArgumentCount: (node: BaseNode, got: number, below: number, above: number) => Diagnostic;
     /** Referência a um alias com aridade errada — as frases do tsc: TS2315 para um
      *  tipo que não é genérico, TS2314 para o resto (com o intervalo quando há default). */
     genericTypeArity: (node: BaseNode, name: string, min: number, max: number) => Diagnostic;
@@ -491,7 +532,7 @@ type BinaryOpCategory = "additive" | "arithmetic" | "bitwise" | "relational" | "
  */
 type OpResult = "number" | "boolean" | "string" | "additive";
 interface BinaryOpSpec {
-    readonly op: types$1.BinaryOperator;
+    readonly op: types.BinaryOperator;
     readonly category: BinaryOpCategory;
     readonly result: OpResult;
 }
@@ -503,14 +544,14 @@ declare const BINARY_OP: ReadonlyMap<string, BinaryOpSpec>;
  *  condicional e NÃO tem schema fixo: quem chama trata (ver `binaryType` no checker). */
 declare const opResultSchema: (r: Exclude<OpResult, "additive">) => Schema;
 interface UnaryOpSpec {
-    readonly op: types$1.UnaryOperator;
+    readonly op: types.UnaryOperator;
     /** O tipo ao qual o resultado é ASSIGNÁVEL (upper bound). O `unaryType` faz
      *  folding de literal (`-1`→`-1`, `!0`→`true`), então o real é um subtipo disto. */
     readonly result: "number" | "boolean" | "string" | "undefined";
 }
 declare const UNARY_OPS: readonly UnaryOpSpec[];
 interface LogicalOpSpec {
-    readonly op: types$1.LogicalOperator;
+    readonly op: types.LogicalOperator;
 }
 /** Os lógicos COMPÕEM o tipo dos operandos (`a && b` refina; não é tipo fixo) —
  *  por isso sem `result`. No slot, um lógico serve quando os operandos servem. */
@@ -559,6 +600,67 @@ type BindingMap = WeakMap<BaseNode, BaseNode>;
  */
 declare function collectBindings(root: BaseNode): BindingMap;
 
+/** O que um nome denota. */
+type ReferenceSymbol = {
+    readonly kind: "local";
+    /** O `Identifier` que declara — a identidade, por referência. */
+    readonly declaration: BaseNode;
+} | {
+    readonly kind: "environment";
+    /** O caminho a partir da raiz da DI: `["params"]`, `["params", "id"]`. */
+    readonly path: readonly string[];
+};
+/**
+ * Onde o nome aparece como SHORTHAND, e portanto nomeia duas coisas ao mesmo tempo
+ * — o `prefixText`/`suffixText` do `findRenameLocations` do TypeScript:
+ *
+ * - `"property"`: o nome é o valor e também a PROPRIEDADE (`{ x }`, ou `const { x
+ *   } = o` renomeando o `x` local). A propriedade continua com o nome antigo:
+ *   `{ x: x2 }`;
+ * - `"binding"`: o nome é a propriedade e também um BINDING (`const { id } =
+ *   params`, renomeando o `params.id`). O binding continua com o nome antigo:
+ *   `{ id2: id }`;
+ * - `"import"`: o nome importado é também o local (`import { a } from "m"`,
+ *   renomeando o local): `import { a as a2 }`.
+ */
+type Shorthand = "property" | "binding" | "import";
+/** Uma referência a tipo nomeado escrita numa anotação (a `typeRefs` do parser). */
+interface TypeRefSite {
+    readonly name: string;
+    readonly loc: SourceLocation;
+}
+/** Um lugar onde o nome aparece. */
+type Occurrence = {
+    /** O nó cujo texto É o nome: `Identifier`, `JSXIdentifier` ou a chave literal. */
+    readonly site: "node";
+    readonly node: BaseNode;
+    readonly symbol: ReferenceSymbol;
+    /** A declaração do símbolo, e não um uso. */
+    readonly isDeclaration?: true;
+    readonly shorthand?: Shorthand;
+} | {
+    /** Um segmento do `typeof a.b` numa anotação: o nó não tem posição por segmento. */
+    readonly site: "typeQuery";
+    readonly node: BaseNode;
+    readonly segment: number;
+    readonly symbol: ReferenceSymbol;
+} | {
+    /** Um nome de tipo numa anotação, que não é nó (E6 do editor). */
+    readonly site: "typeRef";
+    readonly ref: TypeRefSite;
+    readonly symbol: ReferenceSymbol;
+};
+/** Os dois símbolos são o mesmo? */
+declare function sameSymbol(a: ReferenceSymbol, b: ReferenceSymbol): boolean;
+/**
+ * Todas as ocorrências de nome do programa, cada uma com o símbolo que denota.
+ *
+ * Quem renomeia escolhe o símbolo sob o cursor (`occurrenceAt` do editor) e pega as
+ * ocorrências com `sameSymbol`; quem renomeia um caminho do ambiente sem cursor (o
+ * host que renomeou a declaração no `Env`) filtra pelo caminho direto.
+ */
+declare function collectReferences(root: BaseNode): readonly Occurrence[];
+
 /** Anota uma ligação/parâmetro: `x` → `x: T`. */
 declare const annotate: <N extends BaseNode>(node: N, type: Schema) => N & {
     typeAnnotation: Schema;
@@ -681,4 +783,4 @@ declare function anchorDiagnostics<A>(root: object, diagnostics: readonly Diagno
  */
 declare function spanOf(text: string, loc: SourceLocation | null | undefined): Span | undefined;
 
-export { type AnchorDiagnosticsOptions, type AnchoredDiagnostic, type Anchors, BINARY_OP, BINARY_OPS, type BinaryOpCategory, type BinaryOpSpec, type BindingMap, type CheckOptions, type CheckResult, type CheckerErrorCode, type Diagnostic, type DiagnosticCode, type DiagnosticData, type DiagnosticKind, type DiagnosticSink, type Env, type EnvOptions, FUNCTION_KINDS, type Guard, type GuardContext, LOGICAL_OPS, type LogicalOpSpec, type LowerValueOptions, type MissingProperty, type OpResult, type Profile, type Scope, type Severity, type TypeOverlay, UNARY_OPS, type UnaryOpSpec, type UnusedOptions, anchorDiagnostics, annotate, annotateReturn, asExpression, binaryOpsProducing, calleeAllowlist, capabilityNodes, check, childScope, collectBindings, collectMutations, collectUnused, componentProps, componentPropsOf, contextualTypeAt, createAnchors, createEnv, createSink, diag, diagnosticsAt, extractModuleType, fromCapability, guard, guardsFromCompiled, lookup, lowerValue, makeDiagnostic, maxArgs, maxCallNesting, maxDepth, maxFunctionNesting, maxNestingOf, maxNodes, memberCompletions, memberDepth, opResultSchema, resolveNamed, resolveScheme, resultType, rootScope, scopeAt, scopeCompletions, spanOf, typeAt, unaryOpsProducing, visibleNames };
+export { type AnchorDiagnosticsOptions, type AnchoredDiagnostic, type Anchors, BINARY_OP, BINARY_OPS, type BinaryOpCategory, type BinaryOpSpec, type BindingMap, type CheckOptions, type CheckResult, type CheckerErrorCode, Completion, type Diagnostic, type DiagnosticCode, type DiagnosticData, type DiagnosticKind, type DiagnosticSink, type Env, type EnvOptions, FUNCTION_KINDS, type Guard, type GuardContext, LOGICAL_OPS, type LogicalOpSpec, type LowerValueOptions, type MissingProperty, ObjectSchema, type Occurrence, type OpResult, type Profile, type ReferenceSymbol, Schema, Schemes, type Scope, type Severity, type Shorthand, type TypeOverlay, type TypeRefSite, TypeScheme, UNARY_OPS, type UnaryOpSpec, type UnusedOptions, anchorDiagnostics, annotate, annotateReturn, asExpression, binaryOpsProducing, calleeAllowlist, capabilityNodes, check, childScope, collectBindings, collectMutations, collectReferences, collectUnused, componentProps, componentPropsOf, contextualTypeAt, createAnchors, createEnv, createSink, diag, diagnosticsAt, extractModuleType, fromCapability, guard, guardsFromCompiled, lookup, lowerValue, makeDiagnostic, maxArgs, maxCallNesting, maxDepth, maxFunctionNesting, maxNestingOf, maxNodes, memberCompletions, memberDepth, opResultSchema, resolveNamed, resolveScheme, resultType, rootScope, sameSymbol, scopeAt, scopeCompletions, spanOf, typeAt, unaryOpsProducing, visibleNames };