疑似Pylance类型检查Bug：类型赋值兼容性报错咨询

核心原因 #

你觉得list是Sequence的子类型没错，但报错的核心问题不在容器本身，而在元素类型不兼容：

1. dict的类型不变性：Python中dict的键值类型都是**不变（invariant）**的。尽管str | int是str | float | int的子类型，但dict[str, str | int]不能直接赋值给dict[str, str | float | int]——这是为了类型安全：如果允许这种赋值，batch_call可能会往你的dict里写入float类型的值，而你的原始dict原本只接受str | int，会破坏类型一致性。
2. 元素可选性：目标参数类型允许元素为None，但你的list中没有None，不过这是次要问题，核心还是dict的类型不匹配。

解决办法 #

• 调整原始数据类型标注：如果你的数据实际可以接受float类型的值，直接把list的类型改成list[dict[str, str | float | int]]，和目标参数类型对齐。
• 类型断言（谨慎使用）：如果你确定batch_call不会修改传入的dict，也不会添加float类型值，可以用typing.cast强制转换类型：

  from typing import cast, Sequence, Dict
  
  your_list = [{"key": "value"}, {"num": 123}]  # 你的原始列表
  params = cast(Sequence[Dict[str, str | float | int] | None], your_list)
  batch_call(params)
  

• 修改函数参数类型：如果batch_call不需要往dict中写入float类型值，可以把参数类型改为Sequence[dict[str, str | int] | None]；或者改用Mapping（它的value类型是协变的），把参数类型设为Sequence[Mapping[str, str | float | int] | None]，这样dict[str, str | int]就能兼容Mapping[str, str | float | int]。
• 移除可选性（如果适用）：如果batch_call的参数实际不需要接受None元素，可以把参数类型改为Sequence[dict[str, str | float | int]]，这样也能解决部分问题。

内容的提问来源于stack exchange，提问作者Jeffrey Chen