Microsoft/TypeScript

A[] form works, but Array<A> breaks

Open

#45.641 aperta il 30 ago 2021

Vedi su GitHub
 (3 commenti) (0 reazioni) (0 assegnatari)TypeScript (6726 fork)batch import
BugDomain: check: Type CircularityEffort: ModerateHelp Wanted

Metriche repository

Star
 (48.455 star)
Metriche merge PR
 (Merge medio 6g 17h) (9 PR mergiate in 30 g)

Descrizione

Bug Report

🔎 Search Terms

site:github.com inurl:/microsoft/TypeScript/issues/ Array [] normalization syntactic sugar

🕗 Version & Regression Information

This works in 3.9.7, broke in 4.0.5, and remains broken in Nightly.

  • This changed between versions 3.9.7 and 4.0.5

⏯ Playground Link

Playground link with relevant code

💻 Code

type R<C> = [C, ...R<C>[]] | number;      // works, as expected
type S<C> = [C, ...Array<S<C>>] | number; // fails unexpectedly - should work identically

const r: R<"add"> = ["add", 2, 1];
const s: S<"add"> = ["add", 2, 1];

🙁 Actual behavior

The A[] form in the first line works, but the otherwise-identical Array<…> form on the second line breaks with the warning Type alias 'S' circularly references itself.(2456).

🙂 Expected behavior

Both of these should work, and behave identically, as they are merely syntactic sugar for each other.

Guida contributor