Skip to content

(馃悶) No error when empty tuple used as type parameter聽#12316

Open
Open
(馃悶) No error when empty tuple used as type parameter#12316
Labels
bugmypy got something wrongpriority-2-low

Description

@KotlinIsland
KotlinIsland
opened on Mar 9, 2022
l: list[()][int]

No mypy error but this fails at runtime.

I have no idea what this supposed to do, empty tuple as an argument is only mentioned in the pep for tuple

Activity

  1. KotlinIsland
    added
    bugmypy got something wrong
    on Mar 9, 2022
  2. KotlinIsland
    closed this as completedon Mar 9, 2022
  3. KotlinIsland
    changed the title [-](馃悶) No any expression error when type has wacky empty tuple in it[/-] [+](馃悶) No error when empty tuple used as type parameter[/+] on Mar 9, 2022
  4. KotlinIsland
    reopened this on Mar 9, 2022

  5. DetachHead commented on Mar 9, 2022

    @DetachHead
    DetachHead
    on Mar 9, 2022
    Contributor

    related: an empty Union is equivalent to NoReturn (aka a "Never" type) python/typeshed#6290 (comment)

  6. AlexWaygood
    added
    priority-2-low
    on Mar 25, 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 wrongpriority-2-low

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions