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