You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
26 lines
648 B
26 lines
648 B
from collections.abc import Sequence
|
|
from typing import Any
|
|
|
|
from numpy._typing import _NestedSequence
|
|
|
|
a: Sequence[int]
|
|
b: Sequence[Sequence[int]]
|
|
c: Sequence[Sequence[Sequence[int]]]
|
|
d: Sequence[Sequence[Sequence[Sequence[int]]]]
|
|
e: Sequence[bool]
|
|
f: tuple[int, ...]
|
|
g: list[int]
|
|
h: Sequence[Any]
|
|
|
|
def func(a: _NestedSequence[int]) -> None:
|
|
...
|
|
|
|
reveal_type(func(a)) # E: None
|
|
reveal_type(func(b)) # E: None
|
|
reveal_type(func(c)) # E: None
|
|
reveal_type(func(d)) # E: None
|
|
reveal_type(func(e)) # E: None
|
|
reveal_type(func(f)) # E: None
|
|
reveal_type(func(g)) # E: None
|
|
reveal_type(func(h)) # E: None
|
|
reveal_type(func(range(15))) # E: None
|
|
|