<div dir="ltr">On 6 September 2016 at 17:25, Mark Shannon <span dir="ltr"><<a href="mailto:mark@hotpy.org" target="_blank">mark@hotpy.org</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class=""></span>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.<br></blockquote><div><br></div><div>Mark,<br></div><div>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.<br><br>--<br></div><div>Ivan <br></div></div></div></div>