Как переопределить выведенный тип Pylance с помощью аннотаций типов? ⇐ Python

[Anonymous]

Недавно я столкнулся с проблемой в VS Code при попытке выполнить аннотацию типа для переменной в функции:

Код: Выделить всё

def f(array):
# Pylance shows the type of b being `Any | list`,
# which I think should be `list`.
b: list = array.tolist()
return b

В VS Code массив аргументов выводится как Any: когда мы наводим указатель мыши на эту переменную, VS Code отображает подсказку, показывающую

Код: Выделить всё

(paramter) array: Any

Для меня это разумно, поскольку я думаю, что Pylance неявно предполагает, что массив имеет тип Any.
Но все начинается странно, когда я пытаюсь аннотировать переменную b как список типов. VS Code определил, что тип b — Any | list, чего я не понимаю. Я хочу, чтобы Pylance уважал мою аннотацию вместо предполагаемого Any. Почему результат имеет тип Union?
Кроме того, что мне следует сделать, чтобы моя аннотация переопределяла выведенный тип?
У меня есть попробовал использовать typing.cast, который решил эту проблему, но мне кажется, это как-то неловко. Я хочу, чтобы моя аннотация могла переопределить тип, выведенный Pylance.

Подробнее здесь: https://stackoverflow.com/questions/772 ... nnotations