@tslite/checker 1.5.0 → 1.6.0

package/dist/index.d.cts

@@ -1,5 +1,5 @@
 import { VarSchema, 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, PathSegment, Prop, ScalarSchema, TYPE_EVAL_DEPTH_LIMIT, TupleSchema, TypeEvalLimitError, TypeEvalLimits, TypeForm, TypePosition, UnionSchema, UnionTooComplexError, UnknownSchema, VarCandidates, WriteKey, 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, readonlyMember, renameTypeParams, resetInstantiationCount, resetTypeLimits, resolveConditional, resolveOp, resolveTypeOp, restIndex, restTypeAtPosition, s, sampleValue, silentNever, substitute, subtype, typeAtPosition, typeDiff, typeFeatures, typeLimits, typeNeedsParens, typeParamArity, unify, widen, widenInferred, widenLiteral, widenOrigin, widenType, withUndefined, withoutUndefined } 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, PathSegment, Prop, ScalarSchema, TYPE_EVAL_DEPTH_LIMIT, TupleSchema, TypeEvalLimitError, TypeEvalLimits, TypeForm, TypePosition, UnionSchema, UnionTooComplexError, UnknownSchema, VarCandidates, WriteKey, 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, readonlyMember, renameTypeParams, resetInstantiationCount, resetTypeLimits, resolveConditional, resolveOp, resolveTypeOp, restIndex, restTypeAtPosition, s, sampleValue, silentNever, substitute, subtype, typeAtPosition, typeDiff, typeFeatures, typeLimits, typeNeedsParens, typeParamArity, unify, version, widen, widenInferred, widenLiteral, widenOrigin, widenType, withUndefined, 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';
@@ -139,7 +139,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" | "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" | "not-spreadable" | "implicit-any" | "props-mismatch" | "no-matching-overload" | "constraint-violation" | "wrong-type-argument-count" | "unsupported" | "unused-name" | "assign-to-const" | "for-in-destructuring" | "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" | "not-spreadable" | "overwritten-property" | "implicit-any" | "props-mismatch" | "no-matching-overload" | "constraint-violation" | "wrong-type-argument-count" | "unsupported" | "unused-name" | "assign-to-const" | "for-in-destructuring" | "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 +187,16 @@ type DiagnosticData = {
     readonly kind: "implicit-coercion";
     readonly textConvertible: boolean;
 };
+/**
+ * Outro lugar do programa que explica o diagnóstico — o `DiagnosticRelatedInformation` do
+ * tsc (`types.ts`), que o `addRelatedInfo` anexa, e o `relatedInformation` do LSP. O nó é
+ * por referência, como o do diagnóstico; a mensagem diz o papel dele ("This spread always
+ * overwrites this property.").
+ */
+interface DiagnosticRelatedInformation {
+    readonly node: BaseNode;
+    readonly message: string;
+}
 interface Diagnostic {
     readonly code: DiagnosticCode;
     /** A classe do diagnóstico (deriva do `code`) — ver {@link DiagnosticKind}. */
@@ -197,6 +207,8 @@ interface Diagnostic {
     readonly message: string;
     /** Ver {@link DiagnosticData}. Presente só onde há o que agir. */
     readonly data?: DiagnosticData;
+    /** Ver {@link DiagnosticRelatedInformation}. Presente só onde o tsc a anexa. */
+    readonly relatedInformation?: readonly DiagnosticRelatedInformation[];
 }
 /**
  * Builder genérico de diagnóstico (severidade configurável). Usado pelos
@@ -265,12 +277,41 @@ declare const diag: {
     requiredAfterOptional: (node: BaseNode) => Diagnostic;
     notIterable: (node: BaseNode, type: Schema) => Diagnostic;
     /**
-     * O rest de um padrão de objeto (`{ a, ...rest }`) sobre uma fonte que não é objeto — o
-     * TS2700 do tsc, no elemento do rest (`getTypeForBindingElement`, `checker.ts:7439`: o
-     * `isValidSpreadType` da fonte). O código é o do conceito — a fonte não se espalha —, par do
-     * `not-iterable` do padrão de array.
+     * A fonte não se espalha: o `isValidSpreadType` do tsc (`checker.ts:23342`) a recusa. O
+     * código é o do conceito, par do `not-iterable` do padrão de array; a mensagem diz o caso.
+     */
+    notSpreadable: {
+        /** TS2700: o rest de um padrão de objeto (`{ a, ...rest }`), no elemento do rest
+         *  (`getTypeForBindingElement`, `checker.ts:7439`). D80. */
+        rest: (node: BaseNode) => Diagnostic;
+        /** TS2698: o spread num literal de objeto (`{ ...x }`), no membro `...x`
+         *  (`checkObjectLiteral`, `checker.ts:23254`). */
+        spread: (node: BaseNode) => Diagnostic;
+    };
+    /**
+     * A chave escrita duas vezes num literal de objeto. O tsc a acusa por três mecanismos, e
+     * cada um é um diagnóstico com o texto e o nó dele; o conceito é um só, o do
+     * `cannot-redeclare` (D25).
+     */
+    duplicateKey: {
+        /** TS1117: a chave IDENTIFICADOR repetida, no modo estrito (o `bindObjectLiteralExpression`
+         *  do binder, `binder.ts:2037`), na repetição. */
+        strict: (node: BaseNode) => Diagnostic;
+        /** TS2300: o nome repetido (o `checkGrammarObjectLiteralExpression`), na repetição, com o
+         *  texto do nome como escrito. */
+        identifier: (node: BaseNode, text: string) => Diagnostic;
+        /** TS2718: a chave computada ligada tarde com o nome de uma prop ligada cedo (o
+         *  `lateBindMember`), na chave tardia. */
+        lateBound: (node: BaseNode, name: string) => Diagnostic;
+        /** TS2733: a primeira declaração ligada cedo desse nome, no mesmo `lateBindMember`. */
+        alsoDeclared: (node: BaseNode, name: string) => Diagnostic;
+    };
+    /**
+     * TS2783: a prop escrita num literal de objeto que um spread seguinte sempre sobrescreve,
+     * na prop escrita, com o spread na informação relacionada (TS2785) — o
+     * `checkSpreadPropOverrides` do tsc (`checker.ts:23558`).
      */
-    notSpreadable: (node: BaseNode) => Diagnostic;
+    overwrittenProperty: (node: BaseNode, name: string, spread: BaseNode) => Diagnostic;
     /**
      * O `any` que ninguém escreveu — o `noImplicitAny` do tsc 3.9.10, que faz parte do
      * `--strict` e está sempre ligado aqui (D81). Um código só, com o texto de cada caso (o
@@ -399,11 +440,13 @@ declare const diag: {
 /**
  * Coletor de diagnósticos — acumula durante o walk, sem `throw`.
  *
- * Guarda cada diagnóstico UMA vez: um segundo com o mesmo nó, o mesmo código e a mesma
- * mensagem não entra. É a coleção do tsc (`createDiagnosticCollection`, que insere pelo
- * `insertSorted` e não repete o que o `compareDiagnostics` acha igual), e é o que deixa
- * um argumento ser tipado mais de uma vez — as rodadas da chamada (D53, D81) — sem que o
- * erro de dentro dele saia duas vezes.
+ * Guarda cada diagnóstico UMA vez: um segundo com o mesmo nó, o mesmo código, a mesma
+ * mensagem e a mesma informação relacionada não entra. É a coleção do tsc
+ * (`createDiagnosticCollection`, que insere pelo `insertSorted` e não repete o que o
+ * `compareDiagnostics` acha igual — ele compara também o `relatedInformation`), e é o que
+ * deixa um argumento ser tipado mais de uma vez — as rodadas da chamada (D53, D81) — sem
+ * que o erro de dentro dele saia duas vezes. Dois diagnósticos que só diferem na
+ * informação relacionada são dois: `{ a: 1, ...o1, ...o2 }` acusa o `a` uma vez por spread.
  */
 interface DiagnosticSink {
     /** Diagnósticos coletados, na ordem em que foram reportados, sem repetição. */
@@ -876,4 +919,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, 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, type Nominals, 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, VarSchema, 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 };
+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 DiagnosticRelatedInformation, type DiagnosticSink, type Env, type EnvOptions, FUNCTION_KINDS, type Guard, type GuardContext, LOGICAL_OPS, type LogicalOpSpec, type LowerValueOptions, type MissingProperty, type Nominals, 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, VarSchema, 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,5 +1,5 @@
 import { VarSchema, 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, PathSegment, Prop, ScalarSchema, TYPE_EVAL_DEPTH_LIMIT, TupleSchema, TypeEvalLimitError, TypeEvalLimits, TypeForm, TypePosition, UnionSchema, UnionTooComplexError, UnknownSchema, VarCandidates, WriteKey, 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, readonlyMember, renameTypeParams, resetInstantiationCount, resetTypeLimits, resolveConditional, resolveOp, resolveTypeOp, restIndex, restTypeAtPosition, s, sampleValue, silentNever, substitute, subtype, typeAtPosition, typeDiff, typeFeatures, typeLimits, typeNeedsParens, typeParamArity, unify, widen, widenInferred, widenLiteral, widenOrigin, widenType, withUndefined, withoutUndefined } 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, PathSegment, Prop, ScalarSchema, TYPE_EVAL_DEPTH_LIMIT, TupleSchema, TypeEvalLimitError, TypeEvalLimits, TypeForm, TypePosition, UnionSchema, UnionTooComplexError, UnknownSchema, VarCandidates, WriteKey, 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, readonlyMember, renameTypeParams, resetInstantiationCount, resetTypeLimits, resolveConditional, resolveOp, resolveTypeOp, restIndex, restTypeAtPosition, s, sampleValue, silentNever, substitute, subtype, typeAtPosition, typeDiff, typeFeatures, typeLimits, typeNeedsParens, typeParamArity, unify, version, widen, widenInferred, widenLiteral, widenOrigin, widenType, withUndefined, 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';
@@ -139,7 +139,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" | "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" | "not-spreadable" | "implicit-any" | "props-mismatch" | "no-matching-overload" | "constraint-violation" | "wrong-type-argument-count" | "unsupported" | "unused-name" | "assign-to-const" | "for-in-destructuring" | "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" | "not-spreadable" | "overwritten-property" | "implicit-any" | "props-mismatch" | "no-matching-overload" | "constraint-violation" | "wrong-type-argument-count" | "unsupported" | "unused-name" | "assign-to-const" | "for-in-destructuring" | "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 +187,16 @@ type DiagnosticData = {
     readonly kind: "implicit-coercion";
     readonly textConvertible: boolean;
 };
+/**
+ * Outro lugar do programa que explica o diagnóstico — o `DiagnosticRelatedInformation` do
+ * tsc (`types.ts`), que o `addRelatedInfo` anexa, e o `relatedInformation` do LSP. O nó é
+ * por referência, como o do diagnóstico; a mensagem diz o papel dele ("This spread always
+ * overwrites this property.").
+ */
+interface DiagnosticRelatedInformation {
+    readonly node: BaseNode;
+    readonly message: string;
+}
 interface Diagnostic {
     readonly code: DiagnosticCode;
     /** A classe do diagnóstico (deriva do `code`) — ver {@link DiagnosticKind}. */
@@ -197,6 +207,8 @@ interface Diagnostic {
     readonly message: string;
     /** Ver {@link DiagnosticData}. Presente só onde há o que agir. */
     readonly data?: DiagnosticData;
+    /** Ver {@link DiagnosticRelatedInformation}. Presente só onde o tsc a anexa. */
+    readonly relatedInformation?: readonly DiagnosticRelatedInformation[];
 }
 /**
  * Builder genérico de diagnóstico (severidade configurável). Usado pelos
@@ -265,12 +277,41 @@ declare const diag: {
     requiredAfterOptional: (node: BaseNode) => Diagnostic;
     notIterable: (node: BaseNode, type: Schema) => Diagnostic;
     /**
-     * O rest de um padrão de objeto (`{ a, ...rest }`) sobre uma fonte que não é objeto — o
-     * TS2700 do tsc, no elemento do rest (`getTypeForBindingElement`, `checker.ts:7439`: o
-     * `isValidSpreadType` da fonte). O código é o do conceito — a fonte não se espalha —, par do
-     * `not-iterable` do padrão de array.
+     * A fonte não se espalha: o `isValidSpreadType` do tsc (`checker.ts:23342`) a recusa. O
+     * código é o do conceito, par do `not-iterable` do padrão de array; a mensagem diz o caso.
+     */
+    notSpreadable: {
+        /** TS2700: o rest de um padrão de objeto (`{ a, ...rest }`), no elemento do rest
+         *  (`getTypeForBindingElement`, `checker.ts:7439`). D80. */
+        rest: (node: BaseNode) => Diagnostic;
+        /** TS2698: o spread num literal de objeto (`{ ...x }`), no membro `...x`
+         *  (`checkObjectLiteral`, `checker.ts:23254`). */
+        spread: (node: BaseNode) => Diagnostic;
+    };
+    /**
+     * A chave escrita duas vezes num literal de objeto. O tsc a acusa por três mecanismos, e
+     * cada um é um diagnóstico com o texto e o nó dele; o conceito é um só, o do
+     * `cannot-redeclare` (D25).
+     */
+    duplicateKey: {
+        /** TS1117: a chave IDENTIFICADOR repetida, no modo estrito (o `bindObjectLiteralExpression`
+         *  do binder, `binder.ts:2037`), na repetição. */
+        strict: (node: BaseNode) => Diagnostic;
+        /** TS2300: o nome repetido (o `checkGrammarObjectLiteralExpression`), na repetição, com o
+         *  texto do nome como escrito. */
+        identifier: (node: BaseNode, text: string) => Diagnostic;
+        /** TS2718: a chave computada ligada tarde com o nome de uma prop ligada cedo (o
+         *  `lateBindMember`), na chave tardia. */
+        lateBound: (node: BaseNode, name: string) => Diagnostic;
+        /** TS2733: a primeira declaração ligada cedo desse nome, no mesmo `lateBindMember`. */
+        alsoDeclared: (node: BaseNode, name: string) => Diagnostic;
+    };
+    /**
+     * TS2783: a prop escrita num literal de objeto que um spread seguinte sempre sobrescreve,
+     * na prop escrita, com o spread na informação relacionada (TS2785) — o
+     * `checkSpreadPropOverrides` do tsc (`checker.ts:23558`).
      */
-    notSpreadable: (node: BaseNode) => Diagnostic;
+    overwrittenProperty: (node: BaseNode, name: string, spread: BaseNode) => Diagnostic;
     /**
      * O `any` que ninguém escreveu — o `noImplicitAny` do tsc 3.9.10, que faz parte do
      * `--strict` e está sempre ligado aqui (D81). Um código só, com o texto de cada caso (o
@@ -399,11 +440,13 @@ declare const diag: {
 /**
  * Coletor de diagnósticos — acumula durante o walk, sem `throw`.
  *
- * Guarda cada diagnóstico UMA vez: um segundo com o mesmo nó, o mesmo código e a mesma
- * mensagem não entra. É a coleção do tsc (`createDiagnosticCollection`, que insere pelo
- * `insertSorted` e não repete o que o `compareDiagnostics` acha igual), e é o que deixa
- * um argumento ser tipado mais de uma vez — as rodadas da chamada (D53, D81) — sem que o
- * erro de dentro dele saia duas vezes.
+ * Guarda cada diagnóstico UMA vez: um segundo com o mesmo nó, o mesmo código, a mesma
+ * mensagem e a mesma informação relacionada não entra. É a coleção do tsc
+ * (`createDiagnosticCollection`, que insere pelo `insertSorted` e não repete o que o
+ * `compareDiagnostics` acha igual — ele compara também o `relatedInformation`), e é o que
+ * deixa um argumento ser tipado mais de uma vez — as rodadas da chamada (D53, D81) — sem
+ * que o erro de dentro dele saia duas vezes. Dois diagnósticos que só diferem na
+ * informação relacionada são dois: `{ a: 1, ...o1, ...o2 }` acusa o `a` uma vez por spread.
  */
 interface DiagnosticSink {
     /** Diagnósticos coletados, na ordem em que foram reportados, sem repetição. */
@@ -876,4 +919,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, 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, type Nominals, 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, VarSchema, 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 };
+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 DiagnosticRelatedInformation, type DiagnosticSink, type Env, type EnvOptions, FUNCTION_KINDS, type Guard, type GuardContext, LOGICAL_OPS, type LogicalOpSpec, type LowerValueOptions, type MissingProperty, type Nominals, 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, VarSchema, 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 };