Python permite la asignación durante la ejecución, aunque una herramienta de análisis estático puede advertir de que el valor no coincide con el tipo anotado.

La variable conserva el valor entero 10 porque la anotación impide modificar su tipo.

Python impide siempre la segunda asignación y produce un error de tipo durante la ejecución.

La anotación int convierte automáticamente "diez" en el número entero 10.