zmc
2023-12-22 9fdbf60165db0400c2e8e6be2dc6e88138ac719a
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
from collections.abc import Sequence
from numpy._typing import _NestedSequence
 
a: Sequence[float]
b: list[complex]
c: tuple[str, ...]
d: int
e: str
 
def func(a: _NestedSequence[int]) -> None:
    ...
 
reveal_type(func(a))  # E: incompatible type
reveal_type(func(b))  # E: incompatible type
reveal_type(func(c))  # E: incompatible type
reveal_type(func(d))  # E: incompatible type
reveal_type(func(e))  # E: incompatible type