Skip to content

enum and non-nominal narrowing tech#13

Closed
hauntsaninja wants to merge 10 commits intomasterfrom
enumident
Closed

enum and non-nominal narrowing tech#13
hauntsaninja wants to merge 10 commits intomasterfrom
enumident

Conversation

@hauntsaninja
Copy link
Copy Markdown
Owner

No description provided.

@github-actions

This comment has been minimized.

@github-actions

This comment has been minimized.

@github-actions
Copy link
Copy Markdown

Diff from mypy_primer, showing the effect of this PR on open source code:

rich (https://github.com/Textualize/rich)
+ rich/console.py:1542: error: Redundant cast to "Literal['left', 'center', 'right']"  [redundant-cast]

cryptography (https://github.com/pyca/cryptography)
+ src/cryptography/hazmat/primitives/serialization/ssh.py:1120: error: Argument 16 to "SSHCertificate" has incompatible type "bytes | Any | memoryview[int]"; expected "bytes"  [arg-type]

@hauntsaninja hauntsaninja deleted the enumident branch April 21, 2026 16:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant