Skip to content

Array function filter causes type information to be lost #597

Closed
@SamCymbaluk

Description

@SamCymbaluk

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.

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions