ttsc 0.33.0 → 0.34.0

package/targets/7.1/bridge/ast/test/next_jsdoc_comment_location_reaches_variable_statement_test.go

@@ -0,0 +1,51 @@
+package ast_test
+
+import (
+  "testing"
+
+  shimast "github.com/microsoft/TypeScript/tsc/shim/ast"
+)
+
+// Verifies JSDoc attachment traversal reaches the first variable's statement.
+//
+// Public linkage alone cannot show that a parent traversal reaches its required
+// endpoint or that later declarations remain outside the shared comment host.
+//
+//  1. Build and parent-link a statement containing two initialized declarations.
+//  2. Traverse the first initializer through its declaration and list to the statement.
+//  3. Require termination at the statement and rejection of the second declaration.
+//
+// @evidence contracts/testing.md#behavioral-verification The real public shim traversal follows factory-built parent links and must return the exact containing statement after all three hops.
+// @evidence contracts/testing.md#independent-expectations Explicitly retained initializer, declaration, list and statement pointers establish each expected endpoint independently of traversal output.
+// @evidence contracts/testing.md#distinguishing-cases First and second declarations distinguish the attachment boundary, while a detached initializer and statement root distinguish nil termination from unbounded ancestry.
+// @evidence contracts/testing.md#execution-ownership The existing shim/ast/test source-unit runner executes the actual AST factory, parent wiring and traversal in one Go process with no filesystem fixture or compiler producer.
+func TestNextJSDocCommentLocationReachesVariableStatement(t *testing.T) {
+  factory := shimast.NewNodeFactory(shimast.NodeFactoryHooks{})
+  firstInitializer := factory.NewNumericLiteral("1", shimast.TokenFlagsNone)
+  secondInitializer := factory.NewNumericLiteral("2", shimast.TokenFlagsNone)
+  first := factory.NewVariableDeclaration(factory.NewIdentifier("first"), nil, nil, firstInitializer)
+  second := factory.NewVariableDeclaration(factory.NewIdentifier("second"), nil, nil, secondInitializer)
+  list := factory.NewVariableDeclarationList(factory.NewNodeList([]*shimast.Node{first, second}), shimast.NodeFlagsConst)
+  statement := factory.NewVariableStatement(nil, list)
+  shimast.SetParentInChildren(statement)
+  node := firstInitializer
+  for index, expected := range []*shimast.Node{first, list, statement} {
+    node = shimast.GetNextJSDocCommentLocation(node)
+    if node != expected {
+      t.Fatalf("attachment hop %d = %p, want %p", index+1, node, expected)
+    }
+  }
+  if got := shimast.GetNextJSDocCommentLocation(statement); got != nil {
+    t.Fatalf("statement root advanced to %p", got)
+  }
+  if got := shimast.GetNextJSDocCommentLocation(secondInitializer); got != second {
+    t.Fatalf("second initializer host = %p, want its declaration %p", got, second)
+  }
+  if got := shimast.GetNextJSDocCommentLocation(second); got != nil {
+    t.Fatalf("later declaration advanced to shared list %p", got)
+  }
+  detached := factory.NewNumericLiteral("3", shimast.TokenFlagsNone)
+  if got := shimast.GetNextJSDocCommentLocation(detached); got != nil {
+    t.Fatalf("detached node advanced to %p", got)
+  }
+}

package/targets/7.1/bridge/ast/test/node_text_joins_multi_hop_qualified_name_test.go

@@ -0,0 +1,47 @@
+package ast_test
+
+import (
+  "strings"
+  "testing"
+
+  shimast "github.com/microsoft/TypeScript/tsc/shim/ast"
+)
+
+// TestNodeTextJoinsMultiHopQualifiedName verifies NodeText joins a
+// multi-hop QualifiedName as "A.B.C".
+//
+// QualifiedName.Left can itself be qualified. The three distinct components
+// distinguish a full-chain join from dropping or reversing earlier names.
+// A deeper repeated-component chain checks complete output without asserting
+// timing, allocation counts or an implementation-specific traversal strategy.
+//
+//  1. Construct A.B then ((A.B).C) via NewQualifiedName.
+//  2. Call NodeText on the outer node.
+//  3. Assert the result is "A.B.C".
+//  4. Build 2,000 X components followed by Tail and compare the complete text
+//     against the independent repeated literal spelling.
+//
+// @evidence contracts/testing.md#behavioral-verification NodeText joins nested factory-built qualified names into A.B.C and preserves every component of a 2,001-name chain.
+// @evidence contracts/testing.md#independent-expectations Literal A.B.C and 2,000 repetitions of X. followed by Tail specify source spelling without using NodeText as an oracle.
+// @evidence contracts/testing.md#distinguishing-cases Distinct A/B/C names expose reversed order or a lost prefix; the deeper chain exposes truncated ancestry. Empty-component controls are owned by TestNodeTextSkipsEmptyQualifiedLeft, and this case does not measure complexity.
+// @evidence contracts/testing.md#execution-ownership The case calls the shim on actual factory nodes in the existing Go shim unit process; no consumer compiler or native host is run.
+func TestNodeTextJoinsMultiHopQualifiedName(t *testing.T) {
+  factory := shimast.NewNodeFactory(shimast.NodeFactoryHooks{})
+  a := factory.NewIdentifier("A")
+  b := factory.NewIdentifier("B")
+  c := factory.NewIdentifier("C")
+  ab := factory.NewQualifiedName(a, b)
+  abc := factory.NewQualifiedName(ab, c)
+  if got := shimast.NodeText(abc); got != "A.B.C" {
+    t.Fatalf("NodeText(A.B.C) = %q, want %q", got, "A.B.C")
+  }
+
+  chain := factory.NewIdentifier("X")
+  for i := 1; i < 2000; i++ {
+    chain = factory.NewQualifiedName(chain, factory.NewIdentifier("X"))
+  }
+  chain = factory.NewQualifiedName(chain, factory.NewIdentifier("Tail"))
+  if got, want := shimast.NodeText(chain), strings.Repeat("X.", 2000)+"Tail"; got != want {
+    t.Fatalf("deep qualified spelling = %q, want %q", got, want)
+  }
+}

package/targets/7.1/bridge/ast/test/node_text_joins_one_hop_qualified_name_test.go

@@ -0,0 +1,35 @@
+package ast_test
+
+import (
+  "testing"
+
+  shimast "github.com/microsoft/TypeScript/tsc/shim/ast"
+)
+
+// TestNodeTextJoinsOneHopQualifiedName verifies NodeText joins a one-hop
+// QualifiedName as "left.right".
+//
+// Locks the QualifiedName arm that upstream lacks: upstream's
+// (*Node).Text() panics with `Unhandled case in Node.Text:
+// *ast.QualifiedName` because the switch has no arm for the Kind. Dotted
+// JSDoc parameter names motivate this representation, but this factory-only
+// case does not parse a JSDoc tag or execute an integration pipeline. NodeText
+// must turn a `Foo.Bar` qualified name into the dotted string.
+//
+// 1. Construct Foo.Bar via NewQualifiedName(Foo, Bar).
+// 2. Call NodeText on the qualified node.
+// 3. Assert the result is "Foo.Bar".
+//
+// @evidence contracts/testing.md#behavioral-verification NodeText joins the factory-built Foo.Bar qualified-name kind that lacks an upstream Text arm.
+// @evidence contracts/testing.md#independent-expectations The literal Foo.Bar expectation fixes the separator and both node payloads independently.
+// @evidence contracts/testing.md#distinguishing-cases A real qualified node distinguishes safe shim dispatch from a delegated upstream panic or identifier-only output.
+// @evidence contracts/testing.md#execution-ownership The shim and real AST factory execute in-process; typia and nestia integration remain distinct CI consumers.
+func TestNodeTextJoinsOneHopQualifiedName(t *testing.T) {
+  factory := shimast.NewNodeFactory(shimast.NodeFactoryHooks{})
+  left := factory.NewIdentifier("Foo")
+  right := factory.NewIdentifier("Bar")
+  qn := factory.NewQualifiedName(left, right)
+  if got := shimast.NodeText(qn); got != "Foo.Bar" {
+    t.Fatalf("NodeText(Foo.Bar) = %q, want %q", got, "Foo.Bar")
+  }
+}

package/targets/7.1/bridge/ast/test/node_text_returns_empty_for_nil_test.go

@@ -0,0 +1,31 @@
+package ast_test
+
+import (
+  "testing"
+
+  shimast "github.com/microsoft/TypeScript/tsc/shim/ast"
+)
+
+// TestNodeTextReturnsEmptyForNil verifies NodeText returns "" for a nil node.
+//
+// Locks the nil guard and distinguishes nil from an identifier payload. This
+// does not establish totality for arbitrary malformed node data or cyclic
+// qualified-name graphs, nor execute a caller's missing-name filtering policy.
+//
+// 1. Call NodeText(nil).
+// 2. Assert the result is "".
+//
+// @evidence contracts/testing.md#behavioral-verification NodeText handles a nil node without dereferencing it and leaves real identifier text available.
+// @evidence contracts/testing.md#independent-expectations Literal empty and Present expectations distinguish absence from a real named node.
+// @evidence contracts/testing.md#distinguishing-cases The nil input tests the nil guard and the identifier positive control rejects an unconditional empty result. Arbitrary malformed nodes and cycles are not exercised.
+// @evidence contracts/testing.md#execution-ownership Both calls use the actual shim in the existing Go unit process without parsing or launching a consumer compiler.
+func TestNodeTextReturnsEmptyForNil(t *testing.T) {
+  if got := shimast.NodeText(nil); got != "" {
+    t.Fatalf("NodeText(nil) = %q, want %q", got, "")
+  }
+
+  factory := shimast.NewNodeFactory(shimast.NodeFactoryHooks{})
+  if got := shimast.NodeText(factory.NewIdentifier("Present")); got != "Present" {
+    t.Fatalf("identifier control = %q", got)
+  }
+}

package/targets/7.1/bridge/ast/test/node_text_returns_identifier_text_test.go

@@ -0,0 +1,34 @@
+package ast_test
+
+import (
+  "testing"
+
+  shimast "github.com/microsoft/TypeScript/tsc/shim/ast"
+)
+
+// TestNodeTextReturnsIdentifierText verifies NodeText returns the
+// identifier text when the node Kind already has an upstream Text() arm.
+//
+// Covers the Identifier delegated branch. Falling back to a source slice
+// would lose Foo on a synthesized node without a source range. Other token
+// kinds and downstream metadata consumers are not exercised by this case.
+//
+// 1. Construct a synthesised Identifier via NewIdentifier("Foo").
+// 2. Call NodeText on it.
+// 3. Assert the result is "Foo".
+//
+// @evidence contracts/testing.md#behavioral-verification NodeText returns the actual identifier payload for synthesized factory nodes without a source range.
+// @evidence contracts/testing.md#independent-expectations Literal Foo and empty expectations fix token text independently of source slicing or another production text helper.
+// @evidence contracts/testing.md#distinguishing-cases Named and empty synthesized identifiers distinguish payload forwarding from a source-range-only implementation or fabricated spelling.
+// @evidence contracts/testing.md#execution-ownership The real factory and shim execute directly in the existing Go shim test process; no source-file or native-host fixture is needed.
+func TestNodeTextReturnsIdentifierText(t *testing.T) {
+  factory := shimast.NewNodeFactory(shimast.NodeFactoryHooks{})
+  id := factory.NewIdentifier("Foo")
+  if got := shimast.NodeText(id); got != "Foo" {
+    t.Fatalf("NodeText(Identifier) = %q, want %q", got, "Foo")
+  }
+
+  if got := shimast.NodeText(factory.NewIdentifier("")); got != "" {
+    t.Fatalf("empty identifier = %q", got)
+  }
+}

