no duplicate errors anymore
This commit is contained in:
@@ -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")
|
||||
```
|
||||
|
||||
@@ -60,8 +60,6 @@ reveal_type(tuple([1])) # revealed: tuple[Unknown | int, ...]
|
||||
x1: tuple[int, ...] = tuple([1])
|
||||
reveal_type(x1) # revealed: tuple[int, ...]
|
||||
|
||||
# TODO: one error
|
||||
# error: [invalid-argument-type]
|
||||
# error: [invalid-argument-type]
|
||||
reveal_type(tuple[int]([1])) # revealed: tuple[int]
|
||||
|
||||
|
||||
Reference in New Issue
Block a user