"while true" has NoReturn type unless it has a break