package/targets/7.1/bridge/ast/test/node_text_skips_empty_qualified_left_test.go

@@ -0,0 +1,60 @@
+package ast_test
+
+import (
+  "testing"
+
+  shimast "github.com/microsoft/TypeScript/tsc/shim/ast"
+)
+
+// TestNodeTextSkipsEmptyQualifiedLeft verifies NodeText does not emit a
+// stray leading "." when the left segment of a QualifiedName resolves
+// to the empty string.
+//
+// Synthesized trees can contain empty or absent qualified components. A naive
+// `left + "." + right` concatenation would yield `.Inner` for an empty left
+// component. This factory-only case checks separator omission without parsing
+// recovery input or exercising a downstream metadata map.
+//
+// 1. Build a QualifiedName whose Left is an Identifier created with "".
+// 2. Call NodeText on the qualified node.
+// 3. Assert the result is the right-hand text with no leading dot.
+//
+// @evidence contracts/testing.md#behavioral-verification NodeText omits separators for empty qualified components and returns empty when both components are empty.
+// @evidence contracts/testing.md#independent-expectations Literal Inner, Outer and empty expectations independently specify each qualified-name recovery result.
+// @evidence contracts/testing.md#distinguishing-cases Empty-left/right/both, nested empty interior/tail, and absent left/right controls distinguish stray separators, lost earlier components and unconditional right-only output.
+// @evidence contracts/testing.md#execution-ownership All qualified nodes are built with the actual factory and passed directly to the shim in one existing Go unit case.
+func TestNodeTextSkipsEmptyQualifiedLeft(t *testing.T) {
+  factory := shimast.NewNodeFactory(shimast.NodeFactoryHooks{})
+  left := factory.NewIdentifier("")
+  right := factory.NewIdentifier("Inner")
+  qn := factory.NewQualifiedName(left, right)
+  if got := shimast.NodeText(qn); got != "Inner" {
+    t.Fatalf("NodeText(<empty>.Inner) = %q, want %q", got, "Inner")
+  }
+
+  for _, tc := range []struct{ left, right, want string }{{"Outer", "", "Outer"}, {"", "", ""}} {
+    node := factory.NewQualifiedName(factory.NewIdentifier(tc.left), factory.NewIdentifier(tc.right))
+    if got := shimast.NodeText(node); got != tc.want {
+      t.Fatalf("NodeText(%q.%q) = %q, want %q", tc.left, tc.right, got, tc.want)
+    }
+  }
+
+  nested := factory.NewQualifiedName(factory.NewIdentifier("Outer"), factory.NewIdentifier(""))
+  nested = factory.NewQualifiedName(nested, factory.NewIdentifier("Inner"))
+  nested = factory.NewQualifiedName(nested, factory.NewIdentifier(""))
+  if got := shimast.NodeText(nested); got != "Outer.Inner" {
+    t.Fatalf("nested empty component spelling = %q, want Outer.Inner", got)
+  }
+  for _, tc := range []struct {
+    node *shimast.Node
+    want string
+  }{
+    {factory.NewQualifiedName(nil, factory.NewIdentifier("Inner")), "Inner"},
+    {factory.NewQualifiedName(factory.NewIdentifier("Outer"), nil), "Outer"},
+    {factory.NewQualifiedName(nil, nil), ""},
+  } {
+    if got := shimast.NodeText(tc.node); got != tc.want {
+      t.Fatalf("absent component spelling = %q, want %q", got, tc.want)
+    }
+  }
+}

package/targets/7.1/bridge/astnav/go.mod

@@ -0,0 +1,14 @@
+module github.com/microsoft/TypeScript/tsc/shim/astnav
+
+go 1.27
+
+require github.com/microsoft/TypeScript/tsc v0.0.0-20261019224239-28534d760906
+
+require (
+	github.com/klauspost/compress v1.20.0 // indirect
+	github.com/klauspost/cpuid/v2 v2.2.10 // indirect
+	github.com/zeebo/xxh3 v1.1.0 // indirect
+	golang.org/x/sync v0.23.0 // indirect
+	golang.org/x/sys v0.48.0 // indirect
+	golang.org/x/text v0.42.0 // indirect
+)

package/targets/7.1/bridge/astnav/go.sum

@@ -0,0 +1,22 @@
+github.com/google/go-cmp v0.7.0 h1:wk8382ETsv4JYUZwIsn6YpYiWiBsYLSJiTsyBybVuN8=
+github.com/google/go-cmp v0.7.0/go.mod h1:pXiqmnSA92OHEEa9HXL2W4E7lf9JzCmGVUdgjX3N/iU=
+github.com/klauspost/compress v1.20.0 h1:a3C1ke2ohxFymNlb2HWAHjDeKCI90scRskErZkR0ezA=
+github.com/klauspost/compress v1.20.0/go.mod h1:LUdAzn7YLVvxLpc7y3V1m40wESHTgc1422pwwBSKYuI=
+github.com/klauspost/cpuid/v2 v2.2.10 h1:tBs3QSyvjDyFTq3uoc/9xFpCuOsJQFNPiAhYdw2skhE=
+github.com/klauspost/cpuid/v2 v2.2.10/go.mod h1:hqwkgyIinND0mEev00jJYCxPNVRVXFQeu1XKlok6oO0=
+github.com/microsoft/TypeScript/tsc v0.0.0-20261019224239-28534d760906 h1:Wn+Kp4ORyay6jJwvOng7G8pTD6HOP+Fwx8si66Wq7Bk=
+github.com/microsoft/TypeScript/tsc v0.0.0-20261019224239-28534d760906/go.mod h1:28hWKaTYwRARPm0T9Y0XvdvYpU2HtjONzsMqAdYLucY=
+github.com/peter-evans/patience v0.3.0 h1:rX0JdJeepqdQl1Sk9c9uvorjYYzL2TfgLX1adqYm9cA=
+github.com/peter-evans/patience v0.3.0/go.mod h1:Kmxu5sY1NmBLFSStvXjX1wS9mIv7wMcP/ubucyMOAu0=
+github.com/zeebo/assert v1.3.0 h1:g7C04CbJuIDKNPFHmsk4hwZDO5O+kntRxzaUoNXj+IQ=
+github.com/zeebo/assert v1.3.0/go.mod h1:Pq9JiuJQpG8JLJdtkwrJESF0Foym2/D9XMU5ciN/wJ0=
+github.com/zeebo/xxh3 v1.1.0 h1:s7DLGDK45Dyfg7++yxI0khrfwq9661w9EN78eP/UZVs=
+github.com/zeebo/xxh3 v1.1.0/go.mod h1:IisAie1LELR4xhVinxWS5+zf1lA4p0MW4T+w+W07F5s=
+golang.org/x/sync v0.23.0 h1:KameEIfc1IkluZyXWLn39Wd4tURc6GbCiISGiZm2bQk=
+golang.org/x/sync v0.23.0/go.mod h1:sUUOizhqBxiL6pEWpqNLUiaJn1ShEbZ6BBqskPbjZm0=
+golang.org/x/sys v0.48.0 h1:bbX/i/6MgT9BVLM9RT1thmxL04yeTAhbEz4SyadbXoo=
+golang.org/x/sys v0.48.0/go.mod h1:hNLxWAXmnKAxqDtdwIYC4bM9oQPEecfsnNMuSxOs3og=
+golang.org/x/text v0.42.0 h1:JbOZXgfeCPU9gacVtYliJqOhD+zhrEqK4LfdpmlUZqI=
+golang.org/x/text v0.42.0/go.mod h1:ojzP1Z+2QtioaF8DTtO8K5q7JWVVYwZKenzujK0Zd0E=
+gotest.tools/v3 v3.5.2 h1:7koQfIKdy+I8UTetycgUqXWSDwpgv193Ka+qRsmBY8Q=
+gotest.tools/v3 v3.5.2/go.mod h1:LtdLGcnqToBH83WByAAi/wiwSFCArdFIUV/xxN4pcjA=

package/targets/7.1/bridge/astnav/shim.go

@@ -0,0 +1,24 @@
+// Package astnav exposes cursor-position traversal helpers from TypeScript-Go.
+package astnav
+
+import (
+  "github.com/microsoft/TypeScript/tsc/internal/ast"
+  _ "github.com/microsoft/TypeScript/tsc/internal/astnav"
+  _ "unsafe"
+)
+
+// GetTouchingToken returns the token touching position in sourceFile. When
+// position touches no token, it returns the enclosing non-token node instead;
+// callers that require a token must check ast.IsTokenKind on the result kind.
+//
+// @evidence contracts/common.md#principled-implementation Linking the pinned traversal preserves its byte-coordinate and enclosing-node fallback semantics; sourceFile must be a real compiler source tree.
+// @evidence contracts/common.md#clear-and-simple-design One direct bridge exposes the existing cursor operation without adding a second AST search or token representation.
+// @evidence contracts/common.md#prohibited-implementation-shortcuts go:linkname is the shim's explicit internal-package bridge; it neither replaces the upstream traversal nor guesses token kinds from source text.
+// @evidence contracts/common.md#meaningful-documentation Native prose warns about the non-token fallback and the caller's classification responsibility, separated from these acknowledgments.
+// @evidenceExclude contracts/performance.md#bound-retention-and-release-resources GetTouchingToken declares a signature only; the implementation owns acquisition and release of resources.
+// @evidenceExclude contracts/performance.md#efficient-algorithms GetTouchingToken declares a signature only; the implementation owns the processing strategy.
+// @evidenceExclude contracts/performance.md#reuse-equivalent-work GetTouchingToken declares a signature only; the implementation owns any shared work.
+// @evidenceExclude contracts/portability.md#os-neutral-implementation GetTouchingToken is a signature without a body here; path and platform behavior belongs to the implementation that supplies it.
+//
+//go:linkname GetTouchingToken github.com/microsoft/TypeScript/tsc/internal/astnav.GetTouchingToken
+func GetTouchingToken(sourceFile *ast.SourceFile, position int) *ast.Node

package/targets/7.1/bridge/bundled/extra-shim.json

@@ -0,0 +1 @@
+{"ExtraMethods":{},"ExtraFields":{}}

package/targets/7.1/bridge/bundled/go.mod

@@ -0,0 +1,10 @@
+module github.com/microsoft/TypeScript/tsc/shim/bundled
+
+go 1.27
+
+require github.com/microsoft/TypeScript/tsc v0.0.0-20261019224239-28534d760906
+
+require (
+	golang.org/x/sync v0.23.0 // indirect
+	golang.org/x/sys v0.48.0 // indirect
+)

package/targets/7.1/bridge/bundled/go.sum

@@ -0,0 +1,10 @@
+github.com/google/go-cmp v0.7.0 h1:wk8382ETsv4JYUZwIsn6YpYiWiBsYLSJiTsyBybVuN8=
+github.com/google/go-cmp v0.7.0/go.mod h1:pXiqmnSA92OHEEa9HXL2W4E7lf9JzCmGVUdgjX3N/iU=
+github.com/microsoft/TypeScript/tsc v0.0.0-20261019224239-28534d760906 h1:Wn+Kp4ORyay6jJwvOng7G8pTD6HOP+Fwx8si66Wq7Bk=
+github.com/microsoft/TypeScript/tsc v0.0.0-20261019224239-28534d760906/go.mod h1:28hWKaTYwRARPm0T9Y0XvdvYpU2HtjONzsMqAdYLucY=
+golang.org/x/sync v0.23.0 h1:KameEIfc1IkluZyXWLn39Wd4tURc6GbCiISGiZm2bQk=
+golang.org/x/sync v0.23.0/go.mod h1:sUUOizhqBxiL6pEWpqNLUiaJn1ShEbZ6BBqskPbjZm0=
+golang.org/x/sys v0.48.0 h1:bbX/i/6MgT9BVLM9RT1thmxL04yeTAhbEz4SyadbXoo=
+golang.org/x/sys v0.48.0/go.mod h1:hNLxWAXmnKAxqDtdwIYC4bM9oQPEecfsnNMuSxOs3og=
+gotest.tools/v3 v3.5.2 h1:7koQfIKdy+I8UTetycgUqXWSDwpgv193Ka+qRsmBY8Q=
+gotest.tools/v3 v3.5.2/go.mod h1:LtdLGcnqToBH83WByAAi/wiwSFCArdFIUV/xxN4pcjA=

