-
-
Notifications
You must be signed in to change notification settings - Fork 3k
Closed
Labels
bugmypy got something wrongmypy got something wrongtopic-pep-695Issues related to PEP 695 syntaxIssues related to PEP 695 syntaxtopic-pep-696TypeVar defaultsTypeVar defaultstopic-type-aliasTypeAlias and other type alias issuesTypeAlias and other type alias issues
Description
Bug Report
To Reproduce
class A[L = int, M = str]: ...
type TD2 = A[float]
def func(a: TD2) -> None:
reveal_type(a)
Expected Behavior
note: Revealed type is "test.A[builtins.float, builtins.str]"
Actual Behavior
note: Revealed type is "test.A[builtins.float]"
Your Environment
- Mypy version used:
mypy 1.16.0+dev.616e1865c1e0024d181ac915d2f1576113ed2cd8 (compiled: no)
- Python version used:
3.13
Metadata
Metadata
Assignees
Labels
bugmypy got something wrongmypy got something wrongtopic-pep-695Issues related to PEP 695 syntaxIssues related to PEP 695 syntaxtopic-pep-696TypeVar defaultsTypeVar defaultstopic-type-aliasTypeAlias and other type alias issuesTypeAlias and other type alias issues