2 ms·

I believe the type you're looking for is `[]` (a tuple with no elements) instead of `never[]`. https://www.typescriptlang.org/play?#code/CYUwxgNghgTiAEYD2A7Azg

by acid__ 5y ago

I believe the type you're looking for is `[]` (a tuple with no elements) instead of `never[]`. https://www.typescriptlang.org/play?#code/CYUwxgNghgTiAEYD2A7AzgF3gDwFzwG0BdAKFElgWXSwE98UQA3EGYkk7AgRlNp6JA https://www.typescriptlang.org/play?#code/CYUwxgNghgTiAEYD2A...

epolanski 5y ago
Yes I know, but `never[]` should also be unaccessible by index since it can never have any value.
- afiori 5y ago
  variable length arrays are accessible at all indexes, const a = foo[1] should result in a bring of type `never|undefined` or `undefined` depending on flow analysis