typia 13.0.0-dev.20260427-2 → 13.0.0-dev.20260430

package/native/third_party/ttsc/shim/ast/lint.go

@@ -0,0 +1,328 @@
+// Lint-oriented additions to the AST shim.
+//
+// The handcrafted shim.go in this directory exposes only the kinds/types the
+// existing fixtures need. Lint rules walk a much wider AST surface (every
+// statement / expression node), so this file extends the shim with the
+// kinds, type aliases, helpers, and node-flag constants the `@ttsc/lint`
+// plugin (and any other AST-walking plugin) needs to navigate the tree.
+//
+// Everything here is a pure re-export of `internal/ast` symbols — there is
+// no behavior, no copy of upstream logic. Adding a new node type is
+// mechanical: add a `type X = innerast.X` line and the matching
+// `KindX = innerast.KindX` entry.
+package ast
+
+import (
+	innerast "github.com/microsoft/typescript-go/internal/ast"
+)
+
+// ---- Node-list / visitor primitives ----
+
+type Visitor = innerast.Visitor
+type NodeFlags = innerast.NodeFlags
+type ModifierFlags = innerast.ModifierFlags
+
+// ---- Statement-shaped node types ----
+
+type Block = innerast.Block
+type BreakStatement = innerast.BreakStatement
+type CaseBlock = innerast.CaseBlock
+type CaseOrDefaultClause = innerast.CaseOrDefaultClause
+type CatchClause = innerast.CatchClause
+type ContinueStatement = innerast.ContinueStatement
+type DebuggerStatement = innerast.DebuggerStatement
+type DoStatement = innerast.DoStatement
+type EmptyStatement = innerast.EmptyStatement
+type ExpressionStatement = innerast.ExpressionStatement
+type ForInOrOfStatement = innerast.ForInOrOfStatement
+type ForStatement = innerast.ForStatement
+type FunctionDeclaration = innerast.FunctionDeclaration
+type IfStatement = innerast.IfStatement
+type LabeledStatement = innerast.LabeledStatement
+type ModuleDeclaration = innerast.ModuleDeclaration
+type ModuleBlock = innerast.ModuleBlock
+type ReturnStatement = innerast.ReturnStatement
+type SwitchStatement = innerast.SwitchStatement
+type ThrowStatement = innerast.ThrowStatement
+type TryStatement = innerast.TryStatement
+type VariableDeclaration = innerast.VariableDeclaration
+type VariableDeclarationList = innerast.VariableDeclarationList
+type VariableStatement = innerast.VariableStatement
+type WhileStatement = innerast.WhileStatement
+type WithStatement = innerast.WithStatement
+
+// ---- Class / module / enum shapes ----
+
+type ClassDeclaration = innerast.ClassDeclaration
+type ClassExpression = innerast.ClassExpression
+type ConstructorDeclaration = innerast.ConstructorDeclaration
+type EnumDeclaration = innerast.EnumDeclaration
+type EnumMember = innerast.EnumMember
+type GetAccessorDeclaration = innerast.GetAccessorDeclaration
+type SetAccessorDeclaration = innerast.SetAccessorDeclaration
+type HeritageClause = innerast.HeritageClause
+type PropertyDeclaration = innerast.PropertyDeclaration
+
+// ---- Module syntax ----
+
+type ImportDeclaration = innerast.ImportDeclaration
+type ImportSpecifier = innerast.ImportSpecifier
+type ImportEqualsDeclaration = innerast.ImportEqualsDeclaration
+type ExternalModuleReference = innerast.ExternalModuleReference
+type NamedImports = innerast.NamedImports
+type NamespaceImport = innerast.NamespaceImport
+type ExportDeclaration = innerast.ExportDeclaration
+type ExportSpecifier = innerast.ExportSpecifier
+type ExportAssignment = innerast.ExportAssignment
+type ImportTypeNode = innerast.ImportTypeNode
+
+// ---- Binding patterns ----
+
+type BindingElement = innerast.BindingElement
+type BindingPattern = innerast.BindingPattern
+
+// ---- Expressions ----
+
+type ArrayLiteralExpression = innerast.ArrayLiteralExpression
+type ArrowFunction = innerast.ArrowFunction
+type AsExpression = innerast.AsExpression
+type AwaitExpression = innerast.AwaitExpression
+type BinaryExpression = innerast.BinaryExpression
+type ConditionalExpression = innerast.ConditionalExpression
+type DeleteExpression = innerast.DeleteExpression
+type ElementAccessExpression = innerast.ElementAccessExpression
+type FunctionExpression = innerast.FunctionExpression
+type NewExpression = innerast.NewExpression
+type NonNullExpression = innerast.NonNullExpression
+type ObjectLiteralExpression = innerast.ObjectLiteralExpression
+type ParenthesizedExpression = innerast.ParenthesizedExpression
+type PostfixUnaryExpression = innerast.PostfixUnaryExpression
+type PropertyAccessExpression = innerast.PropertyAccessExpression
+type PropertyAssignment = innerast.PropertyAssignment
+type ShorthandPropertyAssignment = innerast.ShorthandPropertyAssignment
+type SpreadAssignment = innerast.SpreadAssignment
+type SpreadElement = innerast.SpreadElement
+type TaggedTemplateExpression = innerast.TaggedTemplateExpression
+type TemplateExpression = innerast.TemplateExpression
+type TemplateSpan = innerast.TemplateSpan
+type TypeAssertion = innerast.TypeAssertion
+type TypeOfExpression = innerast.TypeOfExpression
+type VoidExpression = innerast.VoidExpression
+type YieldExpression = innerast.YieldExpression
+type RegularExpressionLiteral = innerast.RegularExpressionLiteral
+type SatisfiesExpression = innerast.SatisfiesExpression
+
+// ---- Comment directives (ban-ts-comment) ----
+
+type CommentDirective = innerast.CommentDirective
+type CommentDirectiveKind = innerast.CommentDirectiveKind
+
+// ---- Source file parse options (test harness) ----
+
+type SourceFileParseOptions = innerast.SourceFileParseOptions
+type ExternalModuleIndicatorOptions = innerast.ExternalModuleIndicatorOptions
+
+// ---- Node-flag constants ----
+
+const (
+	NodeFlagsNone         = innerast.NodeFlagsNone
+	NodeFlagsLet          = innerast.NodeFlagsLet
+	NodeFlagsConst        = innerast.NodeFlagsConst
+	NodeFlagsBlockScoped  = innerast.NodeFlagsBlockScoped
+	NodeFlagsAwaitContext = innerast.NodeFlagsAwaitContext
+)
+
+// ---- Statement / declaration / expression kinds ----
+
+const (
+	KindSourceFile = innerast.KindSourceFile
+
+	// Statements
+	KindBlock                   = innerast.KindBlock
+	KindBreakStatement          = innerast.KindBreakStatement
+	KindCaseBlock               = innerast.KindCaseBlock
+	KindCaseClause              = innerast.KindCaseClause
+	KindCatchClause             = innerast.KindCatchClause
+	KindContinueStatement       = innerast.KindContinueStatement
+	KindDebuggerStatement       = innerast.KindDebuggerStatement
+	KindDefaultClause           = innerast.KindDefaultClause
+	KindDoStatement             = innerast.KindDoStatement
+	KindEmptyStatement          = innerast.KindEmptyStatement
+	KindExpressionStatement     = innerast.KindExpressionStatement
+	KindForInStatement          = innerast.KindForInStatement
+	KindForOfStatement          = innerast.KindForOfStatement
+	KindForStatement            = innerast.KindForStatement
+	KindIfStatement             = innerast.KindIfStatement
+	KindLabeledStatement        = innerast.KindLabeledStatement
+	KindReturnStatement         = innerast.KindReturnStatement
+	KindSwitchStatement         = innerast.KindSwitchStatement
+	KindThrowStatement          = innerast.KindThrowStatement
+	KindTryStatement            = innerast.KindTryStatement
+	KindVariableDeclaration     = innerast.KindVariableDeclaration
+	KindVariableDeclarationList = innerast.KindVariableDeclarationList
+	KindVariableStatement       = innerast.KindVariableStatement
+	KindWhileStatement          = innerast.KindWhileStatement
+	KindWithStatement           = innerast.KindWithStatement
+
+	// Class / enum / module
+	KindClassDeclaration    = innerast.KindClassDeclaration
+	KindClassExpression     = innerast.KindClassExpression
+	KindConstructor         = innerast.KindConstructor
+	KindEnumDeclaration     = innerast.KindEnumDeclaration
+	KindEnumMember          = innerast.KindEnumMember
+	KindGetAccessor         = innerast.KindGetAccessor
+	KindSetAccessor         = innerast.KindSetAccessor
+	KindHeritageClause      = innerast.KindHeritageClause
+	KindPropertyDeclaration = innerast.KindPropertyDeclaration
+
+	// Module syntax
+	KindExportAssignment        = innerast.KindExportAssignment
+	KindExportDeclaration       = innerast.KindExportDeclaration
+	KindImportEqualsDeclaration = innerast.KindImportEqualsDeclaration
+	KindExternalModuleReference = innerast.KindExternalModuleReference
+	KindImportType              = innerast.KindImportType
+	KindImportKeyword           = innerast.KindImportKeyword
+
+	// Binding
+	KindBindingElement       = innerast.KindBindingElement
+	KindObjectBindingPattern = innerast.KindObjectBindingPattern
+	KindArrayBindingPattern  = innerast.KindArrayBindingPattern
+	KindOmittedExpression    = innerast.KindOmittedExpression
+
+	// Expressions
+	KindArrayLiteralExpression      = innerast.KindArrayLiteralExpression
+	KindArrowFunction               = innerast.KindArrowFunction
+	KindAsExpression                = innerast.KindAsExpression
+	KindAwaitExpression             = innerast.KindAwaitExpression
+	KindBinaryExpression            = innerast.KindBinaryExpression
+	KindConditionalExpression       = innerast.KindConditionalExpression
+	KindDeleteExpression            = innerast.KindDeleteExpression
+	KindElementAccessExpression     = innerast.KindElementAccessExpression
+	KindFunctionExpression          = innerast.KindFunctionExpression
+	KindNewExpression               = innerast.KindNewExpression
+	KindNonNullExpression           = innerast.KindNonNullExpression
+	KindObjectLiteralExpression     = innerast.KindObjectLiteralExpression
+	KindParenthesizedExpression     = innerast.KindParenthesizedExpression
+	KindPostfixUnaryExpression      = innerast.KindPostfixUnaryExpression
+	KindPropertyAssignment          = innerast.KindPropertyAssignment
+	KindShorthandPropertyAssignment = innerast.KindShorthandPropertyAssignment
+	KindSpreadAssignment            = innerast.KindSpreadAssignment
+	KindSpreadElement               = innerast.KindSpreadElement
+	KindTaggedTemplateExpression    = innerast.KindTaggedTemplateExpression
+	KindTemplateExpression          = innerast.KindTemplateExpression
+	KindTemplateSpan                = innerast.KindTemplateSpan
+	KindTypeAssertionExpression     = innerast.KindTypeAssertionExpression
+	KindTypeOfExpression            = innerast.KindTypeOfExpression
+	KindVoidExpression              = innerast.KindVoidExpression
+	KindYieldExpression             = innerast.KindYieldExpression
+	KindRegularExpressionLiteral    = innerast.KindRegularExpressionLiteral
+	KindSatisfiesExpression         = innerast.KindSatisfiesExpression
+
+	// Keywords / tokens used by rules
+	KindThisKeyword                  = innerast.KindThisKeyword
+	KindSuperKeyword                 = innerast.KindSuperKeyword
+	KindEqualsToken                  = innerast.KindEqualsToken
+	KindEqualsEqualsToken            = innerast.KindEqualsEqualsToken
+	KindEqualsEqualsEqualsToken      = innerast.KindEqualsEqualsEqualsToken
+	KindExclamationEqualsToken       = innerast.KindExclamationEqualsToken
+	KindExclamationEqualsEqualsToken = innerast.KindExclamationEqualsEqualsToken
+	KindLessThanToken                = innerast.KindLessThanToken
+	KindGreaterThanToken             = innerast.KindGreaterThanToken
+	KindLessThanEqualsToken          = innerast.KindLessThanEqualsToken
+	KindGreaterThanEqualsToken       = innerast.KindGreaterThanEqualsToken
+	KindPlusToken                    = innerast.KindPlusToken
+	KindPlusEqualsToken              = innerast.KindPlusEqualsToken
+	KindMinusEqualsToken             = innerast.KindMinusEqualsToken
+	KindAsteriskToken                = innerast.KindAsteriskToken
+	KindSlashToken                   = innerast.KindSlashToken
+	KindAmpersandAmpersandToken      = innerast.KindAmpersandAmpersandToken
+	KindBarBarToken                  = innerast.KindBarBarToken
+	KindQuestionQuestionToken        = innerast.KindQuestionQuestionToken
+	KindExclamationToken             = innerast.KindExclamationToken
+	KindTildeToken                   = innerast.KindTildeToken
+	KindInKeyword                    = innerast.KindInKeyword
+	KindInstanceOfKeyword            = innerast.KindInstanceOfKeyword
+	KindAsKeyword                    = innerast.KindAsKeyword
+	KindPlusPlusToken                = innerast.KindPlusPlusToken
+	KindMinusMinusToken              = innerast.KindMinusMinusToken
+	KindDotToken                     = innerast.KindDotToken
+
+	// Bitwise / shift / exponent operator tokens — needed by
+	// no-bitwise, prefer-exponentiation-operator, etc.
+	KindAmpersandToken                               = innerast.KindAmpersandToken
+	KindBarToken                                     = innerast.KindBarToken
+	KindCaretToken                                   = innerast.KindCaretToken
+	KindLessThanLessThanToken                        = innerast.KindLessThanLessThanToken
+	KindGreaterThanGreaterThanToken                  = innerast.KindGreaterThanGreaterThanToken
+	KindGreaterThanGreaterThanGreaterThanToken       = innerast.KindGreaterThanGreaterThanGreaterThanToken
+	KindAsteriskAsteriskToken                        = innerast.KindAsteriskAsteriskToken
+	KindAmpersandAmpersandEqualsToken                = innerast.KindAmpersandAmpersandEqualsToken
+	KindBarBarEqualsToken                            = innerast.KindBarBarEqualsToken
+	KindQuestionQuestionEqualsToken                  = innerast.KindQuestionQuestionEqualsToken
+	KindAsteriskEqualsToken                          = innerast.KindAsteriskEqualsToken
+	KindSlashEqualsToken                             = innerast.KindSlashEqualsToken
+	KindPercentEqualsToken                           = innerast.KindPercentEqualsToken
+	KindAsteriskAsteriskEqualsToken                  = innerast.KindAsteriskAsteriskEqualsToken
+	KindAmpersandEqualsToken                         = innerast.KindAmpersandEqualsToken
+	KindBarEqualsToken                               = innerast.KindBarEqualsToken
+	KindCaretEqualsToken                             = innerast.KindCaretEqualsToken
+	KindLessThanLessThanEqualsToken                  = innerast.KindLessThanLessThanEqualsToken
+	KindGreaterThanGreaterThanEqualsToken            = innerast.KindGreaterThanGreaterThanEqualsToken
+	KindGreaterThanGreaterThanGreaterThanEqualsToken = innerast.KindGreaterThanGreaterThanGreaterThanEqualsToken
+	KindCommaToken                                   = innerast.KindCommaToken
+	KindQuestionToken                                = innerast.KindQuestionToken
+
+	// Metaprogramming / privacy / async syntax
+	KindMetaProperty                = innerast.KindMetaProperty
+	KindPrivateIdentifier           = innerast.KindPrivateIdentifier
+	KindClassStaticBlockDeclaration = innerast.KindClassStaticBlockDeclaration
+
+	// Misc syntax used by suggestion rules
+	KindSymbolKeyword = innerast.KindSymbolKeyword
+	KindObjectKeyword = innerast.KindObjectKeyword
+
+	// Modifier-style keywords
+	KindAsyncKeyword    = innerast.KindAsyncKeyword
+	KindAwaitKeyword    = innerast.KindAwaitKeyword
+	KindReadonlyKeyword = innerast.KindReadonlyKeyword
+	KindStaticKeyword   = innerast.KindStaticKeyword
+	KindAbstractKeyword = innerast.KindAbstractKeyword
+	KindExportKeyword   = innerast.KindExportKeyword
+	KindDeclareKeyword  = innerast.KindDeclareKeyword
+	KindModuleKeyword   = innerast.KindModuleKeyword
+	KindTypeKeyword     = innerast.KindTypeKeyword
+
+	// TypeScript-specific kinds used by ts rules
+	KindCallSignature      = innerast.KindCallSignature
+	KindConstructSignature = innerast.KindConstructSignature
+	KindTypeQuery          = innerast.KindTypeQuery
+	KindTypeOperator       = innerast.KindTypeOperator
+)
+
+// ---- Comment-directive kind constants ----
+
+const (
+	CommentDirectiveKindIgnore      = innerast.CommentDirectiveKindIgnore
+	CommentDirectiveKindExpectError = innerast.CommentDirectiveKindExpectError
+)
+
+// ---- Helpers ----
+
+// GetCombinedNodeFlags returns the combined node flags for a declaration,
+// consulting parents where applicable. This is what `IsLet` / `IsConst` use
+// internally; lint rules need it to detect `var` declarations whose flag
+// lives on the VariableDeclarationList rather than the declaration itself.
+func GetCombinedNodeFlags(node *Node) NodeFlags {
+	return innerast.GetCombinedNodeFlags(node)
+}
+
+// IsLet reports whether the declaration was introduced by `let` / `using`.
+func IsLet(node *Node) bool { return GetCombinedNodeFlags(node)&NodeFlagsLet != 0 }
+
+// IsConst reports whether the declaration was introduced by `const` /
+// `await using` / `using`.
+func IsConst(node *Node) bool { return GetCombinedNodeFlags(node)&NodeFlagsConst != 0 }
+
+// IsVar reports whether the declaration was introduced by `var`. The block
+// scoped flag bits are clear when the keyword is plain `var`.
+func IsVar(node *Node) bool { return GetCombinedNodeFlags(node)&NodeFlagsBlockScoped == 0 }

