An optional annotation such as x: int or -> str that states the expected type. The interpreter stores it but does not enforce it; type checkers read it.