Statements after infinite loops are not considered unreachable #648
Description
The following example should not emit a diagnostic
def f():
while True:
pass
foo # error: unresolved-reference{{ message }}
The following example should not emit a diagnostic
def f():
while True:
pass
foo # error: unresolved-reference