Potential warning about mis-placed type annotation?

[mihneagiurgea]

I can imagine the following scenario becoming confusing & potentially common

def correctly_annotated(x):
  # type: (int) -> int
  """docs..."""
  ...

def incorrectly_annotated(x):
  """docs..."""
  # type: (int) -> int
  ...

It might be useful for mypy to at least print a warning about the 2nd case?

[ilevkivskyi]

This is now fixed by typed_ast.