pylyzer 0.0.82

A static code analyzer & language server for Python
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32

from typing import TypeVar

T = TypeVar("T")
U = TypeVar("U", bound=int)
IS = TypeVar("IS", int, str)
def id(x: T) -> T:
    return x

def id_int(x: U) -> U:
    return x

def id_int_or_str(x: IS) -> IS:
    return x

_ = id(1) + 1 # OK
_ = id("a") + "b" # OK
_ = id_int(1) # OK
_ = id_int("a") # ERR
_ = id_int_or_str(1) # OK
_ = id_int_or_str("a") # OK
_ = id_int_or_str(None) # ERR

def id2[T](x: T) -> T:
    return x

def id_int2[T: int](x: T) -> T:
    return x

_ = id2(1) + 1  # OK
_ = id2("a") + "b"  # OK
_ = id_int2(1) # OK
_ = id_int2("a") # ERR