Andrey Lebedev
Andrey Lebedev
Interesting. I'll experiment with this.
Sorry for lack of attention to this, I was on my vacation for the last couple of weeks. Getting back to the usual rhythm now. And thanks for digging in....
@DMRobertson I did a pretty crazy hack to work around this (see the diffs). I'm both proud of it and afraid of it at the same time :) I suspect...
> Erm, I have just reran the commands > > ``` > pip install git+https://github.com/Shoobx/mypy-zope.git#fix-unreachable && rm -r .mypy_cache/ && mypy > ``` > > after which I saw the...
@DMRobertson just for the sake of experiment, could you copy https://github.com/Shoobx/mypy-zope/blob/96518e2725401adb8ecbe177441971666037fd81/tests/samples/isinstance_impl.py into the working directory of your project and run mypy on that file?
Well, at the time stubs were generated, `zope.interfaces` wasn't old. I'm trying to update them in #105.
Regenerating stubs isn't trivial, because they actually contain the manually added typing information, that is lost when regenerated from original untyped sources. Zope stubs didn't have a lot of these...
Hm, but isn't it right though? There is no way for mypy to know if x is an instance of `MyFoo`. It is an instance of `IFoo` according to the...
That's fair. I'll take to look.
It is strange, but I can't repro it - see #92. @DMRobertson are you using some special mypy configuration to trigger the problem?