package/targets/7.1/bridge/bundled/shim.go

@@ -0,0 +1,24 @@
+// Code generated by packages/ttsc/tools/gen_shims. DO NOT EDIT.
+
+package bundled
+
+import "github.com/microsoft/TypeScript/tsc/internal/bundled"
+import "github.com/microsoft/TypeScript/tsc/internal/tspath"
+import "github.com/microsoft/TypeScript/tsc/internal/vfs"
+import _ "unsafe"
+
+const Embedded = bundled.Embedded
+
+//go:linkname IsBundled github.com/microsoft/TypeScript/tsc/internal/bundled.IsBundled
+func IsBundled(path string) bool
+
+var LibNames = bundled.LibNames
+
+//go:linkname LibPath github.com/microsoft/TypeScript/tsc/internal/bundled.LibPath
+func LibPath() tspath.RootedDirectoryPath
+
+//go:linkname TestingLibPath github.com/microsoft/TypeScript/tsc/internal/bundled.TestingLibPath
+func TestingLibPath() string
+
+//go:linkname WrapFS github.com/microsoft/TypeScript/tsc/internal/bundled.WrapFS
+func WrapFS(fs vfs.FS) vfs.FS

package/targets/7.1/bridge/checker/enums_gen.go

@@ -0,0 +1,150 @@
+// Code generated by packages/ttsc/tools/shim_audit -fix. DO NOT EDIT.
+//
+// Completes every exposed enum family: re-exports each member not already
+// re-exported elsewhere in the shim package, so a plugin that can name the
+// enum type can name all of its values. Prevents a partially re-exported
+// family (a sibling const silently missing). Regenerate after a typescript-go bump with
+// `pnpm --filter ttsc shim:audit -fix`.
+
+package checker
+
+import innerchecker "github.com/microsoft/TypeScript/tsc/internal/checker"
+
+const (
+  ElementFlagsFixed                                     = innerchecker.ElementFlagsFixed
+  ElementFlagsNonRequired                               = innerchecker.ElementFlagsNonRequired
+  ElementFlagsNonRest                                   = innerchecker.ElementFlagsNonRest
+  ElementFlagsVariable                                  = innerchecker.ElementFlagsVariable
+  IterationTypeKindNext                                 = innerchecker.IterationTypeKindNext
+  IterationTypeKindReturn                               = innerchecker.IterationTypeKindReturn
+  IterationTypeKindYield                                = innerchecker.IterationTypeKindYield
+  IterationUseAllowsAsyncIterablesFlag                  = innerchecker.IterationUseAllowsAsyncIterablesFlag
+  IterationUseAllowsStringInputFlag                     = innerchecker.IterationUseAllowsStringInputFlag
+  IterationUseAllowsSyncIterablesFlag                   = innerchecker.IterationUseAllowsSyncIterablesFlag
+  IterationUseAsyncGeneratorReturnType                  = innerchecker.IterationUseAsyncGeneratorReturnType
+  IterationUseAsyncYieldStar                            = innerchecker.IterationUseAsyncYieldStar
+  IterationUseCacheFlags                                = innerchecker.IterationUseCacheFlags
+  IterationUseDestructuring                             = innerchecker.IterationUseDestructuring
+  IterationUseDestructuringFlag                         = innerchecker.IterationUseDestructuringFlag
+  IterationUseElement                                   = innerchecker.IterationUseElement
+  IterationUseForAwaitOf                                = innerchecker.IterationUseForAwaitOf
+  IterationUseForOf                                     = innerchecker.IterationUseForOf
+  IterationUseForOfFlag                                 = innerchecker.IterationUseForOfFlag
+  IterationUseGeneratorReturnType                       = innerchecker.IterationUseGeneratorReturnType
+  IterationUsePossiblyOutOfBounds                       = innerchecker.IterationUsePossiblyOutOfBounds
+  IterationUseSpread                                    = innerchecker.IterationUseSpread
+  IterationUseSpreadFlag                                = innerchecker.IterationUseSpreadFlag
+  IterationUseYieldStar                                 = innerchecker.IterationUseYieldStar
+  IterationUseYieldStarFlag                             = innerchecker.IterationUseYieldStarFlag
+  ObjectFlagsAnonymous                                  = innerchecker.ObjectFlagsAnonymous
+  ObjectFlagsArrayLiteral                               = innerchecker.ObjectFlagsArrayLiteral
+  ObjectFlagsContainsIntersections                      = innerchecker.ObjectFlagsContainsIntersections
+  ObjectFlagsContainsObjectOrArrayLiteral               = innerchecker.ObjectFlagsContainsObjectOrArrayLiteral
+  ObjectFlagsContainsSpread                             = innerchecker.ObjectFlagsContainsSpread
+  ObjectFlagsContainsWideningType                       = innerchecker.ObjectFlagsContainsWideningType
+  ObjectFlagsCouldContainTypeVariables                  = innerchecker.ObjectFlagsCouldContainTypeVariables
+  ObjectFlagsCouldContainTypeVariablesComputed          = innerchecker.ObjectFlagsCouldContainTypeVariablesComputed
+  ObjectFlagsEvolvingArray                              = innerchecker.ObjectFlagsEvolvingArray
+  ObjectFlagsFreshLiteral                               = innerchecker.ObjectFlagsFreshLiteral
+  ObjectFlagsFromTypeNode                               = innerchecker.ObjectFlagsFromTypeNode
+  ObjectFlagsIdenticalBaseTypeCalculated                = innerchecker.ObjectFlagsIdenticalBaseTypeCalculated
+  ObjectFlagsIdenticalBaseTypeExists                    = innerchecker.ObjectFlagsIdenticalBaseTypeExists
+  ObjectFlagsInstantiated                               = innerchecker.ObjectFlagsInstantiated
+  ObjectFlagsInstantiatedMapped                         = innerchecker.ObjectFlagsInstantiatedMapped
+  ObjectFlagsInstantiationExpressionType                = innerchecker.ObjectFlagsInstantiationExpressionType
+  ObjectFlagsIsClassInstanceClone                       = innerchecker.ObjectFlagsIsClassInstanceClone
+  ObjectFlagsIsConstrainedTypeVariable                  = innerchecker.ObjectFlagsIsConstrainedTypeVariable
+  ObjectFlagsIsGenericIndexType                         = innerchecker.ObjectFlagsIsGenericIndexType
+  ObjectFlagsIsGenericObjectType                        = innerchecker.ObjectFlagsIsGenericObjectType
+  ObjectFlagsIsGenericType                              = innerchecker.ObjectFlagsIsGenericType
+  ObjectFlagsIsGenericTypeComputed                      = innerchecker.ObjectFlagsIsGenericTypeComputed
+  ObjectFlagsIsNeverIntersection                        = innerchecker.ObjectFlagsIsNeverIntersection
+  ObjectFlagsIsNeverIntersectionComputed                = innerchecker.ObjectFlagsIsNeverIntersectionComputed
+  ObjectFlagsIsUniformEnum                              = innerchecker.ObjectFlagsIsUniformEnum
+  ObjectFlagsIsUniformEnumComputed                      = innerchecker.ObjectFlagsIsUniformEnumComputed
+  ObjectFlagsIsUnknownLikeUnion                         = innerchecker.ObjectFlagsIsUnknownLikeUnion
+  ObjectFlagsIsUnknownLikeUnionComputed                 = innerchecker.ObjectFlagsIsUnknownLikeUnionComputed
+  ObjectFlagsJSLiteral                                  = innerchecker.ObjectFlagsJSLiteral
+  ObjectFlagsJsxAttributes                              = innerchecker.ObjectFlagsJsxAttributes
+  ObjectFlagsMapped                                     = innerchecker.ObjectFlagsMapped
+  ObjectFlagsMembersResolved                            = innerchecker.ObjectFlagsMembersResolved
+  ObjectFlagsNonInferrableType                          = innerchecker.ObjectFlagsNonInferrableType
+  ObjectFlagsNone                                       = innerchecker.ObjectFlagsNone
+  ObjectFlagsObjectLiteral                              = innerchecker.ObjectFlagsObjectLiteral
+  ObjectFlagsObjectLiteralPatternWithComputedProperties = innerchecker.ObjectFlagsObjectLiteralPatternWithComputedProperties
+  ObjectFlagsObjectRestType                             = innerchecker.ObjectFlagsObjectRestType
+  ObjectFlagsObjectTypeKindMask                         = innerchecker.ObjectFlagsObjectTypeKindMask
+  ObjectFlagsPrimitiveUnion                             = innerchecker.ObjectFlagsPrimitiveUnion
+  ObjectFlagsPropagatingFlags                           = innerchecker.ObjectFlagsPropagatingFlags
+  ObjectFlagsRequiresWidening                           = innerchecker.ObjectFlagsRequiresWidening
+  ObjectFlagsReverseMapped                              = innerchecker.ObjectFlagsReverseMapped
+  ObjectFlagsSingleSignatureType                        = innerchecker.ObjectFlagsSingleSignatureType
+  ObjectFlagsTuple                                      = innerchecker.ObjectFlagsTuple
+  SignatureFlagsCallChainFlags                          = innerchecker.SignatureFlagsCallChainFlags
+  SignatureFlagsConstruct                               = innerchecker.SignatureFlagsConstruct
+  SignatureFlagsHasLiteralTypes                         = innerchecker.SignatureFlagsHasLiteralTypes
+  SignatureFlagsHasRestParameter                        = innerchecker.SignatureFlagsHasRestParameter
+  SignatureFlagsIsInnerCallChain                        = innerchecker.SignatureFlagsIsInnerCallChain
+  SignatureFlagsIsNonInferrable                         = innerchecker.SignatureFlagsIsNonInferrable
+  SignatureFlagsIsOuterCallChain                        = innerchecker.SignatureFlagsIsOuterCallChain
+  SignatureFlagsIsSignatureCandidateForOverloadFailure  = innerchecker.SignatureFlagsIsSignatureCandidateForOverloadFailure
+  SignatureFlagsIsUntypedSignatureInJSFile              = innerchecker.SignatureFlagsIsUntypedSignatureInJSFile
+  SignatureFlagsNone                                    = innerchecker.SignatureFlagsNone
+  SignatureFlagsPropagatingFlags                        = innerchecker.SignatureFlagsPropagatingFlags
+  SignatureKindConstruct                                = innerchecker.SignatureKindConstruct
+  TypeFlagsAnyOrUnknown                                 = innerchecker.TypeFlagsAnyOrUnknown
+  TypeFlagsBigInt                                       = innerchecker.TypeFlagsBigInt
+  TypeFlagsBoolean                                      = innerchecker.TypeFlagsBoolean
+  TypeFlagsConditional                                  = innerchecker.TypeFlagsConditional
+  TypeFlagsDefinitelyFalsy                              = innerchecker.TypeFlagsDefinitelyFalsy
+  TypeFlagsDefinitelyNonNullable                        = innerchecker.TypeFlagsDefinitelyNonNullable
+  TypeFlagsDisjointDomains                              = innerchecker.TypeFlagsDisjointDomains
+  TypeFlagsESSymbol                                     = innerchecker.TypeFlagsESSymbol
+  TypeFlagsESSymbolLike                                 = innerchecker.TypeFlagsESSymbolLike
+  TypeFlagsFreshable                                    = innerchecker.TypeFlagsFreshable
+  TypeFlagsIncludesConstrainedTypeVariable              = innerchecker.TypeFlagsIncludesConstrainedTypeVariable
+  TypeFlagsIncludesEmptyObject                          = innerchecker.TypeFlagsIncludesEmptyObject
+  TypeFlagsIncludesError                                = innerchecker.TypeFlagsIncludesError
+  TypeFlagsIncludesInstantiable                         = innerchecker.TypeFlagsIncludesInstantiable
+  TypeFlagsIncludesMask                                 = innerchecker.TypeFlagsIncludesMask
+  TypeFlagsIncludesMissingType                          = innerchecker.TypeFlagsIncludesMissingType
+  TypeFlagsIncludesNonWideningType                      = innerchecker.TypeFlagsIncludesNonWideningType
+  TypeFlagsIncludesWildcard                             = innerchecker.TypeFlagsIncludesWildcard
+  TypeFlagsIndex                                        = innerchecker.TypeFlagsIndex
+  TypeFlagsIndexedAccess                                = innerchecker.TypeFlagsIndexedAccess
+  TypeFlagsInstantiable                                 = innerchecker.TypeFlagsInstantiable
+  TypeFlagsInstantiableNonPrimitive                     = innerchecker.TypeFlagsInstantiableNonPrimitive
+  TypeFlagsInstantiablePrimitive                        = innerchecker.TypeFlagsInstantiablePrimitive
+  TypeFlagsIntrinsic                                    = innerchecker.TypeFlagsIntrinsic
+  TypeFlagsNarrowable                                   = innerchecker.TypeFlagsNarrowable
+  TypeFlagsNonPrimitive                                 = innerchecker.TypeFlagsNonPrimitive
+  TypeFlagsNone                                         = innerchecker.TypeFlagsNone
+  TypeFlagsNotPrimitiveUnion                            = innerchecker.TypeFlagsNotPrimitiveUnion
+  TypeFlagsNullable                                     = innerchecker.TypeFlagsNullable
+  TypeFlagsNumber                                       = innerchecker.TypeFlagsNumber
+  TypeFlagsObjectFlagsType                              = innerchecker.TypeFlagsObjectFlagsType
+  TypeFlagsPossiblyFalsy                                = innerchecker.TypeFlagsPossiblyFalsy
+  TypeFlagsPrimitive                                    = innerchecker.TypeFlagsPrimitive
+  TypeFlagsReserved1                                    = innerchecker.TypeFlagsReserved1
+  TypeFlagsReserved2                                    = innerchecker.TypeFlagsReserved2
+  TypeFlagsReserved3                                    = innerchecker.TypeFlagsReserved3
+  TypeFlagsSimplifiable                                 = innerchecker.TypeFlagsSimplifiable
+  TypeFlagsSingleton                                    = innerchecker.TypeFlagsSingleton
+  TypeFlagsString                                       = innerchecker.TypeFlagsString
+  TypeFlagsStringOrNumberLiteral                        = innerchecker.TypeFlagsStringOrNumberLiteral
+  TypeFlagsStringOrNumberLiteralOrUnique                = innerchecker.TypeFlagsStringOrNumberLiteralOrUnique
+  TypeFlagsStructuredOrInstantiable                     = innerchecker.TypeFlagsStructuredOrInstantiable
+  TypeFlagsStructuredType                               = innerchecker.TypeFlagsStructuredType
+  TypeFlagsSubstitution                                 = innerchecker.TypeFlagsSubstitution
+  TypeFlagsTypeParameter                                = innerchecker.TypeFlagsTypeParameter
+  TypeFlagsTypeVariable                                 = innerchecker.TypeFlagsTypeVariable
+  TypeFlagsUnionOrIntersection                          = innerchecker.TypeFlagsUnionOrIntersection
+  TypeFlagsUniqueESSymbol                               = innerchecker.TypeFlagsUniqueESSymbol
+  TypeFlagsUnit                                         = innerchecker.TypeFlagsUnit
+  TypeFlagsVoidLike                                     = innerchecker.TypeFlagsVoidLike
+  TypeMapperKindArrayToSingle                           = innerchecker.TypeMapperKindArrayToSingle
+  TypeMapperKindComposite                               = innerchecker.TypeMapperKindComposite
+  TypeMapperKindDeferred                                = innerchecker.TypeMapperKindDeferred
+  TypeMapperKindFunction                                = innerchecker.TypeMapperKindFunction
+  TypeMapperKindInference                               = innerchecker.TypeMapperKindInference
+)

package/targets/7.1/bridge/checker/extra-shim.json

@@ -0,0 +1,37 @@
+{
+  "ExtraMethods": {
+    "Checker": [
+      "getApparentType",
+      "getIndexTypeOfType",
+      "getPropertiesOfType",
+      "getTypeOfSymbol",
+      "getDeclaredTypeOfSymbol",
+      "getBaseTypes",
+      "getTypeArguments",
+      "getIndexInfosOfType",
+      "isArrayType",
+      "isArrayOrTupleType",
+      "isTypeAssignableTo",
+      "isReadonlySymbol",
+      "getWidenedType",
+      "getPropertyNameForKnownSymbolName",
+      "getBaseConstraintOfType",
+      "getNullableType",
+      "getExportsOfModule"
+    ]
+  },
+  "ExtraFields": {
+    "NodeBuilder": [
+      "impl"
+    ],
+    "Type": [
+      "alias"
+    ],
+    "Checker": [
+      "globalRegExpType"
+    ]
+  },
+  "ExtraFieldFiles": {
+    "NodeBuilder": "node_builder_fields_gen.go"
+  }
+}

package/targets/7.1/bridge/checker/go.mod

@@ -0,0 +1,15 @@
+module github.com/microsoft/TypeScript/tsc/shim/checker
+
+go 1.27
+
+require github.com/microsoft/TypeScript/tsc v0.0.0-20261019224239-28534d760906
+
+require (
+	github.com/Microsoft/go-winio v0.6.2 // indirect
+	github.com/klauspost/compress v1.20.0 // indirect
+	github.com/klauspost/cpuid/v2 v2.2.10 // indirect
+	github.com/zeebo/xxh3 v1.1.0 // indirect
+	golang.org/x/sync v0.23.0 // indirect
+	golang.org/x/sys v0.48.0 // indirect
+	golang.org/x/text v0.42.0 // indirect
+)

package/targets/7.1/bridge/checker/go.sum

@@ -0,0 +1,24 @@
+github.com/Microsoft/go-winio v0.6.2 h1:F2VQgta7ecxGYO8k3ZZz3RS8fVIXVxONVUPlNERoyfY=
+github.com/Microsoft/go-winio v0.6.2/go.mod h1:yd8OoFMLzJbo9gZq8j5qaps8bJ9aShtEA8Ipt1oGCvU=
+github.com/google/go-cmp v0.7.0 h1:wk8382ETsv4JYUZwIsn6YpYiWiBsYLSJiTsyBybVuN8=
+github.com/google/go-cmp v0.7.0/go.mod h1:pXiqmnSA92OHEEa9HXL2W4E7lf9JzCmGVUdgjX3N/iU=
+github.com/klauspost/compress v1.20.0 h1:a3C1ke2ohxFymNlb2HWAHjDeKCI90scRskErZkR0ezA=
+github.com/klauspost/compress v1.20.0/go.mod h1:LUdAzn7YLVvxLpc7y3V1m40wESHTgc1422pwwBSKYuI=
+github.com/klauspost/cpuid/v2 v2.2.10 h1:tBs3QSyvjDyFTq3uoc/9xFpCuOsJQFNPiAhYdw2skhE=
+github.com/klauspost/cpuid/v2 v2.2.10/go.mod h1:hqwkgyIinND0mEev00jJYCxPNVRVXFQeu1XKlok6oO0=
+github.com/microsoft/TypeScript/tsc v0.0.0-20261019224239-28534d760906 h1:Wn+Kp4ORyay6jJwvOng7G8pTD6HOP+Fwx8si66Wq7Bk=
+github.com/microsoft/TypeScript/tsc v0.0.0-20261019224239-28534d760906/go.mod h1:28hWKaTYwRARPm0T9Y0XvdvYpU2HtjONzsMqAdYLucY=
+github.com/peter-evans/patience v0.3.0 h1:rX0JdJeepqdQl1Sk9c9uvorjYYzL2TfgLX1adqYm9cA=
+github.com/peter-evans/patience v0.3.0/go.mod h1:Kmxu5sY1NmBLFSStvXjX1wS9mIv7wMcP/ubucyMOAu0=
+github.com/zeebo/assert v1.3.0 h1:g7C04CbJuIDKNPFHmsk4hwZDO5O+kntRxzaUoNXj+IQ=
+github.com/zeebo/assert v1.3.0/go.mod h1:Pq9JiuJQpG8JLJdtkwrJESF0Foym2/D9XMU5ciN/wJ0=
+github.com/zeebo/xxh3 v1.1.0 h1:s7DLGDK45Dyfg7++yxI0khrfwq9661w9EN78eP/UZVs=
+github.com/zeebo/xxh3 v1.1.0/go.mod h1:IisAie1LELR4xhVinxWS5+zf1lA4p0MW4T+w+W07F5s=
+golang.org/x/sync v0.23.0 h1:KameEIfc1IkluZyXWLn39Wd4tURc6GbCiISGiZm2bQk=
+golang.org/x/sync v0.23.0/go.mod h1:sUUOizhqBxiL6pEWpqNLUiaJn1ShEbZ6BBqskPbjZm0=
+golang.org/x/sys v0.48.0 h1:bbX/i/6MgT9BVLM9RT1thmxL04yeTAhbEz4SyadbXoo=
+golang.org/x/sys v0.48.0/go.mod h1:hNLxWAXmnKAxqDtdwIYC4bM9oQPEecfsnNMuSxOs3og=
+golang.org/x/text v0.42.0 h1:JbOZXgfeCPU9gacVtYliJqOhD+zhrEqK4LfdpmlUZqI=
+golang.org/x/text v0.42.0/go.mod h1:ojzP1Z+2QtioaF8DTtO8K5q7JWVVYwZKenzujK0Zd0E=
+gotest.tools/v3 v3.5.2 h1:7koQfIKdy+I8UTetycgUqXWSDwpgv193Ka+qRsmBY8Q=
+gotest.tools/v3 v3.5.2/go.mod h1:LtdLGcnqToBH83WByAAi/wiwSFCArdFIUV/xxN4pcjA=

package/targets/7.1/bridge/checker/node_builder_fields_gen.go

@@ -0,0 +1,19 @@
+// Code generated by packages/ttsc/tools/gen_shims. DO NOT EDIT.
+
+package checker
+
+import (
+  checker "github.com/microsoft/TypeScript/tsc/internal/checker"
+  unsafe "unsafe"
+)
+
+type extra_NodeBuilder struct {
+  ctxStack  []*checker.NodeBuilderContext
+  host      checker.Host
+  impl      *checker.NodeBuilderImpl
+  verbosity *checker.VerbosityContext
+}
+
+func nodeBuilder_impl(value *checker.NodeBuilder) *checker.NodeBuilderImpl {
+  return ((*extra_NodeBuilder)(unsafe.Pointer(value))).impl
+}