i: int
if True:
    i = 1
else:
    i = 2

j: int
if True:
    j = "1" # ERR
else:
    j = "2"