Hacker News Reader

I believe the type you're looking for is `[]` (a tuple with no elements) instead of `never[]`.

Yes I know, but `never[]` should also be unaccessible by index since it can never have any value.

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