Any apparently not considered part of Union[Any, builtins.None]

[OddBloke]

When running mypy --strict against the following code:

from typing import Any, Optional

class Test(object):

    def __init__(self) -> None:
        self.attr = "foo"  # type: Any

    def foo(self, do_it: bool) -> Optional[Any]:
        if do_it:
            return self.attr
        else:
            return None

I see the following warning:

testcase.py:11: warning: Returning Any from function with declared return type "Union[Any, builtins.None]"

This seems obviously incorrect. At the very least, it's a confusing error message.

Bisecting suggests that this behaviour was introduced in 4141d20.

[gvanrossum]

That's @JukkaL's PR #3086.

[ilevkivskyi]

I think the problem is not with Jukka's PR but in the logic of --warn-return-any. It should not emit warning if Any is a proper subtype of the declared return type. I have an idea for a very simple fix, if it will work, then I will make a PR shortly.

[ilevkivskyi]

OK, here is the PR #3473

[OddBloke]

Thanks all! When might we expect to see this in a release?

[JukkaL]

We typically have a release every 2 months or so, so the next release could be June/Julyish.