This will already inform mypy that after that if statement x is type string.