Skip to content

Add a diagnostic that errors when a user accesses an instance method off a type[] type #1326

@carljm

Description

@carljm

This is unsound, as described in microsoft/pyright#11007

Depending on ecosystem impact, this maybe has to be opt-in?

Metadata

Metadata

Assignees

No one assigned

    Labels

    unsoundnessTy can give an expression type T, but at runtime it can have a non-T value, with no diagnostic.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions