Array function filter causes type information to be lost
Opened this issue · 0 comments
SamCymbaluk commented
The built in filter function takes an array of type T and returns a reduced array of type T, but the checker currently loses this type information; if the input to filter is []T, the output will be []any.