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

🔎 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

Reproduziere den Fall der Deklarationsgenerierung aus dem Playground Link mit a.ts und b.ts, wobei das exportierte Symbol den globalen Namen überschattet. Beginne damit, die Typausgabe nachzuverfolgen, die die Deklaration für g erzeugt. Erledigt ist es, wenn der generierte Typ globalThis.Symbol.iterator statt des überschatteten Symbol.iterator verwendet.