Skip to content

(🐞) No error with disallow-any-generics and type #12301

Open
Open
(🐞) No error with disallow-any-generics and type#12301
Labels
bugmypy got something wrongtopic-pep-585PEP 585 (builtin generics)

Description

@KotlinIsland
KotlinIsland
opened on Mar 7, 2022
d: dict  # error
l: list  # error
s: set  # error
t: type  # no error

https://mypy-play.net/?mypy=latest&python=3.10&flags=disallow-any-generics&gist=9bb896250b5e40e0b9cbf0234d46281e

One of the causes of: #12300

Activity

  1. KotlinIsland
    added
    bugmypy got something wrong
    on Mar 7, 2022
  2. KotlinIsland
    changed the title [-]No error with `disallow-any-generics` and `type`[/-] [+](🐞) No error with `disallow-any-generics` and `type`[/+] on Mar 7, 2022
  3. JelleZijlstra
    added
    topic-pep-585PEP 585 (builtin generics)
    on Mar 19, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugmypy got something wrongtopic-pep-585PEP 585 (builtin generics)

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions