8000 (🐞) No error when empty tuple used as type parameter · Issue #12316 · python/mypy · GitHub
[go: up one dir, main page]
Skip to content

(🐞) No error when empty tuple used as type parameter #12316

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
KotlinIsland opened this issue Mar 9, 2022 · 1 comment
Open

(🐞) No error when empty tuple used as type parameter #12316

KotlinIsland opened this issue Mar 9, 2022 · 1 comment
Labels
bug mypy got something wrong priority-2-low

Comments

@KotlinIsland
Copy link
Contributor
KotlinIsland commented Mar 9, 2022 •
edited
Loading 
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
@KotlinIsland KotlinIsland added the bug mypy got something wrong label Mar 9, 2022
@KotlinIsland 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 Mar 9, 2022
@KotlinIsland KotlinIsland reopened this Mar 9, 2022
@DetachHead
Copy link
Contributor

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug mypy got something wrong priority-2-low
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@DetachHead @KotlinIsland @AlexWaygood
0