You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The name of of the callable argument and the fact that it has a default value are not displayed
in the second error message generated when type checking this example:
fromtypingimportCallable, Listfrommypy_extensionsimportArga: List[Callable[[Arg(int, 'x')], None]]
reveal_type(a) # Revealed type is 'builtins.list[def (x: builtins.int =)]'a.x# List[Callable[[int], None]] has no attribute "x" <== Only "int"
The text was updated successfully, but these errors were encountered:
The name of of the callable argument and the fact that it has a default value are not displayed
in the second error message generated when type checking this example:
The text was updated successfully, but these errors were encountered: