Types used properly



examples/types/good.py
def add(a :int, b :int) -> int:
    return a+b

print(add(2, 3))

x :int = 0

x = 2
print(x)

5
2


examples/types/good.mypy
Success: no issues found in 1 source file