Microsoft/TypeScript
[ID-Prep] Type of variable is widened in declaration with !strictNullChecks
Aperta
#57.441 aperta il 19 feb 2024
Domain: flag: isolatedDeclarationsHelp WantedPossible Improvement
Metriche repository
- Star
- (108.860 stelle)
- Metriche merge PR
- (Metriche PR in attesa)
Descrizione
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
💻 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