Skip to content

Investigate some pyright tests #4086

@xrmx

Description

@xrmx

Is your feature request related to a problem?

It looks like pyright is good at catching issues with types annotations, e.g.

It would make sense to catch these kind of issues earlier.

Describe the solution you'd like

We can add some basic tests, I think the two snippets from the mentioned issues may be enough to start.

Describe alternatives you've considered

Maybe mypy will catch these too so pyright won't be needed. Maybe it would enough to add annotations to the examples we already have and run a type checker against them.

Additional Context

No response

Would you like to implement a fix?

None

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