(original) (raw)

On 6 September 2016 at 17:25, Mark Shannon <mark@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