Microsoft/TypeScript

[ID-Prep] Type of variable is widened in declaration with !strictNullChecks

Open

#57.441 aberto em 19 de fev. de 2024

Ver no GitHub
 (1 comment) (0 reactions) (0 assignees)TypeScript (6.726 forks)batch import
Domain: flag: isolatedDeclarationsHelp WantedPossible Improvement

Métricas do repositório

Stars
 (48.455 stars)
Métricas de merge de PR
 (Mesclagem média 6d 17h) (9 fundiu PRs em 30d)

Description

The [ID-prep] set of issues aligns Declaration Emit with the forthcoming Isolated Declarations feature.

🔎 Search Terms

const declaration widen

🕗 Version & Regression Information

  • This is the behavior in every version I tried

⏯ Playground Link

Playground Link

💻 Code

declare function f3<T>(a: T, b: T): T;
const x3 = f3("abc", "def");  // "abc" | "def"

🙁 Actual behavior

x3 is emitted as declare const x3: string; in declaration files but it's actually "abc" | "def" in source

🙂 Expected behavior

x3 is emitted as declare const x3: "abc" | "def"

Additional information about the issue

No response

Guia do colaborador