Fix assertion violation in auto-imports for JSX tag when React is type-imported by Copilot · Pull Request #3650 · microsoft/typescript-go

Copilot · 2026-04-28T21:44:09Z

When a JSX tag triggers the _0_cannot_be_used_as_a_value_because_it_was_imported_using_import_type error, getSymbolNamesToImport can return multiple names (e.g., both the component name and the JSX namespace). The code had a hard panic requiring exactly one name.

// @jsx: react
import type React from "./react";
<Foo />; // panic: "Expected exactly one symbol name for type-only import promotion"

This happens because getSymbolNamesToImport is a general-purpose function that returns all names needed for a JSX tag (e.g., ["Foo", "React"]), but for the type-only promotion error, only the type-imported symbol (React) needs promotion. The component name (Foo) isn't imported at all — it has its own separate "Cannot find name" error diagnostic.

Fix: Refactored getSymbolNamesToImport to return richer symbolNameInfo structs containing the symbol name and an isTypeOnly flag (determined via GetTypeOnlyAliasDeclaration). This centralizes the resolution logic and allows callers to properly filter:
- The type-only promotion path filters to isTypeOnly symbols and generates promotion fixes for each.
- The auto-import path skips isTypeOnly symbols (handled by promotion), preventing silly import type React + import React duplicates.
Diagnostic message disambiguation: When both the component and JSX namespace are type-only imported, the type-only promotion path uses best-effort string matching on the diagnostic message (checking for '<symbolName>' in single quotes) to correlate each diagnostic to its symbol, eliminating duplicate fixes.
needsJsxNamespaceFix reverted to Strada behavior: Now correctly includes type-only imports in the candidate list (the filtering happens at the call site via isTypeOnly).
Component name included when type-only: getSymbolNamesToImport now includes the component name when it resolves as type-only (not just when unresolved), so the promotion path can generate fixes for it.
isJsxNamespaceFix set: getFixesInfoForNonUMDImport now sets isJsxNamespaceFix to match Strada (symbolName != symbolToken.Text()).
Tests: Added fourslash test reproducing the original crash, and an edge case test where both the component and React are type-only imported to verify correct disambiguation.

…SX tags When a JSX tag triggers the "cannot be used as a value because it was imported using import type" error, getSymbolNamesToImport may return multiple names (the component name AND the JSX namespace like React). Instead of panicking when there are multiple names, iterate over all names attempting type-only promotion for each, and fall back to regular auto-import logic for names where promotion is not applicable. Agent-Logs-Url: https://github.com/microsoft/typescript-go/sessions/d390d5fd-644f-4031-8a82-ca0441ed46cb Co-authored-by: DanielRosenwasser <972891+DanielRosenwasser@users.noreply.github.com>

DanielRosenwasser · 2026-04-28T22:48:09Z

Are each of these discrete fixes? Can they not be combined?

Aside, I noticed that isJsxNamespaceFix is never set, even though getFixesInfoForNonUMDImport used to in Strada. Not sure if that is important.

andrewbranch

Huh yeah let's actually fix the behavior instead of doing something weird that doesn't panic. The question is, why is there more than one symbol name here?

andrewbranch · 2026-05-01T17:40:25Z

@copilot ^

…import fallback For the type-only promotion error, iterate over symbol names from getSymbolNamesToImport and return the first valid promotion fix. Other missing symbols (like unresolved JSX component names) have their own separate error diagnostics that trigger auto-import independently. Agent-Logs-Url: https://github.com/microsoft/typescript-go/sessions/f28dae04-ed90-4058-926b-6ad8d3234cec Co-authored-by: andrewbranch <3277153+andrewbranch@users.noreply.github.com>

Copilot · 2026-05-01T17:55:27Z

Huh yeah let's actually fix the behavior instead of doing something weird that doesn't panic. The question is, why is there more than one symbol name here?

Multiple symbol names come from getSymbolNamesToImport: for a JSX tag like <Foo /> with @jsx: react, it returns ["Foo", "React"] because the JSX tag needs both the component and the JSX namespace. But for the type-only promotion error, only the type-imported symbol (React) needs promotion — Foo isn't imported at all (it has its own "Cannot find name" error).

Simplified in 8134793 to just iterate over the names and return the first valid promotion fix. No auto-import fallback — other missing symbols get their own error diagnostics.

Are each of these discrete fixes? Can they not be combined?

Aside, I noticed that isJsxNamespaceFix is never set, even though getFixesInfoForNonUMDImport used to in Strada. Not sure if that is ...

Simplified in 8134793 — now only returns the single promotion fix (no more separate fixes to combine). The auto-import for the missing component comes from its own "Cannot find name" error diagnostic, not from this code path.

