Skip to content

list overloads don't handle nullability correctly #21

@chdsbd

Description

@chdsbd
    class Post:
        user = fields.ListField(fields.StringField())

    post = Post()
    # should be 'list[str | None] | None' since user is not required and StringField is not required.
    reveal_type(post.user) # Revealed type is 'list[str]'

related: python/mypy#10312

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't working

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions