Typescript: typ som börjar med ett rör

Jag stötte nyligen på denna TypeScript-syntax:

type Foo = | 5 | 6;

Det visar sig att detta faktiskt kompileras, till min förvåning. Finns det någon betydelse med det första pipe-tecknet? Eller är det funktionellt ekvivalent med:

type Foo = 5 | 6;

Svar #1

Ledande rörtecken ignoreras i föreningstypsdefinitioner för att ge utvecklare mer frihet i formateringen.

Du kan kolla PR#12386 på den officiella TypeScript-förvaret för mer information.