假設(shè)我有一個(gè)只能獲取字符串列表的函數(shù)，如下所示：from typing import Listdef iter_lower(lst: List[str]) -> List[str]:    new_lst = []    for string in lst:        new_lst.append(string.lower())    return new_lstlst: List = ["Hello", "World", 1]iter_lower(lst)mypy沒有抱怨這一點(diǎn)，即使它顯然是錯(cuò)誤的，因?yàn)樗黮st是一個(gè)通用列表，包含一個(gè)與 . 不兼容的整數(shù).lower()。我可以在參數(shù)列表中使用一些提示iter_lower會(huì)導(dǎo)致mypy拒絕這種用法嗎？