b = False
if True:
b = True
b = "a" # ERR
counter = 100 # counter: Literal[100]
while counter > 0:
counter -= 1 # counter: Int
counter -= 1.0 # counter: Float