package/native/third_party/ttsc/shim/ast/shim.go

@@ -0,0 +1,209 @@
+package ast
+
+import (
+	innerast "github.com/microsoft/typescript-go/internal/ast"
+	_ "unsafe"
+)
+
+type CallExpression = innerast.CallExpression
+type Diagnostic = innerast.Diagnostic
+type Identifier = innerast.Identifier
+type IdentifierNode = innerast.IdentifierNode
+type ImportAttributesNode = innerast.ImportAttributesNode
+type ImportClauseNode = innerast.ImportClauseNode
+type ImportPhaseModifierSyntaxKind = innerast.ImportPhaseModifierSyntaxKind
+type ImportSpecifierList = innerast.ImportSpecifierList
+type IntersectionTypeNode = innerast.IntersectionTypeNode
+type Kind = innerast.Kind
+type KeywordExpressionSyntaxKind = innerast.KeywordExpressionSyntaxKind
+type KeywordTypeSyntaxKind = innerast.KeywordTypeSyntaxKind
+type LiteralTypeNode = innerast.LiteralTypeNode
+type NoSubstitutionTemplateLiteral = innerast.NoSubstitutionTemplateLiteral
+type Node = innerast.Node
+type NodeFactory = innerast.NodeFactory
+type NodeFactoryHooks = innerast.NodeFactoryHooks
+type NodeVisitor = innerast.NodeVisitor
+type NodeVisitorHooks = innerast.NodeVisitorHooks
+type TokenFlags = innerast.TokenFlags
+type ModifierList = innerast.ModifierList
+type StatementList = innerast.StatementList
+type VariableDeclarationNodeList = innerast.VariableDeclarationNodeList
+type BindingElementList = innerast.BindingElementList
+type TypeParameterList = innerast.TypeParameterList
+type ParameterList = innerast.ParameterList
+type ElementList = innerast.ElementList
+type TypeList = innerast.TypeList
+type TypeElementList = innerast.TypeElementList
+type Statement = innerast.Statement
+type Expression = innerast.Expression
+type TypeNode = innerast.TypeNode
+type TypePredicateParameterName = innerast.TypePredicateParameterName
+type AssertsKeyword = innerast.AssertsKeyword
+type BindingName = innerast.BindingName
+type BinaryOperatorToken = innerast.BinaryOperatorToken
+type PropertyName = innerast.PropertyName
+type MemberName = innerast.MemberName
+type EntityName = innerast.EntityName
+type ModuleExportName = innerast.ModuleExportName
+type NamedImportBindings = innerast.NamedImportBindings
+type ConciseBody = innerast.ConciseBody
+type TemplateSpanList = innerast.TemplateSpanList
+type TemplateMiddleOrTail = innerast.TemplateMiddleOrTail
+type TemplateHeadNode = innerast.TemplateHeadNode
+type QuestionDotToken = innerast.QuestionDotToken
+type QuestionToken = innerast.QuestionToken
+type DotDotDotToken = innerast.DotDotDotToken
+type ExclamationToken = innerast.ExclamationToken
+type EqualsGreaterThanToken = innerast.EqualsGreaterThanToken
+type AsteriskToken = innerast.AsteriskToken
+type TokenNode = innerast.TokenNode
+type TemplateHead = innerast.TemplateHead
+type TemplateLiteralTypeNode = innerast.TemplateLiteralTypeNode
+type TemplateLiteralTypeSpan = innerast.TemplateLiteralTypeSpan
+type TemplateMiddle = innerast.TemplateMiddle
+type TemplateTail = innerast.TemplateTail
+type PrefixUnaryExpression = innerast.PrefixUnaryExpression
+type ComputedPropertyName = innerast.ComputedPropertyName
+type PropertySignatureDeclaration = innerast.PropertySignatureDeclaration
+type QualifiedName = innerast.QualifiedName
+type TypeLiteralNode = innerast.TypeLiteralNode
+type FunctionTypeNode = innerast.FunctionTypeNode
+type InterfaceDeclaration = innerast.InterfaceDeclaration
+type TypeReferenceNode = innerast.TypeReferenceNode
+type SourceFile = innerast.SourceFile
+type StringLiteral = innerast.StringLiteral
+type Symbol = innerast.Symbol
+type SymbolFlags = innerast.SymbolFlags
+type NumericLiteral = innerast.NumericLiteral
+type BigIntLiteral = innerast.BigIntLiteral
+type ArrayTypeNode = innerast.ArrayTypeNode
+type IndexSignatureDeclaration = innerast.IndexSignatureDeclaration
+type NamedTupleMember = innerast.NamedTupleMember
+type OptionalTypeNode = innerast.OptionalTypeNode
+type RestTypeNode = innerast.RestTypeNode
+type TypeAliasDeclaration = innerast.TypeAliasDeclaration
+type TypeParameterDeclaration = innerast.TypeParameterDeclaration
+type TupleTypeNode = innerast.TupleTypeNode
+type UnionTypeNode = innerast.UnionTypeNode
+type MethodSignatureDeclaration = innerast.MethodSignatureDeclaration
+type MethodDeclaration = innerast.MethodDeclaration
+type NodeList = innerast.NodeList
+type ParameterDeclaration = innerast.ParameterDeclaration
+type ParenthesizedTypeNode = innerast.ParenthesizedTypeNode
+
+const (
+	KindCallExpression                = innerast.KindCallExpression
+	KindIdentifier                    = innerast.KindIdentifier
+	KindPropertyAccessExpression      = innerast.KindPropertyAccessExpression
+	KindPropertySignature             = innerast.KindPropertySignature
+	KindComputedPropertyName          = innerast.KindComputedPropertyName
+	KindMethodSignature               = innerast.KindMethodSignature
+	KindMethodDeclaration             = innerast.KindMethodDeclaration
+	KindIndexSignature                = innerast.KindIndexSignature
+	KindParameter                     = innerast.KindParameter
+	KindStringKeyword                 = innerast.KindStringKeyword
+	KindNumberKeyword                 = innerast.KindNumberKeyword
+	KindBooleanKeyword                = innerast.KindBooleanKeyword
+	KindBigIntKeyword                 = innerast.KindBigIntKeyword
+	KindAnyKeyword                    = innerast.KindAnyKeyword
+	KindUnknownKeyword                = innerast.KindUnknownKeyword
+	KindNeverKeyword                  = innerast.KindNeverKeyword
+	KindUndefinedKeyword              = innerast.KindUndefinedKeyword
+	KindNullKeyword                   = innerast.KindNullKeyword
+	KindVoidKeyword                   = innerast.KindVoidKeyword
+	KindTrueKeyword                   = innerast.KindTrueKeyword
+	KindFalseKeyword                  = innerast.KindFalseKeyword
+	KindStringLiteral                 = innerast.KindStringLiteral
+	KindNoSubstitutionTemplateLiteral = innerast.KindNoSubstitutionTemplateLiteral
+	KindTemplateHead                  = innerast.KindTemplateHead
+	KindTemplateMiddle                = innerast.KindTemplateMiddle
+	KindTemplateTail                  = innerast.KindTemplateTail
+	KindNumericLiteral                = innerast.KindNumericLiteral
+	KindBigIntLiteral                 = innerast.KindBigIntLiteral
+	KindTypeReference                 = innerast.KindTypeReference
+	KindFunctionType                  = innerast.KindFunctionType
+	KindLiteralType                   = innerast.KindLiteralType
+	KindArrayType                     = innerast.KindArrayType
+	KindTypeLiteral                   = innerast.KindTypeLiteral
+	KindInterfaceDeclaration          = innerast.KindInterfaceDeclaration
+	KindTupleType                     = innerast.KindTupleType
+	KindUnionType                     = innerast.KindUnionType
+	KindIntersectionType              = innerast.KindIntersectionType
+	KindNamedTupleMember              = innerast.KindNamedTupleMember
+	KindOptionalType                  = innerast.KindOptionalType
+	KindParenthesizedType             = innerast.KindParenthesizedType
+	KindRestType                      = innerast.KindRestType
+	KindTemplateLiteralType           = innerast.KindTemplateLiteralType
+	KindTemplateLiteralTypeSpan       = innerast.KindTemplateLiteralTypeSpan
+	KindPrefixUnaryExpression         = innerast.KindPrefixUnaryExpression
+	KindQualifiedName                 = innerast.KindQualifiedName
+	KindTypeAliasDeclaration          = innerast.KindTypeAliasDeclaration
+	KindTypeParameter                 = innerast.KindTypeParameter
+	KindImportSpecifier               = innerast.KindImportSpecifier
+	KindImportDeclaration             = innerast.KindImportDeclaration
+	KindNamedImports                  = innerast.KindNamedImports
+	KindNamespaceImport               = innerast.KindNamespaceImport
+	KindExportSpecifier               = innerast.KindExportSpecifier
+	KindModuleBlock                   = innerast.KindModuleBlock
+	KindModuleDeclaration             = innerast.KindModuleDeclaration
+	KindFunctionDeclaration           = innerast.KindFunctionDeclaration
+	KindMinusToken                    = innerast.KindMinusToken
+	KindQuestionDotToken              = innerast.KindQuestionDotToken
+	KindAssertsKeyword                = innerast.KindAssertsKeyword
+	KindEqualsGreaterThanToken        = innerast.KindEqualsGreaterThanToken
+
+	NodeFlagsOptionalChain = innerast.NodeFlagsOptionalChain
+
+	TokenFlagsNone = innerast.TokenFlagsNone
+
+	SymbolFlagsOptional  = innerast.SymbolFlagsOptional
+	SymbolFlagsAlias     = innerast.SymbolFlagsAlias
+	SymbolFlagsType      = innerast.SymbolFlagsType
+	SymbolFlagsNamespace = innerast.SymbolFlagsNamespace
+
+	ModifierFlagsPrivate   = innerast.ModifierFlagsPrivate
+	ModifierFlagsProtected = innerast.ModifierFlagsProtected
+	ModifierFlagsReadonly  = innerast.ModifierFlagsReadonly
+)
+
+func NewNodeFactory(hooks NodeFactoryHooks) *NodeFactory {
+	return innerast.NewNodeFactory(hooks)
+}
+
+func NewNodeVisitor(visit func(node *Node) *Node, factory *NodeFactory, hooks NodeVisitorHooks) *NodeVisitor {
+	return innerast.NewNodeVisitor(visit, factory, hooks)
+}
+
+func IsFunctionLike(node *Node) bool {
+	return innerast.IsFunctionLike(node)
+}
+
+func IsPropertyAssignment(node *Node) bool {
+	return innerast.IsPropertyAssignment(node)
+}
+
+func IsPropertyDeclaration(node *Node) bool {
+	return innerast.IsPropertyDeclaration(node)
+}
+
+func IsModuleBlock(node *Node) bool {
+	return innerast.IsModuleBlock(node)
+}
+
+func IsStringLiteral(node *Node) bool {
+	return innerast.IsStringLiteral(node)
+}
+
+func IsPropertyAccessExpression(node *Node) bool {
+	return innerast.IsPropertyAccessExpression(node)
+}
+
+func IsElementAccessExpression(node *Node) bool {
+	return innerast.IsElementAccessExpression(node)
+}
+
+//go:linkname GetSourceFileOfNode github.com/microsoft/typescript-go/internal/ast.GetSourceFileOfNode
+func GetSourceFileOfNode(node *innerast.Node) *innerast.SourceFile
+
+//go:linkname GetNodeAtPosition github.com/microsoft/typescript-go/internal/ast.GetNodeAtPosition
+func GetNodeAtPosition(file *innerast.SourceFile, position int, includeJSDoc bool) *innerast.Node

package/native/third_party/ttsc/shim/bundled/extra-shim.json

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

package/native/third_party/ttsc/shim/bundled/go.mod

@@ -0,0 +1,5 @@
+module github.com/microsoft/typescript-go/shim/bundled
+
+go 1.26
+
+require github.com/microsoft/typescript-go v0.0.0-20260428010401-3499951dbc49

package/native/third_party/ttsc/shim/bundled/shim.go

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

package/native/third_party/ttsc/shim/checker/extra-shim.json

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

package/native/third_party/ttsc/shim/checker/go.mod

@@ -0,0 +1,5 @@
+module github.com/microsoft/typescript-go/shim/checker
+
+go 1.26
+
+require github.com/microsoft/typescript-go v0.0.0-20260428010401-3499951dbc49