Use PEP 484 variable annotations for inference?

In Python 3.6, it seems we can now use annotations for variables. We should think if we can use the annotations for improving the inference, as long as the annotations respect a standard we can understand, such as PEP 484.

The issue names no files, tests, or entry points. Start by locating astroid's inference handling for Python 3.6 variable annotations and review how PEP 484-compatible annotations could affect inferred types; done would require an agreed design and corresponding inference behavior.

Written by the indexing model from the issue text.