News for hackers. Stuff that matters.

A comment on I’m porting the TypeScript type checker tsc to Go. Parent comment

Re:I’m porting the TypeScript type checker tsc to Go by acid__ on Tuesday January 25, 2022 @06:16PM (#30079506)
I believe the type you're looking for is `[]` (a tuple with no elements) instead of `never[]`.

https://www.typescriptlang.org/play?#code/CYUwxgNghgTiAEYD2A...

[ Parent | on HN ]
Re:I’m porting the TypeScript type checker tsc to Go by epolanski on Tuesday January 25, 2022 @07:47PM (#30080239)
Yes I know, but `never[]` should also be unaccessible by index since it can never have any value.
[ Parent | on HN ]
Re:I’m porting the TypeScript type checker tsc to Go by afiori on Wednesday January 26, 2022 @02:17AM (#30082727)
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

[ Parent | on HN ]