Tipo de insinuación no siempre funciona en pycharm 2018.1?

He empezado a utilizar tipografías de hoy. Después de leer la documentación sobre sugerencias de tipo, intenté escribir algunos ejemplos tontos para comprobar cómo funciona y me quedé atascado en algo tan simple como esto.

a: int = 7.33 

No recibo ninguna advertencia o error. Todo funciona como si no estuviera usando sugerencias de tipo. Esperaba una advertencia que decía que no se puede asignar un flotador a una variable int.

He intentado otras cosas como:

 def sum_two_numbers(a:int , b:int)->int: return a+b def main() -> None: asd = sum_two_numbers(2, 5.4) 

y como era de esperar recibo una advertencia en el número 5.4. Pycharm advierte que estoy pasando un flotador donde debería ser un int.

¿Entonces, Que esta pasando aquí?

Editado: He probado mypy y detecta correctamente el problema anterior que mencioné. ¿Hay alguna forma de hacer que pycharm lo detecte también?

Aclamaciones.

PyCharm no comprueba tipos para asignaciones de variables, desafortunadamente. Por favor vote por PY-24832 .