Negated Types: Change the meaning of `{}` to `unknown & not null & not undefined` by weswigham · Pull Request #64376 · microsoft/TypeScript

Wesley Wigham (weswigham) · 2026-09-21T17:52:31Z

This PR stacks on top of #64375.

In this PR, we drop the unknown = {} | null | undefined equivalence we use in a few places, and instead choose to interpret {} as unknown & not null & not undefined. In doing so, I had to choose to either persist our special behaviors for literal unions with base & {} as non-simplifying, or replace it. I chose to eliminate that, and instead broadened our existing type-origin machinery to be able to apply to clones of string/number/bigint, so you can have a string that comes from "a" | "b" | string, which shows that origin in quickinfo and uses it for completions (...and mapped type construction, which feels wrong, but is what we needed for compat with the old way). An alternative would be a new carve-out that recognized the new negated types to disable normalization, but that feels.... weird. I think handling the origin information in a first-class way ends up working a bit more nicely than allowing (some) denormalized unions outside of .origins, conceptually.

Copilot

Copilot review overview

🟡 Changes recommended

Critical unsound assignability and unresolved normalization, narrowing, and completion regressions block approval.

Get a fresh assessment by requesting another Copilot review.

Review effort: Balanced
Findings: 1 · 2

Open (3)

Unknown incorrectly accepted as Record via empty object type · New
Completion literals lost after template literal normalization · New
Coalesce duplicate negated types in intersections · New

What changed in this PR

Adds negated types (not T) and redefines {} as non-nullish unknown across the compiler, language services, APIs, and tests.

Changes:

Implements negated-type parsing, normalization, inference, narrowing, and emit.
Preserves literal origins for hover and completions.
Updates public APIs and extensive compiler baselines.

File	Summary
`tsc/testdata/tests/cases/conformance/types/negated/negatedUnionComplementSimplifies.ts`	Tests union-complement simplification.
`tsc/testdata/tests/cases/conformance/types/negated/negatedTypesSimplifyInIntersections.ts`	Tests intersection simplification.
`tsc/testdata/tests/cases/conformance/types/negated/negatedTypesSatisfiesAndArrays.ts`	Tests arrays and `satisfies`.
`tsc/testdata/tests/cases/conformance/types/negated/negatedTypesNormalizationIdentities.ts`	Tests normalization identities.
`tsc/testdata/tests/cases/conformance/types/negated/negatedTypesInStringMappingAndIndexSignatures.ts`	Tests string mappings and index signatures.
`tsc/testdata/tests/cases/conformance/types/negated/negatedTypesInStringMapping.ts`	Tests string mappings.
`tsc/testdata/tests/cases/conformance/types/negated/negatedTypesInPatternLiteralsStringMappingAndIndexSignatures.ts`	Tests combined pattern-literal behavior.
`tsc/testdata/tests/cases/conformance/types/negated/negatedTypesInPatternLiteralsAndStringMapping.ts`	Tests pattern literals and mappings.
`tsc/testdata/tests/cases/conformance/types/negated/negatedTypesInPatternLiteralsAndIndexSignatures.ts`	Tests pattern-literal index signatures.
`tsc/testdata/tests/cases/conformance/types/negated/negatedTypesInPatternLiterals.ts`	Tests pattern literals.
`tsc/testdata/tests/cases/conformance/types/negated/negatedTypesInKeyofAndMappedKeyRemapping.ts`	Tests `keyof` and key remapping.
`tsc/testdata/tests/cases/conformance/types/negated/negatedTypesInIndexSignatures.ts`	Tests index signatures.
`tsc/testdata/tests/cases/conformance/types/negated/negatedTypesInConditionalTypesAndInfer.ts`	Tests conditional types and inference.
`tsc/testdata/tests/cases/conformance/types/negated/negatedTypesGenericInference.ts`	Tests generic inference.
`tsc/testdata/tests/cases/conformance/types/negated/negatedTypesDeMorgan.ts`	Tests De Morgan identities.
`tsc/testdata/tests/cases/conformance/types/negated/negatedTypesDeclarationEmit.ts`	Tests declaration emit.
`tsc/testdata/tests/cases/conformance/types/negated/negatedTypesControlFlowNarrowing.ts`	Tests control-flow narrowing.
`tsc/testdata/tests/cases/conformance/types/negated/negatedTypesControlFlow.ts`	Tests control-flow behavior.
`tsc/testdata/tests/cases/conformance/types/negated/negatedTypesContextualLiteralTypes.ts`	Tests contextual literals.
`tsc/testdata/tests/cases/conformance/types/negated/negatedTypesComparability.ts`	Tests comparability.
`tsc/testdata/tests/cases/conformance/types/negated/negatedTypeAppliesToFalseBranchOfConditional.ts`	Tests conditional false-branch narrowing.
`tsc/testdata/tests/cases/conformance/types/negated/negatedRepresentativeExamples.ts`	Adds representative examples.
`tsc/testdata/tests/cases/conformance/types/negated/negatedNarrowingTypePredicate.ts`	Tests predicate narrowing.
`tsc/testdata/tests/cases/conformance/types/negated/negatedNarrowingTruthiness.ts`	Tests truthiness narrowing.
`tsc/testdata/tests/cases/conformance/types/negated/negatedNarrowingSwitchTypeof.ts`	Tests `typeof` switch narrowing.
`tsc/testdata/tests/cases/conformance/types/negated/negatedNarrowingSwitchTrue.ts`	Tests `switch (true)` narrowing.
`tsc/testdata/tests/cases/conformance/types/negated/negatedNarrowingInOperator.ts`	Tests `in` narrowing.
`tsc/testdata/tests/cases/conformance/types/negated/negatedNarrowingEqualityLiteral.ts`	Tests literal equality narrowing.
`tsc/testdata/tests/cases/conformance/types/negated/negatedNarrowingEquality.ts`	Tests equality narrowing.
`tsc/testdata/tests/cases/conformance/types/negated/negatedNarrowingAssertion.ts`	Tests assertion narrowing.
`tsc/testdata/tests/cases/conformance/types/negated/negatedInMappedTypeDisablesExcessProperties.ts`	Tests mapped excess-property behavior.
`tsc/testdata/tests/cases/conformance/types/negated/negatedFreshOptionalProperties.ts`	Tests fresh optional properties.
`tsc/testdata/tests/cases/compiler/negatedTypeSmokeTypeof.ts`	Adds `typeof` smoke coverage.
`tsc/testdata/tests/cases/compiler/negatedTypeSmokeNullable.ts`	Adds nullable smoke coverage.
`tsc/testdata/tests/cases/compiler/negatedTypeSmokeInference.ts`	Adds inference smoke coverage.
`tsc/testdata/tests/cases/compiler/negatedRealWorldControlFlowRegressions.ts`	Covers control-flow regressions.
`tsc/testdata/tests/cases/compiler/negatedPartialTypeGuards.ts`	Tests partial type guards.
`tsc/testdata/tests/cases/compiler/negatedNumericEnumComparability.ts`	Tests numeric enum comparability.
`tsc/testdata/tests/cases/compiler/negatedGenericForIn.ts`	Tests generic `for...in`.
`tsc/testdata/tests/cases/compiler/negatedCompoundAssignmentFlow.ts`	Tests compound-assignment flow.
`tsc/testdata/fixtures/compiler/commandLineParser.ts`	Updates compiler fixture typing.
`tsc/testdata/fixtures/compiler/checker.ts`	Updates checker fixture behavior.
`tsc/testdata/baselines/reference/conformance/weakTypesAndLiterals01.js`	Updates emit baseline.
`tsc/testdata/baselines/reference/conformance/unknownType1.types`	Updates type baseline.
`tsc/testdata/baselines/reference/conformance/unknownControlFlow.js`	Updates emit baseline.
`tsc/testdata/baselines/reference/conformance/undefinedAssignableToEveryType.errors.txt`	Updates diagnostic baseline.
`tsc/testdata/baselines/reference/conformance/TypeGuardWithEnumUnion.types`	Updates type baseline.
`tsc/testdata/baselines/reference/conformance/thisTypeInFunctions2.types`	Updates type baseline.
`tsc/testdata/baselines/reference/conformance/thisTypeInFunctions2.symbols`	Updates symbol baseline.
`tsc/testdata/baselines/reference/conformance/templateLiteralTypes2.types`	Updates type baseline.
`tsc/testdata/baselines/reference/conformance/stringLiteralTypesOverloads02.types`	Updates type baseline.
`tsc/testdata/baselines/reference/conformance/stringLiteralTypesInUnionTypes02.types`	Updates type baseline.
`tsc/testdata/baselines/reference/conformance/staticIndexSignature4.types`	Updates type baseline.
`tsc/testdata/baselines/reference/conformance/spreadObjectOrFalsy.types`	Updates type baseline.
`tsc/testdata/baselines/reference/conformance/spreadObjectOrFalsy.js`	Updates emit baseline.
`tsc/testdata/baselines/reference/conformance/scannerS7.3_A1.1_T2.types`	Updates type baseline.
`tsc/testdata/baselines/reference/conformance/scannerS7.2_A1.5_T2.types`	Updates type baseline.
`tsc/testdata/baselines/reference/conformance/privateNameInInExpression(target=esnext).errors.txt`	Updates diagnostic baseline.
`tsc/testdata/baselines/reference/conformance/privateNameInInExpression(target=es2022).errors.txt`	Updates diagnostic baseline.
`tsc/testdata/baselines/reference/conformance/parserUnicode1.types`	Updates type baseline.
`tsc/testdata/baselines/reference/conformance/parserS7.3_A1.1_T2.types`	Updates type baseline.
`tsc/testdata/baselines/reference/conformance/parserS7.2_A1.5_T2.types`	Updates type baseline.
`tsc/testdata/baselines/reference/conformance/parserharness.types`	Updates type baseline.
`tsc/testdata/baselines/reference/conformance/nullishCoalescingOperator2.types`	Updates type baseline.
`tsc/testdata/baselines/reference/conformance/nullishCoalescingOperator_es2020.types`	Updates type baseline.
`tsc/testdata/baselines/reference/conformance/noInfer.types`	Updates type baseline.
`tsc/testdata/baselines/reference/conformance/negatedTypesSimplifyInIntersections.types`	Adds type baseline.
`tsc/testdata/baselines/reference/conformance/negatedTypesSimplifyInIntersections.symbols`	Adds symbol baseline.
`tsc/testdata/baselines/reference/conformance/negatedTypesSimplifyInIntersections.js`	Adds emit baseline.
`tsc/testdata/baselines/reference/conformance/negatedTypesNormalizationIdentities.errors.txt`	Adds diagnostic baseline.
`tsc/testdata/baselines/reference/conformance/negatedTypesDeclarationEmit.types`	Adds type baseline.
`tsc/testdata/baselines/reference/conformance/negatedTypesDeclarationEmit.js`	Adds emit baseline.
`tsc/testdata/baselines/reference/conformance/negatedTypesControlFlow.js`	Adds emit baseline.
`tsc/testdata/baselines/reference/conformance/negatedTypesComparability.types`	Adds type baseline.
`tsc/testdata/baselines/reference/conformance/negatedTypesComparability.symbols`	Adds symbol baseline.
`tsc/testdata/baselines/reference/conformance/negatedTypesComparability.errors.txt`	Adds diagnostic baseline.
`tsc/testdata/baselines/reference/conformance/negatedTypeAppliesToFalseBranchOfConditional.types`	Adds type baseline.
`tsc/testdata/baselines/reference/conformance/negatedTypeAppliesToFalseBranchOfConditional.symbols`	Adds symbol baseline.
`tsc/testdata/baselines/reference/conformance/negatedTypeAppliesToFalseBranchOfConditional.js`	Adds emit baseline.
`tsc/testdata/baselines/reference/conformance/negatedTypeAppliesToFalseBranchOfConditional.errors.txt`	Adds diagnostic baseline.
`tsc/testdata/baselines/reference/conformance/negatedNarrowingTypePredicate.errors.txt`	Adds diagnostic baseline.
`tsc/testdata/baselines/reference/conformance/negatedNarrowingTruthiness.types`	Adds type baseline.
`tsc/testdata/baselines/reference/conformance/negatedNarrowingInOperator.errors.txt`	Adds diagnostic baseline.
`tsc/testdata/baselines/reference/conformance/negatedInMappedTypeDisablesExcessProperties.types`	Adds type baseline.
`tsc/testdata/baselines/reference/conformance/negatedInMappedTypeDisablesExcessProperties.js`	Adds emit baseline.
`tsc/testdata/baselines/reference/conformance/negatedInMappedTypeDisablesExcessProperties.errors.txt`	Adds diagnostic baseline.
`tsc/testdata/baselines/reference/conformance/negatedFreshOptionalProperties(exactoptionalpropertytypes=true).types`	Adds type baseline.
`tsc/testdata/baselines/reference/conformance/negatedFreshOptionalProperties(exactoptionalpropertytypes=true).symbols`	Adds symbol baseline.
`tsc/testdata/baselines/reference/conformance/negatedFreshOptionalProperties(exactoptionalpropertytypes=true).js`	Adds emit baseline.
`tsc/testdata/baselines/reference/conformance/negatedFreshOptionalProperties(exactoptionalpropertytypes=true).errors.txt`	Adds diagnostic baseline.
`tsc/testdata/baselines/reference/conformance/negatedFreshOptionalProperties(exactoptionalpropertytypes=false).types`	Adds type baseline.
`tsc/testdata/baselines/reference/conformance/negatedFreshOptionalProperties(exactoptionalpropertytypes=false).symbols`	Adds symbol baseline.
`tsc/testdata/baselines/reference/conformance/negatedFreshOptionalProperties(exactoptionalpropertytypes=false).js`	Adds emit baseline.
`tsc/testdata/baselines/reference/conformance/negatedFreshOptionalProperties(exactoptionalpropertytypes=false).errors.txt`	Adds diagnostic baseline.
`tsc/testdata/baselines/reference/conformance/logicalOrOperatorWithTypeParameters.errors.txt`	Updates diagnostic baseline.
`tsc/testdata/baselines/reference/conformance/logicalAssignment4(target=esnext).types`	Updates type baseline.
`tsc/testdata/baselines/reference/conformance/logicalAssignment4(target=es2021).types`	Updates type baseline.
`tsc/testdata/baselines/reference/conformance/logicalAssignment4(target=es2020).types`	Updates type baseline.
`tsc/testdata/baselines/reference/conformance/logicalAssignment4(target=es2015).types`	Updates type baseline.
`tsc/testdata/baselines/reference/conformance/literalTypes3.types`	Updates type baseline.
`tsc/testdata/baselines/reference/conformance/keyofAndIndexedAccess.types`	Updates type baseline.
`tsc/testdata/baselines/reference/conformance/intersectionsAndEmptyObjects.types`	Updates type baseline.
`tsc/testdata/baselines/reference/conformance/controlFlowWithTemplateLiterals.errors.txt`	Updates diagnostic baseline.
`tsc/testdata/baselines/reference/conformance/controlFlowIfStatement.types`	Updates type baseline.
`tsc/testdata/baselines/reference/conformance/controlFlowGenericTypes.types`	Updates type baseline.
`tsc/testdata/baselines/reference/conformance/conditionalTypes1.types`	Updates type baseline.
`tsc/testdata/baselines/reference/conformance/classStaticBlock8.types`	Updates type baseline.
`tsc/testdata/baselines/reference/conformance/checkJsxChildrenCanBeTupleType.types`	Updates type baseline.
`tsc/testdata/baselines/reference/conformance/checkJsxChildrenCanBeTupleType.errors.txt`	Updates diagnostic baseline.
`tsc/testdata/baselines/reference/conformance/bivariantInferences.types`	Updates type baseline.
`tsc/testdata/baselines/reference/conformance/assertionTypePredicates1.types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/weakTypeAndPrimitiveNarrowing.types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/voidUndefinedReduction.types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/unusedPrivateStaticMembers.types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/unreachableSwitchTypeofUnknown.types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/unknownLikeUnionObjectFlagsNotPropagated.types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/undefinedAsDiscriminantWithUnknown(strictnullchecks=true).types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/typeVariableConstraintIntersections.types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/typePredicateWithThisParameter.errors.txt`	Updates diagnostic baseline.
`tsc/testdata/baselines/reference/compiler/typePredicatesOptionalChaining1.types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/typeInferenceTypePredicate.errors.txt`	Updates diagnostic baseline.
`tsc/testdata/baselines/reference/compiler/tsxNotUsingApparentTypeOfSFC.errors.txt`	Updates diagnostic baseline.
`tsc/testdata/baselines/reference/compiler/styledComponentsInstantiaionLimitNotReached.types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/strictOptionalProperties1.types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/strictNullNotNullIndexTypeNoLib.types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/specialIntersectionsInMappedTypes.types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/simpleRecursionWithBaseCase1.types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/recursiveTypeRelations.types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/patternAmbientModuleAugmentationMergedSymbol.errors.txt`	Updates diagnostic baseline.
`tsc/testdata/baselines/reference/compiler/observableInferenceCanBeMade.types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/nullishCoalescingAlwaysNullFalsePositive.types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/nonNullableTypes1.types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/noImplicitAnyForIn.errors.txt`	Updates diagnostic baseline.
`tsc/testdata/baselines/reference/compiler/nestedGenericTypeInference.types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/negatedTypeSmokeTypeof(strict=false).errors.txt`	Adds diagnostic baseline.
`tsc/testdata/baselines/reference/compiler/negatedTypeSmokeInference.errors.txt`	Adds diagnostic baseline.
`tsc/testdata/baselines/reference/compiler/negatedPartialTypeGuards.errors.txt`	Adds diagnostic baseline.
`tsc/testdata/baselines/reference/compiler/negatedNumericEnumComparability.types`	Adds type baseline.
`tsc/testdata/baselines/reference/compiler/negatedNumericEnumComparability.errors.txt`	Adds diagnostic baseline.
`tsc/testdata/baselines/reference/compiler/narrowingUnionToUnion.types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/narrowingTypeofUndefined2.types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/narrowingPastLastAssignment.types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/narrowingByTypeofInSwitch.types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/narrowByEquality.types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/narrowByBooleanComparison.types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/mergeSymbolReexportedTypeAliasInstantiation.types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/jsxNamespaceImplicitImportJSXNamespace.types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/jsxNamespaceGlobalReexportMissingAliasTarget.types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/jsxNamespaceGlobalReexport.types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/jsxExcessPropsAndAssignability.errors.txt`	Updates diagnostic baseline.
`tsc/testdata/baselines/reference/compiler/inKeywordTypeguard(strict=true).types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/inKeywordTypeguard(strict=true).errors.txt`	Updates diagnostic baseline.
`tsc/testdata/baselines/reference/compiler/inferTypePredicates.types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/inferTypePredicates.js`	Updates emit baseline.
`tsc/testdata/baselines/reference/compiler/inferenceExactOptionalProperties2.types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/inferenceExactOptionalProperties2.errors.txt`	Updates diagnostic baseline.
`tsc/testdata/baselines/reference/compiler/inferenceDoesNotAddUndefinedOrNull.types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/inDoesNotOperateOnPrimitiveTypes.types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/inDoesNotOperateOnPrimitiveTypes.errors.txt`	Updates diagnostic baseline.
`tsc/testdata/baselines/reference/compiler/indexerAssignability.errors.txt`	Updates diagnostic baseline.
`tsc/testdata/baselines/reference/compiler/implicitIndexSignatures.errors.txt`	Updates diagnostic baseline.
`tsc/testdata/baselines/reference/compiler/implicitEmptyObjectType.errors.txt`	Removes an existing diagnostic baseline.
`tsc/testdata/baselines/reference/compiler/genericUnboundedTypeParamAssignability.errors.txt`	Updates diagnostic baseline.
`tsc/testdata/baselines/reference/compiler/genericPrototypeProperty3.errors.txt`	Updates diagnostic baseline.
`tsc/testdata/baselines/reference/compiler/genericInferenceDefaultTypeParameterJsxReact.types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/fixCrashAliasLookupForDefauledImport.types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/expandoContextualTypes.types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/excessiveStackDepthFlatArray.types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/emptyThenWithoutWarning.types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/emptyAnonymousObjectNarrowing(strictnullchecks=true).types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/emptyAnonymousObjectNarrowing(strictnullchecks=false).types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/doubleUnderscoreLabels.types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/distributiveConditionalTypeConstraints.types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/declFileTypeAnnotationStringLiteral(target=es2015).types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/continueInLoopsWithCapturedBlockScopedBindings1(target=es2015).types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/contextualTypeBasedOnIntersectionWithAnyInTheMix1.types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/contextualTypeBasedOnIntersectionWithAnyInTheMix1.errors.txt`	Updates diagnostic baseline.
`tsc/testdata/baselines/reference/compiler/constructorWithCapturedSuper.types`	Updates type baseline.
`tsc/testdata/baselines/reference/compiler/assertionFunctionWildcardImport2.types`	Updates type baseline.
`tsc/internal/scanner/scanner.go`	Recognizes `not` syntax.
`tsc/internal/parser/parser.go`	Parses negated type operators.
`tsc/internal/ls/string_completions.go`	Uses literal origins for completions.
`tsc/internal/ls/hover.go`	Displays literal origins in hover.
`tsc/internal/fourslash/tests/stringLiteralCompletionsForOpenEndedTemplateLiteralType_test.go`	Updates completion expectations.
`tsc/internal/fourslash/tests/specialIntersectionsOrderIndependent_test.go`	Updates intersection completion tests.
`tsc/internal/checker/nodebuilderimpl.go`	Emits negated and non-nullish types.
`tsc/internal/checker/inference.go`	Supports inference through negation.
`tsc/internal/checker/exports.go`	Exposes negated-type construction.
`tsc/internal/api/session.go`	Handles negated-type API requests.
`tsc/internal/api/proto.go`	Registers the API method.
`tsc/internal/api/encoder/encoder_generated.go`	Encodes negated AST nodes.
`tsc/internal/api/encoder/decoder_generated.go`	Decodes negated AST nodes.
`tools/scripts/tsc/ast.json`	Defines negated AST metadata.
`packages/typescript/test/sync/api.test.ts`	Tests synchronous APIs.
`packages/typescript/test/sync/api-generators.test.ts`	Tests generated synchronous APIs.
`packages/typescript/test/async/api.test.ts`	Tests asynchronous APIs.
`packages/typescript/src/enums/typeFlags.enum.ts`	Adds the negated type flag.
`packages/typescript/src/enums/objectFlags.ts`	Updates generated object flags.
`packages/typescript/src/enums/objectFlags.enum.ts`	Adds negation-related object flags.
`packages/typescript/src/ast/factory.generated.ts`	Constructs negated type operators.
`packages/typescript/src/ast/ast.generated.ts`	Adds negated operator AST support.
`packages/typescript/src/api/sync/types.ts`	Exposes synchronous negation APIs.
`packages/typescript/src/api/proto.generated.ts`	Adds generated protocol declarations.
`packages/typescript/src/api/node/node.generated.ts`	Decodes negated operator nodes.
`packages/typescript/src/api/node/encoder.generated.ts`	Encodes negated operator nodes.
`packages/typescript/src/api/async/types.ts`	Exposes asynchronous negation APIs.
`packages/typescript/src/api/async/api.ts`	Implements asynchronous negation calls.

