Lauren Tan  ✨ 😬 ✨

This nerd sniped me. I think TS array uses any, which can then be narrowed. Does this do what you want? https://www.typescriptlang.org/play/#code/MYGwhgzhAEDKAuZgGsA8AVaBTAHvLAdgCYxgECeAfNAN4BQ0j0ADgK4BGIAlsNBIigBc0dAG0AutAC80CQyZsIACwAUANzAhWWYegCUtaPKZN4SrhAB0-JMkuLVGrVj3HoAXzqe6ILPGg40rLiANzQAPThAcJk5HI49qzKKgCMemERUTgxFPEZJiaR0dAErAC27FgATnLAAPYE-NDswqUV1RJBOCF0Pn7Q5EEEWADucALIKumFUeTCCLaorATIBHUjBJR05InJafkFh0Vz44vLq+ubdPWN-sDzE6htlVXUMuQHh18Fxw9nK2sNpQgA …

haha sorry :p I want to be able to have TS infer it for me, so not quite

I _think_ arrays are special cased. So not possible to get same behaviour for user-defined types. Will try and dig up an official reference

Here are the release notes for TypeScript 2.1 when the feature was added. It mentions empty arrays specifically, rather than working on all generics https://www.typescriptlang.org/docs/handbook/release-notes/typescript-2-1.html#improved-any-inference …

the array literal is special, but i believe you can use assert for narrowing down the type in arbitrary operations these days: https://www.typescriptlang.org/docs/handbook/release-notes/typescript-3-7.html#assertion-functions …