[WIP] Emitting Declarations for React Components requires type annotation

internal/checker/nodebuilderimpl.go

@@ -18,6 +18,16 @@ import (
 	"github.com/microsoft/typescript-go/internal/tspath"
 )
 
+// isJSXRuntimeImport checks if a specifier is a safe JSX runtime import
+// JSX runtime imports (jsx-runtime and jsx-dev-runtime) are considered safe
+// as they are standard React APIs that should be allowed in declaration files
+func isJSXRuntimeImport(specifier string) bool {
+	return strings.Contains(specifier, "/jsx-runtime") || 
+		   strings.Contains(specifier, "/jsx-dev-runtime") ||
+		   strings.Contains(specifier, "@types/react/jsx-runtime") ||
+		   strings.Contains(specifier, "react/jsx-runtime")
+}
+
 type CompositeSymbolIdentity struct {
 	isConstructorNode bool
 	symbolId          ast.SymbolId
@@ -433,7 +443,7 @@ func (b *nodeBuilderImpl) symbolToTypeNode(symbol *ast.Symbol, mask ast.SymbolFl
 		if len(specifier) == 0 {
 			specifier = b.getSpecifierForModuleSymbol(chain[0], core.ResolutionModeNone)
 		}
-		if (b.ctx.flags&nodebuilder.FlagsAllowNodeModulesRelativePaths == 0) /* && b.ch.compilerOptions.GetModuleResolutionKind() != core.ModuleResolutionKindClassic */ && strings.Contains(specifier, "/node_modules/") {
+		if (b.ctx.flags&nodebuilder.FlagsAllowNodeModulesRelativePaths == 0) /* && b.ch.compilerOptions.GetModuleResolutionKind() != core.ModuleResolutionKindClassic */ && strings.Contains(specifier, "/node_modules/") && !isJSXRuntimeImport(specifier) {
 			oldSpecifier := specifier
 
 			if b.ch.compilerOptions.GetModuleResolutionKind() == core.ModuleResolutionKindNode16 || b.ch.compilerOptions.GetModuleResolutionKind() == core.ModuleResolutionKindNodeNext {

testdata/baselines/reference/compiler/jsxRuntimeDeclarationEmit.js

@@ -0,0 +1,37 @@
+//// [tests/cases/compiler/jsxRuntimeDeclarationEmit.tsx] ////
+
+//// [jsxRuntimeDeclarationEmit.tsx]
+// Reproduces issue #1011: jsx-runtime declaration emit requires type annotation
+// https://github.com/microsoft/typescript-go/issues/1011
+
+
+/// <reference path="/.lib/react16.d.ts" />
+
+// This should produce clean jsx-runtime imports without "unsafe import" errors
+export const MyComponent = () => {
+  return <div>Hello World</div>
+}
+
+
+
+//// [jsxRuntimeDeclarationEmit.d.ts]
+// Reproduces issue #1011: jsx-runtime declaration emit requires type annotation
+// https://github.com/microsoft/typescript-go/issues/1011
+// This should produce clean jsx-runtime imports without "unsafe import" errors
+export declare const MyComponent: () => JSX.Element;
+
+
+//// [DtsFileErrors]
+
+
+jsxRuntimeDeclarationEmit.d.ts(4,41): error TS2503: Cannot find namespace 'JSX'.
+
+
+==== jsxRuntimeDeclarationEmit.d.ts (1 errors) ====
+    // Reproduces issue #1011: jsx-runtime declaration emit requires type annotation
+    // https://github.com/microsoft/typescript-go/issues/1011
+    // This should produce clean jsx-runtime imports without "unsafe import" errors
+    export declare const MyComponent: () => JSX.Element;
+                                            ~~~
+!!! error TS2503: Cannot find namespace 'JSX'.
+

testdata/baselines/reference/compiler/jsxRuntimeDeclarationEmit.symbols

@@ -0,0 +1,17 @@
+//// [tests/cases/compiler/jsxRuntimeDeclarationEmit.tsx] ////
+
+=== jsxRuntimeDeclarationEmit.tsx ===
+// Reproduces issue #1011: jsx-runtime declaration emit requires type annotation
+// https://github.com/microsoft/typescript-go/issues/1011
+
+
+/// <reference path="react16.d.ts" />
+
+// This should produce clean jsx-runtime imports without "unsafe import" errors
+export const MyComponent = () => {
+>MyComponent : Symbol(MyComponent, Decl(jsxRuntimeDeclarationEmit.tsx, 7, 12))
+
+  return <div>Hello World</div>
+>div : Symbol(div, Decl(react16.d.ts, 2546, 114))
+>div : Symbol(div, Decl(react16.d.ts, 2546, 114))
+}

testdata/baselines/reference/compiler/jsxRuntimeDeclarationEmit.types

@@ -0,0 +1,19 @@
+//// [tests/cases/compiler/jsxRuntimeDeclarationEmit.tsx] ////
+
+=== jsxRuntimeDeclarationEmit.tsx ===
+// Reproduces issue #1011: jsx-runtime declaration emit requires type annotation
+// https://github.com/microsoft/typescript-go/issues/1011
+
+
+/// <reference path="react16.d.ts" />
+
+// This should produce clean jsx-runtime imports without "unsafe import" errors
+export const MyComponent = () => {
+>MyComponent : () => JSX.Element
+>() => {  return <div>Hello World</div>} : () => JSX.Element
+
+  return <div>Hello World</div>
+><div>Hello World</div> : JSX.Element
+>div : any
+>div : any
+}

testdata/tests/cases/compiler/jsxRuntimeDeclarationEmit.tsx

@@ -0,0 +1,17 @@
+// Reproduces issue #1011: jsx-runtime declaration emit requires type annotation
+// https://github.com/microsoft/typescript-go/issues/1011
+
+// @jsx: react-jsx
+// @declaration: true  
+// @emitDeclarationOnly: true
+// @strict: true
+// @target: es6
+// @module: esnext
+// @moduleResolution: node
+
+/// <reference path="/.lib/react16.d.ts" />
+
+// This should produce clean jsx-runtime imports without "unsafe import" errors
+export const MyComponent = () => {
+  return <div>Hello World</div>
+}