Re isJsxNamespaceFix: confirmed it's not set anywhere in the current codebase — that's a pre-existing gap unrelated to this fix.

andrewbranch · 2026-05-01T17:59:06Z

+		`import type React from "./react";
+import React from "./react";


This should not be offered as a fix. This code is silly. I understand it may be part of a different code path but we may as well make this whole test behave like it should.

Fixed in cfe5f6c. The silly import type React + import React fix is no longer offered. Changed needsJsxNamespaceFix to return false for type-only imports, since the promotion path handles them separately. The test now expects only the single promotion fix.

andrewbranch · 2026-05-01T21:06:38Z

@copilot ^

- Type-only promotion path: directly determine JSX candidates (token text + JSX namespace) instead of using getSymbolNamesToImport, which has auto-import filtering logic that doesn't apply - needsJsxNamespaceFix: return false for type-only imports since the promotion path handles them separately, preventing silly duplicate imports - getFixesInfoForNonUMDImport: set isJsxNamespaceFix to match Strada - Add edge case test where both Foo and React are type-only imported Agent-Logs-Url: https://github.com/microsoft/typescript-go/sessions/a4d3e15d-7971-430e-99c5-81a0ae184f30 Co-authored-by: andrewbranch <3277153+andrewbranch@users.noreply.github.com>

andrewbranch · 2026-05-01T21:56:31Z

@copilot your inline checks look less sophisticated than getSymbolNamesToImport. That function actually collects a lot of good information, but throws away everything but the name. You could modify it to return richer info:

symbol name
whether it currently resolves
whether it currently resolves to a type-only import

From there, if both symbols resolve to a type-only import, we can easily choose between just providing both fixes, resulting in duplicates like the current test shows (not the end of the world, better than crashing or omitting a fix) or correlating the symbol name to the error message, whether through string matching or add-on data later.

…flag Modify getSymbolNamesToImport to return symbolNameInfo structs with name and isTypeOnly fields. This centralizes the JSX checking logic and allows callers to properly filter: - Type-only promotion path: filters to isTypeOnly symbols only - Auto-import path: skips isTypeOnly symbols (handled by promotion) Also reverts needsJsxNamespaceFix to match Strada behavior (includes type-only imports in the candidate list) and includes component name when it resolves as type-only (for the promotion path to use). Agent-Logs-Url: https://github.com/microsoft/typescript-go/sessions/d5749c27-5468-436b-adb5-cfe32e9f8e35 Co-authored-by: andrewbranch <3277153+andrewbranch@users.noreply.github.com>

Copilot · 2026-05-01T22:14:36Z

@copilot your inline checks look less sophisticated than getSymbolNamesToImport. That function actually collects a lot of good information, but throws away everything but the name. You could modify ...

Refactored in 32a7b79. getSymbolNamesToImport now returns []symbolNameInfo with name and isTypeOnly fields. The type-only promotion path filters to isTypeOnly == true, and the auto-import path skips isTypeOnly entries. needsJsxNamespaceFix reverted to match Strada. Component name is also included when it resolves as type-only (for Case 3 where both are type-only).

Use the diagnostic message to correlate which symbol each type-only promotion error is about. The message format is "'X' cannot be used as a value because it was imported using 'import type'." so we check for the symbol name in single quotes. This eliminates duplicate fixes when both component and JSX namespace are type-only imported. Agent-Logs-Url: https://github.com/microsoft/typescript-go/sessions/eb5910bf-d44c-483e-bdb5-5b6b250eb6e7 Co-authored-by: andrewbranch <3277153+andrewbranch@users.noreply.github.com>

Copilot

Pull request overview

Note

Copilot was unable to run its full agentic suite in this review.

Fixes a crash in the JSX auto-import/type-only-promotion code path when a JSX tag triggers the “cannot be used as a value because it was imported using import type” diagnostic and multiple symbol names are involved (e.g., component + JSX namespace).

Changes:

Refactors getSymbolNamesToImport to return {name, isTypeOnly} data so callers can correctly filter type-only vs value imports.
Updates the type-only promotion path to handle multiple candidate names and avoids generating duplicate auto-imports for type-only symbols.
Adds fourslash tests to reproduce the original crash and validate the multi-type-only disambiguation behavior.

Reviewed changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated 1 comment.

File	Description
internal/ls/codeactions_importfixes.go	Removes the hard panic by supporting multiple symbol names and adds type-only-aware filtering/disambiguation.
internal/fourslash/tests/codeFixPromoteTypeOnlyImportJsxTag_test.go	Adds regression and edge-case tests covering JSX + type-only import promotion.

Agent-Logs-Url: https://github.com/microsoft/typescript-go/sessions/1c2ae9fb-44fd-48a5-b940-a39404eb47f0 Co-authored-by: andrewbranch <3277153+andrewbranch@users.noreply.github.com>

Initial plan

f1fedab

Copilot AI assigned Copilot and DanielRosenwasser Apr 28, 2026

Copilot started work on behalf of DanielRosenwasser April 28, 2026 21:44 View session

Copilot AI linked an issue Apr 28, 2026 that may be closed by this pull request

Auto-imports for JSX tag trigger assertion violation when React is type-imported. #3645

Open

Copilot AI changed the title ~~[WIP] Fix auto-imports for JSX tag to resolve assertion violation~~ Fix assertion violation in auto-imports for JSX tag when React is type-imported Apr 28, 2026

Copilot AI requested a review from DanielRosenwasser April 28, 2026 22:01

Copilot finished work on behalf of DanielRosenwasser April 28, 2026 22:01

andrewbranch requested changes May 1, 2026

View reviewed changes

Copilot started work on behalf of andrewbranch May 1, 2026 17:40 View session

Copilot finished work on behalf of andrewbranch May 1, 2026 17:56

Copilot AI requested a review from andrewbranch May 1, 2026 17:56

andrewbranch requested changes May 1, 2026

View reviewed changes

Copilot started work on behalf of andrewbranch May 1, 2026 21:06 View session

Copilot finished work on behalf of andrewbranch May 1, 2026 21:28

Copilot AI requested a review from andrewbranch May 1, 2026 21:28

Copilot started work on behalf of andrewbranch May 1, 2026 21:56 View session

Copilot finished work on behalf of andrewbranch May 1, 2026 22:15

andrewbranch reviewed May 1, 2026

View reviewed changes

Comment thread internal/fourslash/tests/codeFixPromoteTypeOnlyImportJsxTag_test.go Outdated

Copilot started work on behalf of andrewbranch May 1, 2026 23:09 View session

Copilot AI requested a review from andrewbranch May 1, 2026 23:24

Copilot finished work on behalf of andrewbranch May 1, 2026 23:24

andrewbranch marked this pull request as ready for review May 4, 2026 18:17

Copilot AI review requested due to automatic review settings May 4, 2026 18:17

Copilot AI reviewed May 4, 2026

View reviewed changes

Comment thread internal/ls/codeactions_importfixes.go

Copilot started work on behalf of andrewbranch May 4, 2026 18:35 View session

fix: fall back to all type-only fixes when message filter matches none

1df3b45

Agent-Logs-Url: https://github.com/microsoft/typescript-go/sessions/1c2ae9fb-44fd-48a5-b940-a39404eb47f0 Co-authored-by: andrewbranch <3277153+andrewbranch@users.noreply.github.com>

Copilot started reviewing on behalf of andrewbranch May 4, 2026 18:49 View session

Copilot finished work on behalf of andrewbranch May 4, 2026 18:50

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Fix assertion violation in auto-imports for JSX tag when React is type-imported#3650

Fix assertion violation in auto-imports for JSX tag when React is type-imported#3650
Copilot wants to merge 7 commits intomainfrom
copilot/fix-jsx-tag-import-issues

Copilot AI commented Apr 28, 2026 •

edited

Loading

Uh oh!

DanielRosenwasser commented Apr 28, 2026

Uh oh!

andrewbranch left a comment

Uh oh!

andrewbranch commented May 1, 2026

Uh oh!

Copilot AI commented May 1, 2026 •

edited

Loading

Uh oh!

andrewbranch May 1, 2026

Uh oh!

Copilot AI May 1, 2026

Uh oh!

Uh oh!

andrewbranch commented May 1, 2026

Uh oh!

andrewbranch commented May 1, 2026

Uh oh!

Copilot AI commented May 1, 2026

Uh oh!

Uh oh!

Copilot AI left a comment

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

4 participants

		`import type React from "./react";
		import React from "./react";

Conversation

Copilot AI commented Apr 28, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

DanielRosenwasser commented Apr 28, 2026

Uh oh!

andrewbranch left a comment

Choose a reason for hiding this comment

Uh oh!

andrewbranch commented May 1, 2026

Uh oh!

Copilot AI commented May 1, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

andrewbranch May 1, 2026

Choose a reason for hiding this comment

Uh oh!

Copilot AI May 1, 2026

Choose a reason for hiding this comment

Uh oh!

Uh oh!

andrewbranch commented May 1, 2026

Uh oh!

andrewbranch commented May 1, 2026

Uh oh!

Copilot AI commented May 1, 2026

Uh oh!

Uh oh!

Copilot AI left a comment

Choose a reason for hiding this comment

Pull request overview

Reviewed changes

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

4 participants

Copilot AI commented Apr 28, 2026 •

edited

Loading

Copilot AI commented May 1, 2026 •

edited

Loading