@tslite/checker 1.4.0 → 1.6.0

package/dist/index.d.cts

@@ -1,9 +1,12 @@
-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 { 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, 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';
 
+/** As declarações de tipo nominal: o nome e os type params, em ordem. */
+type Nominals = Readonly<Record<string, readonly VarSchema[]>>;
+
 /**
  * Um nível de escopo léxico (nome → `Schema`), sobre o `Scope<T>` genérico do
  * `ast` — a mesma cadeia que o `behavior` usa, com o payload do eixo de tipos.
@@ -73,6 +76,21 @@ interface Env {
      * especificador) é da app (Proposal 005). Default: nenhum.
      */
     readonly modules?: Readonly<Record<string, Schema>>;
+    /**
+     * Os aliases da **lib padrão** (`Partial`, `Pick`, `Record`, `Omit`, `ReturnType`…),
+     * o texto do `lib.es5.d.ts` do tsc 3.9.10 com o corte do TSLite (D79). Ficam ABAIXO
+     * de tudo: um tipo do host ou um alias do programa com o mesmo nome os sombreia.
+     * Vazio com `noLib`.
+     */
+    readonly lib?: Schemes;
+    /**
+     * Os tipos **nominais** que um texto de tipo pode citar pelo nome: o nome e os type
+     * params de cada um. São os `interface` da lib (`Array`, `ReadonlyArray`, `Promise`)
+     * e os que o host declara (`Map`, `Element`…). Um nominal é o `apply` opaco (types
+     * TC2): o texto `Promise<User>` e o construtor `s.apply("Promise", [User])` são o
+     * mesmo tipo, e a aridade é cobrada como a de um alias.
+     */
+    readonly nominals?: Nominals;
 }
 /**
  * O que um `Env` tem além das variáveis. Cada campo espelha o de {@link Env}, e
@@ -85,6 +103,13 @@ interface EnvOptions {
     readonly asserters?: ReadonlySet<string>;
     readonly matchers?: ReadonlySet<string>;
     readonly modules?: Readonly<Record<string, Schema>>;
+    /** Os nominais do host, somados aos da lib (ver {@link Env.nominals}). */
+    readonly nominals?: Nominals;
+    /**
+     * Sem a lib padrão — nem os aliases, nem os nominais dela. É o `--noLib` do tsc: os
+     * nomes da lib passam a ser `unknown-name`, como lá.
+     */
+    readonly noLib?: boolean;
 }
 /**
  * Um catálogo (`Record<string, Schema>`) passado no lugar das opções é o erro que a
@@ -114,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" | "props-mismatch" | "no-matching-overload" | "constraint-violation" | "wrong-type-argument-count" | "unsupported" | "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" | "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
@@ -162,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}. */
@@ -172,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
@@ -239,9 +276,75 @@ declare const diag: {
     spreadArgument: (node: BaseNode) => Diagnostic;
     requiredAfterOptional: (node: BaseNode) => Diagnostic;
     notIterable: (node: BaseNode, type: Schema) => Diagnostic;
+    /**
+     * 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`).
+     */
+    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
+     * `reportImplicitAny`, `checker.ts:18198`, e os sítios do acesso e do `let` evolving): o
+     * código é o conceito, a mensagem diz qual é o caso (D2), como o `possibly-nullish`.
+     */
+    implicitAny: {
+        /** TS7006, no nome do parâmetro sem anotação e sem contexto. */
+        parameter: (node: BaseNode, name: string) => Diagnostic;
+        /** TS7019, no nome do rest sem anotação e sem contexto. */
+        rest: (node: BaseNode, name: string) => Diagnostic;
+        /** TS7031, em cada folha de um parâmetro-padrão sem anotação nem contexto. */
+        bindingElement: (node: BaseNode, name: string) => Diagnostic;
+        /** TS7034, no nome do `let` evolving que uma closure lê. */
+        evolving: (node: BaseNode, name: string) => Diagnostic;
+        /** TS7005, na leitura desse `let` dentro da closure. */
+        variable: (node: BaseNode, name: string) => Diagnostic;
+        /** TS7053, no acesso inteiro: a chave não indexa o objeto. */
+        index: (node: BaseNode, key: Schema, target: Schema) => Diagnostic;
+        /** TS7015, na chave: o objeto só tem índice numérico, e a chave não é número. */
+        indexNotNumber: (node: BaseNode) => Diagnostic;
+    };
+    /**
+     * A posição de um padrão de array além do comprimento de uma tupla — o TS2493 do tsc, no
+     * nome (`getPropertyTypeForIndexType`, `checker.ts:12886`). O código é o `no-such-member`,
+     * o mesmo do acesso `t[5]` (TC43): a posição é uma propriedade que a tupla não tem.
+     */
+    tupleIndexOutOfRange: (node: BaseNode, tuple: Schema, length: number, index: number) => Diagnostic;
     propsMismatch: (node: BaseNode, props: Schema, detail: string) => Diagnostic;
     noMatchingOverload: (node: BaseNode, type: Schema, argTypes: readonly Schema[]) => Diagnostic;
-    constraintViolation: (node: BaseNode, name: string, actual: Schema, bound: Schema) => Diagnostic;
+    /** O argumento de tipo fora do bound — o texto do TS2344 da tag, com a constraint no
+     *  lugar do `{1}`. */
+    constraintViolation: (node: BaseNode, actual: Schema, bound: Schema) => Diagnostic;
     unsupported: (node: BaseNode, what: string) => Diagnostic;
     /**
      * Argumento de tipo explícito com aridade errada. Assinatura **sem** type params
@@ -269,11 +372,25 @@ declare const diag: {
      */
     assignToConst: (node: BaseNode, name: string, kind: "const" | "import") => Diagnostic;
     /**
-     * Escrita num alvo `readonly` (`readonly T[]`). É a outra metade do modificador:
-     * a relação (TC29) diz quem pode ser ATRIBUÍDO a quem; isto diz quem pode ser
-     * ESCRITO. Sem os dois, `readonly` seria só decoração. Texto do TS2542.
+     * As chaves de um `for…in` não cabem no alvo dele (`let n: number; for (n in o)`). É a
+     * relação que falha — o tipo das chaves contra o tipo declarado do alvo —, e por isso
+     * o código é o `not-assignable`; o texto é o do TS2405 (`checkForInStatement`).
+     */
+    forInTarget: (node: BaseNode) => Diagnostic;
+    /** `for ([a] in o)` — o alvo de um `for…in` é uma chave, não se desestrutura. TS2491. */
+    forInDestructuring: (node: BaseNode) => Diagnostic;
+    /**
+     * Escrita por um ÍNDICE readonly — `readonly T[]` ou `{ readonly [k: string]: V }`. É
+     * a outra metade do modificador: a relação (TC29) diz quem pode ser ATRIBUÍDO a quem;
+     * isto diz quem pode ser ESCRITO. Texto do TS2542, no acesso inteiro. Os três casos de
+     * escrita recusada pelo `readonly` têm um código só (D77): o nó e o texto são os do tsc.
      */
     readonlyWrite: (node: BaseNode, target: Schema) => Diagnostic;
+    /** Escrita numa PROPRIEDADE readonly — o TS2540, no nome (`o.a`) ou no argumento
+     *  (`o["a"]`). O acesso vira o tipo-erro: a atribuição não é checada depois. D77. */
+    readonlyProperty: (node: BaseNode, name: string) => Diagnostic;
+    /** `delete` de uma PROPRIEDADE readonly — o TS2704, no operando. D77. */
+    readonlyDelete: (node: BaseNode) => Diagnostic;
     /**
      * Cast (`x as T`) entre tipos que não se sobrepõem na régua do tsc (`castOverlaps`:
      * literal da origem alargado + comparabilidade). Erro, como o TS2352 — o texto é o
@@ -320,10 +437,23 @@ declare const diag: {
      */
     notTextConvertible: (node: BaseNode, t: Schema) => Diagnostic;
 };
-/** Coletor de diagnósticos — acumula durante o walk, sem `throw`. */
+/**
+ * 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, 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. */
+    /** Diagnósticos coletados, na ordem em que foram reportados, sem repetição. */
     readonly all: readonly Diagnostic[];
+    /** Quantas vezes o `report` foi chamado, as repetições inclusive: é o que responde "esta
+     *  operação acusou algo?", mesmo quando o que ela acusou já tinha sido acusado. */
+    readonly reported: number;
     report(d: Diagnostic): void;
     /** `true` se há ao menos um diagnóstico de severidade `error`. */
     hasErrors(): boolean;
@@ -380,6 +510,13 @@ interface CheckResult {
      * paralelas divergem.
      */
     readonly schemes: Schemes;
+    /**
+     * Os tipos NOMINAIS que um texto de tipo pode citar (`Promise`, `Array`, e os do
+     * host), com os type params de cada um — os que nenhum scheme sombreia. Publicado
+     * pela mesma razão dos `schemes`: é a outra metade do catálogo de nomes de tipo
+     * (D79).
+     */
+    readonly nominals: Nominals;
 }
 /**
  * Tipa `node` no ambiente `env` (a borda da DI: data, states, funções globais).
@@ -782,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, 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 };
+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,9 +1,12 @@
-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 { 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, 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';
 
+/** As declarações de tipo nominal: o nome e os type params, em ordem. */
+type Nominals = Readonly<Record<string, readonly VarSchema[]>>;
+
 /**
  * Um nível de escopo léxico (nome → `Schema`), sobre o `Scope<T>` genérico do
  * `ast` — a mesma cadeia que o `behavior` usa, com o payload do eixo de tipos.
@@ -73,6 +76,21 @@ interface Env {
      * especificador) é da app (Proposal 005). Default: nenhum.
      */
     readonly modules?: Readonly<Record<string, Schema>>;
+    /**
+     * Os aliases da **lib padrão** (`Partial`, `Pick`, `Record`, `Omit`, `ReturnType`…),
+     * o texto do `lib.es5.d.ts` do tsc 3.9.10 com o corte do TSLite (D79). Ficam ABAIXO
+     * de tudo: um tipo do host ou um alias do programa com o mesmo nome os sombreia.
+     * Vazio com `noLib`.
+     */
+    readonly lib?: Schemes;
+    /**
+     * Os tipos **nominais** que um texto de tipo pode citar pelo nome: o nome e os type
+     * params de cada um. São os `interface` da lib (`Array`, `ReadonlyArray`, `Promise`)
+     * e os que o host declara (`Map`, `Element`…). Um nominal é o `apply` opaco (types
+     * TC2): o texto `Promise<User>` e o construtor `s.apply("Promise", [User])` são o
+     * mesmo tipo, e a aridade é cobrada como a de um alias.
+     */
+    readonly nominals?: Nominals;
 }
 /**
  * O que um `Env` tem além das variáveis. Cada campo espelha o de {@link Env}, e
@@ -85,6 +103,13 @@ interface EnvOptions {
     readonly asserters?: ReadonlySet<string>;
     readonly matchers?: ReadonlySet<string>;
     readonly modules?: Readonly<Record<string, Schema>>;
+    /** Os nominais do host, somados aos da lib (ver {@link Env.nominals}). */
+    readonly nominals?: Nominals;
+    /**
+     * Sem a lib padrão — nem os aliases, nem os nominais dela. É o `--noLib` do tsc: os
+     * nomes da lib passam a ser `unknown-name`, como lá.
+     */
+    readonly noLib?: boolean;
 }
 /**
  * Um catálogo (`Record<string, Schema>`) passado no lugar das opções é o erro que a
@@ -114,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" | "props-mismatch" | "no-matching-overload" | "constraint-violation" | "wrong-type-argument-count" | "unsupported" | "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" | "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
@@ -162,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}. */
@@ -172,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
@@ -239,9 +276,75 @@ declare const diag: {
     spreadArgument: (node: BaseNode) => Diagnostic;
     requiredAfterOptional: (node: BaseNode) => Diagnostic;
     notIterable: (node: BaseNode, type: Schema) => Diagnostic;
+    /**
+     * 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`).
+     */
+    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
+     * `reportImplicitAny`, `checker.ts:18198`, e os sítios do acesso e do `let` evolving): o
+     * código é o conceito, a mensagem diz qual é o caso (D2), como o `possibly-nullish`.
+     */
+    implicitAny: {
+        /** TS7006, no nome do parâmetro sem anotação e sem contexto. */
+        parameter: (node: BaseNode, name: string) => Diagnostic;
+        /** TS7019, no nome do rest sem anotação e sem contexto. */
+        rest: (node: BaseNode, name: string) => Diagnostic;
+        /** TS7031, em cada folha de um parâmetro-padrão sem anotação nem contexto. */
+        bindingElement: (node: BaseNode, name: string) => Diagnostic;
+        /** TS7034, no nome do `let` evolving que uma closure lê. */
+        evolving: (node: BaseNode, name: string) => Diagnostic;
+        /** TS7005, na leitura desse `let` dentro da closure. */
+        variable: (node: BaseNode, name: string) => Diagnostic;
+        /** TS7053, no acesso inteiro: a chave não indexa o objeto. */
+        index: (node: BaseNode, key: Schema, target: Schema) => Diagnostic;
+        /** TS7015, na chave: o objeto só tem índice numérico, e a chave não é número. */
+        indexNotNumber: (node: BaseNode) => Diagnostic;
+    };
+    /**
+     * A posição de um padrão de array além do comprimento de uma tupla — o TS2493 do tsc, no
+     * nome (`getPropertyTypeForIndexType`, `checker.ts:12886`). O código é o `no-such-member`,
+     * o mesmo do acesso `t[5]` (TC43): a posição é uma propriedade que a tupla não tem.
+     */
+    tupleIndexOutOfRange: (node: BaseNode, tuple: Schema, length: number, index: number) => Diagnostic;
     propsMismatch: (node: BaseNode, props: Schema, detail: string) => Diagnostic;
     noMatchingOverload: (node: BaseNode, type: Schema, argTypes: readonly Schema[]) => Diagnostic;