Files not reviewed (1)

tsc/internal/api/enum_values_generated.go: Generated file

+	if c.isNonNullishUnknownType(t) {
+		return c.emptyObjectType


Wesley Wigham (weswigham) · 2026-09-21T18:06:55Z

TypeScript Bot (@typescript-bot) test top1000

typescript-automation · 2026-09-21T18:07:00Z

Hey Wesley Wigham (@weswigham), this PR changed while I was preparing the test run. Please try again.

Wesley Wigham (weswigham) · 2026-09-22T18:11:21Z

TypeScript Bot (@typescript-bot) test top1000

typescript-automation · 2026-09-22T18:11:27Z

Starting jobs; this comment will be updated as builds start and complete.

Command	Status	Results
`test top1000`	✅ Started

Reduce string & {}, number & {}, and bigint & {} normally. Preserve redundant literals alongside their matching broad primitive in sparse origin metadata. Use the origins for completions, quick info, and mapped-key enumeration without changing ordinary type printing. Recognize origin-bearing primitive copies in index-signature and union comparisons. Strada history: - #28429 first allowed string & {} to survive by preserving actual empty object intersections. #28429 - #49119 introduced noSupertypeReduction for string, number, and bigint intersections, explicitly documenting and testing the completion exception in completionPreferredSuggestions1.ts. #49119

Represent {} under strictNullChecks as unknown & not null & not undefined. Remove the synthetic unknown union, recombination helpers, and unknown-like union assignability special case. Narrow nullish types directly through intersections and exclusions. Replace the {} | null | undefined formulation introduced by #49119 while preserving apparent members, empty-type identity, and generic indexed access. #49119

Wesley Wigham (weswigham) · 2026-10-19T16:36:42Z

TypeScript Bot (@typescript-bot) test this

typescript-automation · 2026-10-19T16:36:47Z

Starting jobs; this comment will be updated as builds start and complete.

Command	Status	Results
`test top400`	✅ Started
`user test this`	✅ Started
`run dt`	✅ Started	❌ Results
`perf test this faster`	✅ Started	👀 Results

typescript-automation · 2026-10-19T17:05:48Z

Wesley Wigham (@weswigham)
The results of the perf run you requested are in!

Here they are:

tsc

Comparison Report - baseline..pr

_Metric	_baseline	_pr	_Delta	_Best	_Worst	_p-value
_{Compiler-Unions - native}
_Errors	₄₁	₄₁	_~	_~	_~	_{p=1.000 n=12}
_Symbols	_115,281	_115,368	_{+87 (+ 0.08%)}	_~	_~	_{p=0.000 n=12}
_Types	_80,284	_81,343	_{+1,059 (+ 1.32%)}	_~	_~	_{p=0.000 n=12}
_{Memory Used}	_{114,762k (± 0.07%)}	_{114,848k (± 0.04%)}	_~	_114,760k	_115,023k	_{p=0.139 n=12}
_{Memory Allocs}	_{2,219,704 (± 0.01%)}	_{2,221,189 (± 0.00%)}	_{+1,485 (+ 0.07%)}	_2,221,046	_2,221,440	_{p=0.000 n=12}
_{Config Time}	_0.000s	_0.000s	_~	_~	_~	_{p=1.000 n=12}
_{Parse Time}	_{0.040s (± 6.35%)}	_{0.039s (± 3.57%)}	_~	_0.036s	_0.042s	_{p=0.808 n=12}
_{Bind Time}	_{0.013s (±10.62%)}	_{0.014s (± 7.90%)}	_~	_0.011s	_0.017s	_{p=0.137 n=12}
_{Check Time}	_{0.551s (± 0.67%)}	_{0.568s (± 0.59%)}	_{+0.017s (+ 3.12%)}	_0.560s	_0.578s	_{p=0.000 n=12}
_{Emit Time}	_{0.274s (± 2.07%)}	_{0.280s (± 1.57%)}	_~	_0.262s	_0.288s	_{p=0.080 n=12}
_{Total Time}	_{0.884s (± 0.66%)}	_{0.908s (± 0.63%)}	_{+0.024s (+ 2.69%)}	_0.889s	_0.925s	_{p=0.000 n=12}
_{angular-1 - native}
_Errors	₃	₃	_~	_~	_~	_{p=1.000 n=12}
_Symbols	_{846,111 (± 0.05%)}	_{847,592 (± 0.08%)}	_{+1,481 (+ 0.18%)}	_846,141	_850,154	_{p=0.000 n=12}
_Types	_{249,046 (± 0.00%)}	_{248,509 (± 0.00%)}	_{-537 (- 0.22%)}	_248,507	_248,512	_{p=0.000 n=12}
_{Memory Used}	_{598,918k (± 0.04%)}	_{598,586k (± 0.02%)}	_{-332k (- 0.06%)}	_598,288k	_599,042k	_{p=0.014 n=12}
_{Memory Allocs}	_{13,155,609 (± 0.09%)}	_{13,177,088 (± 0.13%)}	_{+21,479 (+ 0.16%)}	_13,162,531	_13,236,176	_{p=0.001 n=12}
_{Config Time}	_0.017s	_0.017s	_~	_~	_~	_{p=1.000 n=12}
_{Parse Time}	_{0.229s (± 2.08%)}	_{0.225s (± 2.01%)}	_~	_0.216s	_0.241s	_{p=0.352 n=12}
_{Bind Time}	_{0.068s (± 9.04%)}	_{0.073s (±15.34%)}	_~	_0.058s	_0.108s	_{p=0.787 n=12}
_{Check Time}	_0s	_0s	_~	_~	_~	_{p=1.000 n=12}
_{Emit Time}	_{1.571s (± 2.21%)}	_{1.572s (± 1.59%)}	_~	_1.518s	_1.652s	_{p=0.966 n=12}
_{Total Time}	_{1.900s (± 1.91%)}	_{1.903s (± 1.46%)}	_~	_1.837s	_1.966s	_{p=0.965 n=12}
_{mui-docs - native}
_Errors	_11,408	_11,423	_{+15 (+ 0.13%)}	_~	_~	_{p=0.000 n=12}
_Symbols	_4,336,502	_5,298,865	_{🔻+962,363 (+22.19%)}	_~	_~	_{p=0.000 n=12}
_Types	_1,378,064	_1,299,077	_{🟩-78,987 (- 5.73%)}	_~	_~	_{p=0.000 n=12}
_{Memory Used}	_{2,634,908k (± 0.06%)}	_{2,873,853k (± 0.05%)}	_{🔻+238,945k (+ 9.07%)}	_2,870,504k	_2,878,410k	_{p=0.000 n=12}
_{Memory Allocs}	_{27,765,135 (± 0.07%)}	_{30,975,128 (± 0.06%)}	_{🔻+3,209,993 (+11.56%)}	_30,935,429	_31,025,986	_{p=0.000 n=12}
_{Config Time}	_0.017s	_0.017s	_~	_~	_~	_{p=1.000 n=12}
_{Parse Time}	_{0.472s (± 2.33%)}	_{0.465s (± 2.27%)}	_~	_0.435s	_0.490s	_{p=0.504 n=12}
_{Bind Time}	_0.002s	_0.002s	_~	_~	_~	_{p=1.000 n=12}
_{Check Time}	_{7.268s (± 0.44%)}	_{7.815s (± 0.37%)}	_{🔻+0.547s (+ 7.53%)}	_7.681s	_7.862s	_{p=0.000 n=12}
_{Emit Time}	_{0.577s (±11.47%)}	_{0.428s (± 1.96%)}	_{🟩-0.149s (-25.84%)}	_0.421s	_0.470s	_{p=0.001 n=12}
_{Total Time}	_{9.089s (± 0.70%)}	_{9.472s (± 0.38%)}	_{🔻+0.383s (+ 4.22%)}	_9.315s	_9.547s	_{p=0.000 n=12}
_{strada-build-src - native}
_Errors	₂	₈	_{🔻+6 (+300.00%)}	_~	_~	_{p=0.000 n=12}
_Symbols	_1,508,894	_1,639,184	_{🔻+130,290 (+ 8.63%)}	_~	_~	_{p=0.000 n=12}
_Types	_448,523	_457,444	_{+8,921 (+ 1.99%)}	_~	_~	_{p=0.000 n=12}
_{Memory Used}	_{1,787,416k (± 0.37%)}	_{1,936,515k (± 0.25%)}	_{🔻+149,099k (+ 8.34%)}	_1,925,039k	_1,946,102k	_{p=0.000 n=12}
_{Memory Allocs}	_{79,302,744 (± 0.03%)}	_{80,517,091 (± 0.03%)}	_{+1,214,347 (+ 1.53%)}	_80,479,386	_80,582,088	_{p=0.000 n=12}
_{Config Time}	_{0.004s (±11.29%)}	_{0.007s (± 6.39%)}	_{🔻+0.002s (+49.06%)}	_0.005s	_0.007s	_{p=0.000 n=12}
_{Parse Time}	_{0.342s (± 2.27%)}	_{0.370s (± 1.16%)}	_{🔻+0.029s (+ 8.34%)}	_0.363s	_0.385s	_{p=0.000 n=12}
_{Bind Time}	_0.000s	_0.000s	_~	_~	_~	_{p=1.000 n=12}
_{Check Time}	_{1.752s (± 0.29%)}	_{1.795s (± 0.39%)}	_{+0.043s (+ 2.47%)}	_1.779s	_1.811s	_{p=0.000 n=12}
_{Emit Time}	_{0.340s (± 2.43%)}	_{0.336s (± 2.53%)}	_~	_0.321s	_0.358s	_{p=0.504 n=12}
_{Total Time}	_{21.454s (± 0.36%)}	_{22.145s (± 0.72%)}	_{+0.690s (+ 3.22%)}	_21.757s	_22.541s	_{p=0.000 n=12}
_{strada-compiler - native}
_Errors	₁	₂	_{🔻+1 (+100.00%)}	_~	_~	_{p=0.000 n=12}
_Symbols	_335,152	_335,189	_{+37 (+ 0.01%)}	_~	_~	_{p=0.000 n=12}
_Types	_202,150	_205,467	_{+3,317 (+ 1.64%)}	_~	_~	_{p=0.000 n=12}
_{Memory Used}	_{254,625k (± 0.03%)}	_{255,125k (± 0.02%)}	_{+500k (+ 0.20%)}	_254,904k	_255,304k	_{p=0.000 n=12}
_{Memory Allocs}	_{4,364,309 (± 0.01%)}	_{4,382,433 (± 0.01%)}	_{+18,124 (+ 0.42%)}	_4,381,254	_4,383,726	_{p=0.000 n=12}
_{Config Time}	_0.001s	_0.001s	_~	_~	_~	_{p=1.000 n=12}
_{Parse Time}	_{0.117s (± 2.41%)}	_{0.114s (± 4.16%)}	_~	_0.101s	_0.123s	_{p=0.467 n=12}
_{Bind Time}	_0.000s	_0.000s	_~	_~	_~	_{p=1.000 n=12}
_{Check Time}	_{1.047s (± 0.37%)}	_{1.067s (± 0.30%)}	_{+0.020s (+ 1.88%)}	_1.060s	_1.078s	_{p=0.000 n=12}
_{Emit Time}	_{0.149s (± 4.84%)}	_{0.159s (± 3.95%)}	_{🔻+0.010s (+ 6.54%)}	_0.143s	_0.174s	_{p=0.043 n=12}
_{Total Time}	_{1.371s (± 0.74%)}	_{1.403s (± 0.67%)}	_{+0.033s (+ 2.39%)}	_1.374s	_1.429s	_{p=0.000 n=12}
_{ts-pre-modules - native}
_Errors	₈₇	₈₈	_{+1 (+ 1.15%)}	_~	_~	_{p=0.000 n=12}
_Symbols	_304,478	_304,722	_{+244 (+ 0.08%)}	_~	_~	_{p=0.000 n=12}
_Types	_185,043	_187,521	_{+2,478 (+ 1.34%)}	_~	_~	_{p=0.000 n=12}
_{Memory Used}	_{221,740k (± 0.02%)}	_{222,069k (± 0.03%)}	_{+330k (+ 0.15%)}	_221,880k	_222,190k	_{p=0.000 n=12}
_{Memory Allocs}	_{1,432,287 (± 0.02%)}	_{1,443,612 (± 0.01%)}	_{+11,325 (+ 0.79%)}	_1,443,280	_1,444,421	_{p=0.000 n=12}
_{Config Time}	_{0.000s (±217.90%)}	_0.000s	_~	_~	_~	_{p=1.000 n=12}
_{Parse Time}	_{0.103s (± 4.58%)}	_{0.097s (± 4.60%)}	_{🟩-0.006s (- 6.07%)}	_0.086s	_0.109s	_{p=0.043 n=12}
_{Bind Time}	_{0.040s (± 9.04%)}	_{0.040s (± 8.21%)}	_~	_0.032s	_0.048s	_{p=0.744 n=12}
_{Check Time}	_{0.812s (± 0.89%)}	_{0.839s (± 0.80%)}	_{+0.027s (+ 3.36%)}	_0.821s	_0.852s	_{p=0.000 n=12}
_{Emit Time}	_0.000s	_0.000s	_~	_~	_~	_{p=1.000 n=12}
_{Total Time}	_{0.969s (± 1.05%)}	_{0.990s (± 0.76%)}	_{+0.021s (+ 2.13%)}	_0.975s	_1.012s	_{p=0.003 n=12}
_{vscode - native}
_Errors	₃₉₆	₄₀₆	_{+10 (+ 2.53%)}	_~	_~	_{p=0.000 n=12}
_Symbols	_12,422,934	_12,442,560	_{+19,626 (+ 0.16%)}	_~	_~	_{p=0.000 n=12}
_Types	_4,077,598	_4,140,779	_{+63,181 (+ 1.55%)}	_~	_~	_{p=0.000 n=12}
_{Memory Used}	_{5,865,293k (± 0.02%)}	_{5,874,976k (± 0.02%)}	_{+9,682k (+ 0.17%)}	_5,872,523k	_5,878,925k	_{p=0.000 n=12}
_{Memory Allocs}	_{59,487,511 (± 0.01%)}	_{60,059,496 (± 0.04%)}	_{+571,985 (+ 0.96%)}	_60,033,042	_60,161,851	_{p=0.000 n=12}
_{Config Time}	_{0.077s (± 0.42%)}	_{0.077s (± 0.32%)}	_~	_0.076s	_0.077s	_{p=1.000 n=12}
_{Parse Time}	_{1.820s (± 2.58%)}	_{1.842s (± 2.91%)}	_~	_1.727s	_1.977s	_{p=0.486 n=12}
_{Bind Time}	_{0.726s (±12.40%)}	_{0.696s (±15.61%)}	_~	_0.505s	_0.945s	_{p=0.514 n=12}
_{Check Time}	_{15.567s (± 0.84%)}	_{16.144s (± 0.94%)}	_{+0.577s (+ 3.71%)}	_15.856s	_16.438s	_{p=0.000 n=12}
_{Emit Time}	_{5.189s (± 7.13%)}	_{5.474s (± 4.27%)}	_~	_4.639s	_5.836s	_{p=0.178 n=12}
_{Total Time}	_{23.470s (± 1.23%)}	_{24.320s (± 0.80%)}	_{+0.850s (+ 3.62%)}	_23.688s	_24.913s	_{p=0.000 n=12}
_{webpack - native}
_Errors	₅₉₉	₆₂₀	_{+21 (+ 3.51%)}	_~	_~	_{p=0.000 n=12}
_Symbols	_1,399,742	_1,401,549	_{+1,807 (+ 0.13%)}	_~	_~	_{p=0.000 n=12}
_Types	_683,614	_745,932	_{🔻+62,318 (+ 9.12%)}	_~	_~	_{p=0.000 n=12}
_{Memory Used}	_{898,368k (± 0.02%)}	_{902,963k (± 0.02%)}	_{+4,595k (+ 0.51%)}	_902,632k	_903,379k	_{p=0.000 n=12}
_{Memory Allocs}	_{7,052,180 (± 0.02%)}	_{9,078,023 (± 0.02%)}	_{🔻+2,025,842 (+28.73%)}	_9,075,922	_9,086,253	_{p=0.000 n=12}
_{Config Time}	_0.009s	_0.009s	_~	_~	_~	_{p=1.000 n=12}
_{Parse Time}	_{0.311s (± 2.74%)}	_{0.318s (± 3.40%)}	_~	_0.281s	_0.342s	_{p=0.224 n=12}
_{Bind Time}	_{0.076s (± 3.34%)}	_{0.078s (± 5.88%)}	_~	_0.071s	_0.099s	_{p=0.786 n=12}
_{Check Time}	_{2.698s (± 0.51%)}	_{3.961s (± 0.44%)}	_{🔻+1.263s (+46.81%)}	_3.909s	_3.992s	_{p=0.000 n=12}
_{Emit Time}	_0.000s	_0.000s	_~	_~	_~	_{p=1.000 n=12}
_{Total Time}	_{3.130s (± 0.37%)}	_{4.402s (± 0.45%)}	_{🔻+1.272s (+40.63%)}	_4.339s	_4.438s	_{p=0.000 n=12}
_{xstate-main - native}
_Errors	₀	₄₂₂	_{🔻+422 (+ ∞%)}	_~	_~	_{p=0.000 n=12}
_Symbols	_1,060,990	_1,087,234	_{+26,244 (+ 2.47%)}	_~	_~	_{p=0.000 n=12}
_Types	_390,861	_402,646	_{+11,785 (+ 3.02%)}	_~	_~	_{p=0.000 n=12}
_{Memory Used}	_{474,899k (± 0.02%)}	_{520,827k (± 0.02%)}	_{🔻+45,928k (+ 9.67%)}	_520,637k	_521,223k	_{p=0.000 n=12}
_{Memory Allocs}	_{4,229,822 (± 0.08%)}	_{4,667,771 (± 0.09%)}	_{🔻+437,949 (+10.35%)}	_4,654,524	_4,678,246	_{p=0.000 n=12}
_{Config Time}	_0.003s	_0.003s	_~	_~	_~	_{p=1.000 n=12}
_{Parse Time}	_{0.133s (± 3.01%)}	_{0.140s (± 3.89%)}	_{🔻+0.007s (+ 5.65%)}	_0.127s	_0.154s	_{p=0.029 n=12}
_{Bind Time}	_{0.049s (±16.62%)}	_{0.044s (±13.15%)}	_~	_0.033s	_0.061s	_{p=0.338 n=12}
_{Check Time}	_{1.098s (± 0.79%)}	_{1.267s (± 1.20%)}	_{🔻+0.169s (+15.38%)}	_1.223s	_1.307s	_{p=0.000 n=12}
_{Emit Time}	_0.000s	_0.000s	_~	_~	_~	_{p=1.000 n=12}
_{Total Time}	_{1.290s (± 0.75%)}	_{1.480s (± 1.13%)}	_{🔻+0.190s (+14.73%)}	_1.438s	_1.524s	_{p=0.000 n=12}

System info unknown

Hosts

native

Scenarios

Compiler-Unions - native
angular-1 - native
mui-docs - native
strada-build-src - native
strada-compiler - native
ts-pre-modules - native
vscode - native
webpack - native
xstate-main - native

_Benchmark	_Name	_Iterations
_Current	_pr	₁₂
_Baseline	_baseline	₁₂

Developer Information:

Download Benchmarks

typescript-automation · 2026-10-19T21:43:46Z

Hey Wesley Wigham (@weswigham), it looks like the DT test run failed. Please check the log for more details.

You can check the log here.

Copilot AI balanced review requested due to automatic review settings September 21, 2026 17:52

github-project-automation Bot added this to PR Backlog Sep 21, 2026

typescript-automation Bot assigned Wesley Wigham (weswigham) Sep 21, 2026

typescript-automation Bot added Author: Team For Uncommitted Bug PR for untriaged, rejected, closed or missing bug labels Sep 21, 2026

github-project-automation Bot moved this to Not started in PR Backlog Sep 21, 2026

typescript-automation Bot added the For Uncommitted Bug PR for untriaged, rejected, closed or missing bug label Sep 21, 2026

Copilot started reviewing on behalf of Wesley Wigham (weswigham) September 21, 2026 17:53

View session

Wesley Wigham (weswigham) closed this Sep 21, 2026

github-project-automation Bot moved this from Not started to Done in PR Backlog Sep 21, 2026

Wesley Wigham (weswigham) reopened this Sep 21, 2026

github-project-automation Bot moved this from Done to Not started in PR Backlog Sep 21, 2026

Wesley Wigham (weswigham) changed the base branch from main to weswigham/negated-types September 21, 2026 18:01

Wesley Wigham (weswigham) added this pull request to stack #64377 September 21, 2026 18:01

Copilot AI reviewed Sep 21, 2026

View reviewed changes

Wesley Wigham (weswigham) force-pushed the weswigham/negated-types-empty-object-meaning branch 2 times, most recently from 8948e20 to 20e1202 Compare September 22, 2026 17:57

Wesley Wigham (weswigham) force-pushed the weswigham/negated-types-empty-object-meaning branch from 20e1202 to 34c043a Compare September 22, 2026 19:45

Wesley Wigham (weswigham) removed this pull request from stack #64377 September 28, 2026 20:27

Wesley Wigham (weswigham) added 2 commits October 19, 2026 09:34

Wesley Wigham (weswigham) force-pushed the weswigham/negated-types-empty-object-meaning branch from 34c043a to f8456b1 Compare October 19, 2026 16:34

Wesley Wigham (weswigham) mentioned this pull request Oct 19, 2026

Preserve primitive literal union origins without special intersections #64411

Open

Navigation Menu

Repository navigation

Negated Types: Change the meaning of `{}` to `unknown & not null & not undefined` - #64376

Negated Types: Change the meaning of `{}` to `unknown & not null & not undefined`#64376
Wesley Wigham (weswigham) wants to merge 2 commits into
weswigham/negated-typesfrom
weswigham/negated-types-empty-object-meaning

Wesley Wigham (weswigham) commented Sep 21, 2026 •

edited

Loading

Uh oh!

Copilot AI left a comment

Uh oh!

Uh oh!

Uh oh!

Wesley Wigham (weswigham) commented Sep 21, 2026

Uh oh!

typescript-automation Bot commented Sep 21, 2026

Uh oh!

Wesley Wigham (weswigham) commented Sep 22, 2026

Uh oh!

typescript-automation Bot commented Sep 22, 2026 •

edited

Loading

Uh oh!

Wesley Wigham (weswigham) commented Oct 19, 2026

Uh oh!

typescript-automation Bot commented Oct 19, 2026 •

edited

Loading

Uh oh!

typescript-automation Bot commented Oct 19, 2026

tsc

Uh oh!

typescript-automation Bot commented Oct 19, 2026

Uh oh!

This branch has not been deployed

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Conversation

Wesley Wigham (weswigham) commented Sep 21, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

Copilot AI left a comment

Choose a reason for hiding this comment

Copilot review overview

🟡 Changes recommended

Uh oh!

Uh oh!

Uh oh!

Wesley Wigham (weswigham) commented Sep 21, 2026

Uh oh!

typescript-automation Bot commented Sep 21, 2026

Uh oh!

Wesley Wigham (weswigham) commented Sep 22, 2026

Uh oh!

typescript-automation Bot commented Sep 22, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

Wesley Wigham (weswigham) commented Oct 19, 2026

Uh oh!

typescript-automation Bot commented Oct 19, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

typescript-automation Bot commented Oct 19, 2026

tsc

Uh oh!

typescript-automation Bot commented Oct 19, 2026

Uh oh!

This branch has not been deployed

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Wesley Wigham (weswigham) commented Sep 21, 2026 •

edited

Loading

typescript-automation Bot commented Sep 22, 2026 •

edited

Loading

typescript-automation Bot commented Oct 19, 2026 •

edited

Loading