Datasetpublic

codekingpro/portable-devtools

sourceHugging Faceupdated 5mo agoView on Hugging Face

1likes15kdownloads

rootpythonuser_packagesPython313site-packagesnumpytypingtestsdatafailnested_sequence.pyi

nested_sequence.pyi18 linesDownload Raw Back to fail

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