Microsoft/TypeScript

Type printing does not detect that a name is shadowed in the current scope

Open

#58.456 geöffnet am 7. Mai 2024

Auf GitHub ansehen
 (0 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)TypeScript (6.726 Forks)batch import
BugDomain: Declaration EmitHelp Wanted

Repository-Metriken

Stars
 (48.455 Stars)
PR-Merge-Metriken
 (Durchschn. Merge 6T 17h) (9 gemergte PRs in 30 T)

Beschreibung

🔎 Search Terms

global shadowed declarations

🕗 Version & Regression Information

  • This is the behavior in every version I tried, and I reviewed

⏯ Playground Link

Playground Link

💻 Code

// @strict: true
// @declaration: true
// @target: es2020

// @filename: a.ts
export const o = {[Symbol.iterator]: 1}

// @filename: b.ts

import { o } from "./a";
export class Symbol { }
export const g = o;

🙁 Actual behavior

The typeof of g is { [Symbol.iterator]: number; }. This leads to an incorrect declaration since Symbol is shadowed in the current scope

🙂 Expected behavior

The typeof of g is { [globalThis.Symbol.iterator]: number; }.

Additional information about the issue

No response

Contributor Guide

Research-Richtung
Beginnen Sie mit der Untersuchung des Typprinters in src/compiler/checker.ts, insbesondere wie er Symbolreferenzen druckt. Untersuchen Sie, wie der vorhandene Code Symbol.iterator auflöst und ob er Scope Shadowing berücksichtigt. Suchen Sie nach relevanten Testfällen in tests/cases/compiler/, um das erwartete Verhalten zu verstehen. Die Korrektur erfordert wahrscheinlich eine Änderung des Printers, um zu erkennen, wenn ein globales Symbol wie Symbol im aktuellen Scope überschattet wird, und stattdessen globalThis.Symbol.iterator auszugeben. Überprüfen Sie die Kommentare im Issue oder in verwandten PRs für zusätzlichen Kontext.
Tech Stack
typescript
Domain
backendtooling
Issue Type
Fehler
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
3
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
Halber Tag
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Frisch
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
TypeScriptcompiler internals
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
30