no duplicate errors anymore

This commit is contained in:
Douglas Creager 2025-12-15 20:25:55 -05:00
parent 1a15d23793
commit ae249b8472
2 changed files with 0 additions and 4 deletions

View File

@ -1152,8 +1152,6 @@ d_int = DataWithDescription[int](1, "description") # OK
reveal_type(d_int.data) # revealed: int
reveal_type(d_int.description) # revealed: str
# TODO: only one error
# error: [invalid-argument-type]
# error: [invalid-argument-type]
DataWithDescription[int](None, "description")
```

View File

@ -57,8 +57,6 @@ reveal_type(tuple((1, 2))) # revealed: tuple[Literal[1], Literal[2]]
reveal_type(tuple([1])) # revealed: tuple[Unknown | int, ...]
# TODO: one error
# error: [invalid-argument-type]
# error: [invalid-argument-type]
reveal_type(tuple[int]([1])) # revealed: tuple[int]