a = "is this a joke"
reveal_type(a)  # str

b: str
assert b == "is this a joke"
reveal_type(b)  # str