-    constraintViolation: (node: BaseNode, name: string, actual: Schema, bound: Schema) => Diagnostic;
+    /** O argumento de tipo fora do bound — o texto do TS2344 da tag, com a constraint no
+     *  lugar do `{1}`. */
+    constraintViolation: (node: BaseNode, actual: Schema, bound: Schema) => Diagnostic;
     unsupported: (node: BaseNode, what: string) => Diagnostic;
     /**
      * Argumento de tipo explícito com aridade errada. Assinatura **sem** type params
@@ -269,11 +372,25 @@ declare const diag: {
      */
     assignToConst: (node: BaseNode, name: string, kind: "const" | "import") => Diagnostic;
     /**
-     * Escrita num alvo `readonly` (`readonly T[]`). É a outra metade do modificador:
-     * a relação (TC29) diz quem pode ser ATRIBUÍDO a quem; isto diz quem pode ser
-     * ESCRITO. Sem os dois, `readonly` seria só decoração. Texto do TS2542.
+     * As chaves de um `for…in` não cabem no alvo dele (`let n: number; for (n in o)`). É a
+     * relação que falha — o tipo das chaves contra o tipo declarado do alvo —, e por isso
+     * o código é o `not-assignable`; o texto é o do TS2405 (`checkForInStatement`).
+     */
+    forInTarget: (node: BaseNode) => Diagnostic;
+    /** `for ([a] in o)` — o alvo de um `for…in` é uma chave, não se desestrutura. TS2491. */
+    forInDestructuring: (node: BaseNode) => Diagnostic;
+    /**
+     * Escrita por um ÍNDICE readonly — `readonly T[]` ou `{ readonly [k: string]: V }`. É
+     * a outra metade do modificador: a relação (TC29) diz quem pode ser ATRIBUÍDO a quem;
+     * isto diz quem pode ser ESCRITO. Texto do TS2542, no acesso inteiro. Os três casos de
+     * escrita recusada pelo `readonly` têm um código só (D77): o nó e o texto são os do tsc.
      */
     readonlyWrite: (node: BaseNode, target: Schema) => Diagnostic;
+    /** Escrita numa PROPRIEDADE readonly — o TS2540, no nome (`o.a`) ou no argumento
+     *  (`o["a"]`). O acesso vira o tipo-erro: a atribuição não é checada depois. D77. */
+    readonlyProperty: (node: BaseNode, name: string) => Diagnostic;
+    /** `delete` de uma PROPRIEDADE readonly — o TS2704, no operando. D77. */
+    readonlyDelete: (node: BaseNode) => Diagnostic;
     /**
      * Cast (`x as T`) entre tipos que não se sobrepõem na régua do tsc (`castOverlaps`:
      * literal da origem alargado + comparabilidade). Erro, como o TS2352 — o texto é o
@@ -320,10 +437,23 @@ declare const diag: {
      */
     notTextConvertible: (node: BaseNode, t: Schema) => Diagnostic;
 };
-/** Coletor de diagnósticos — acumula durante o walk, sem `throw`. */
+/**
+ * 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, 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. */
+    /** Diagnósticos coletados, na ordem em que foram reportados, sem repetição. */
     readonly all: readonly Diagnostic[];
+    /** Quantas vezes o `report` foi chamado, as repetições inclusive: é o que responde "esta
+     *  operação acusou algo?", mesmo quando o que ela acusou já tinha sido acusado. */
+    readonly reported: number;
     report(d: Diagnostic): void;
     /** `true` se há ao menos um diagnóstico de severidade `error`. */
     hasErrors(): boolean;
@@ -380,6 +510,13 @@ interface CheckResult {
      * paralelas divergem.
      */
     readonly schemes: Schemes;
+    /**
+     * Os tipos NOMINAIS que um texto de tipo pode citar (`Promise`, `Array`, e os do
+     * host), com os type params de cada um — os que nenhum scheme sombreia. Publicado
+     * pela mesma razão dos `schemes`: é a outra metade do catálogo de nomes de tipo
+     * (D79).
+     */
+    readonly nominals: Nominals;
 }
 /**
  * Tipa `node` no ambiente `env` (a borda da DI: data, states, funções globais).
@@ -782,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, 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 };
+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 };