Почему общие аргументы по праву описываются как `T@function_name`? ⇐ Python

[Anonymous]

Для следующего блока кода:

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

import typing as tp

T = tp.TypeVar("T")

def dummy(item: T) -> T:
return item

reveal_type(dummy)

При запускеpyright выводит:

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

> pyright myfile.py
[...]
information: Type of "dummy" is "(item: T@dummy) -> T@dummy"
0 errors, 0 warnings, 1 information

Обратите внимание на T@dummy в выводе.

• Почему возникает ощущение пирайта необходимость добавлять ко всем универсальным типам суффикс @function_name ?
• Какую дополнительную информацию это несет по сравнению с исходной подписью
  

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

  (item: T) -> T

  ?

Примечание: я нашел в документе Pyright этот абзац, в котором это явление упоминается в частном случае self и cls Аргумент , без подробностей.

Подробнее здесь: https://stackoverflow.com/questions/743 ... by-pyright