修改了连接远程数据库的方式

zmc

2023-10-12 ed135d79df12a2466b52dae1a82326941211dcc9

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