test #2
Open
test #2
Annotations
3 errors
|
Run ./ty check . --output-format github
Process completed with exit code 1.
|
|
Run ./ty check . --output-format github:
try.py#L17
try.py:17:5: invalid-argument-type: Argument to function `foo` is incorrect: Expected `int`, found `Literal["bar"]`
try.py:3:5: info: Function defined here
try.py:3:9: Parameter declared here
info: rule `invalid-argument-type` is enabled by default
|
|
Run ./ty check . --output-format github:
try.py#L1
try.py:1:1: no-matching-overload: No overload of function `pow` matches arguments
stdlib/builtins.pyi:4239:5: info: First overload defined here
info: Possible overloads for function `pow`:
info: (base: int, exp: int, mod: int) -> int
info: (base: int, exp: Literal[0], mod: None = None) -> Literal[1]
info: (base: int, exp: Literal[1, 2, 3, 4, 5, ... omitted 20 literals], mod: None = None) -> int
info: (base: int, exp: Literal[-1, -2, -3, -4, -5, ... omitted 15 literals], mod: None = None) -> int | float
info: (base: int, exp: int, mod: None = None) -> Any
info: (base: Literal[1, 2, 3, 4, 5, ... omitted 20 literals], exp: int | float, mod: None = None) -> int | float
info: (base: Literal[-1, -2, -3, -4, -5, ... omitted 15 literals], exp: int | float, mod: None = None) -> int | float | complex
info: (base: int | float, exp: int, mod: None = None) -> int | float
info: (base: int | float, exp: int | float | complex | _SupportsPow2[Any, Any] | _SupportsPow3[Any, Any, Any], mod: None = None) -> Any
info: (base: int | float | complex, exp: int | float | complex | _SupportsPow2[Any, Any] | _SupportsPow3[Any, Any, Any], mod: None = None) -> int | float | complex
info: [_E_contra, _T_co](base: _SupportsPow2[_E_contra, _T_co], exp: _E_contra, mod: None = None) -> _T_co
info: [_E_contra, _T_co](base: _SupportsPow3NoneOnly[_E_contra, _T_co], exp: _E_contra, mod: None = None) -> _T_co
info: [_E_contra, _M_contra, _T_co](base: _SupportsPow3[_E_contra, _M_contra, _T_co], exp: _E_contra, mod: _M_contra) -> _T_co
info: (base: _SupportsPow2[Any, Any] | _SupportsPow3[Any, Any, Any], exp: int | float, mod: None = None) -> Any
info: (base: _SupportsPow2[Any, Any] | _SupportsPow3[Any, Any, Any], exp: int | float | complex, mod: None = None) -> int | float | complex
info: rule `no-matching-overload` is enabled by default
|
Loading