[Python-Dev] Do PEP 526 type declarations define the types of variables or not?

[Ivan Levkivskyi]

On 6 September 2016 at 17:25, Mark Shannon <mark at hotpy.org> wrote:

> The issue is not whether the checker can tell that the type of the
> *expression* is int, but whether it is forced to use the type of the
> *variable*. The current wording of PEP 526 strongly implies the latter.
>

Mark,
Could you please point to exact locations in the PEP text and propose an
alternative wording, so that we will have a more concrete discussion.

--
Ivan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/python-dev/attachments/20160906/163c4d2d/attachment.html>