<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Mon, Mar 23, 2015 at 7:59 PM, Greg <span dir="ltr"><<a href="mailto:greg.ewing@canterbury.ac.nz" target="_blank">greg.ewing@canterbury.ac.nz</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><span class="">On 24/03/2015 11:35 a.m., Guido van Rossum wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
when you use an<br>
if-expression, there's no way to shut it up!<br>
</blockquote>
<br></span>
Maybe an if-expression should assume the union type, then?<span class=""><font color="#888888"></font></span><br></blockquote></div><br></div><div class="gmail_extra">This was flagged as a mypy bug, but the resolution is still up in the air: <a href="https://github.com/JukkaL/mypy/issues/622">https://github.com/JukkaL/mypy/issues/622</a><br clear="all"></div><div class="gmail_extra"><br>-- <br><div class="gmail_signature">--Guido van Rossum (<a href="http://python.org/~guido">python.org/~guido</a>)</div>
</div></div>