microsoft / microsoft/TypeScript

error TS4058: Return type of exported function has or is using name '$SYM' from external module fileA but cannot be named

オープン
#54,964 コメント 1 件 リアクション 4 件 担当者 0 名 GitHub で見る

まだ誰も着手していません。

Domain: Declaration Emit Help Wanted Possible Improvement
主要言語
Go
スター
111k
フォーク
14.4k
平均マージ
1日 19時間
マージ済み PR(30日)
117

説明

Bug Report

🔎 Search Terms

cannot be named symbol
TS4058

🕗 Version & Regression Information
  • This changed between versions 4.7.4 and 5.2.0-dev.20230710
  • This is the behavior in every version I tried, and I reviewed the FAQ for entries about "cannot be named"
⏯ Playground Link

Two files involved, so can't make a playground link

💻 Code

declaration=true

// fileA.ts
export const $SYM = Symbol("$SYM");
export const OBJ = { [$SYM]: 42 };

// fileB.ts
import type { $SYM, OBJ } from "./fileA";
export function func(obj: typeof OBJ, sym: typeof $SYM) {
  return [obj, sym];
}
🙁 Actual behavior

Error: Return type of exported function has or is using name '$SYM' from external module "fileA" but cannot be named.

🙂 Expected behavior

The expectation was that it compiles. Because if I use a string constant literal instead of the symbol, it works.

P.S.
In version 4.7.4 it worked, BUT it worked incorrectly: it generated declarations like function func(obj: { [$SYM]: number }) without actually importing $SYM, so it treated $SYM as a string (I think it was a bug). Now that bug is fixed, but there is still no way to generate declarations for similar situations (and as you can see, importing $SYM explicitly doesn't help).

コントリビューションガイド

コントリビューションガイドを開く

はじめの一歩

  1. issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
  2. 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
  3. リポジトリをフォークし、ブランチを切って変更します。
  4. issue 番号を参照したプルリクエストを送ります。

調査の方向性

fileA.ts と fileB.ts の 2 ファイルの repro から始め、report に記載された TypeScript のバージョンと declaration=true を使用します。export された func の戻り値の型と import されたシンボルについて、declaration 生成を追跡します。repro がコンパイルされ、TS4058 なしでシンボル参照を正しく保持した declaration を出力できれば完了です。

索引モデルが issue の本文から書いたものです。

評価

技術スタック
typescript
領域
compilers
issue の種類
バグ
難易度
4/5
見積もり時間
3〜5日
活発さ
停滞
明瞭さ
おおむね明確
初心者へのやさしさ
35/100

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。