[Python-ideas] Introduce typing.SupportsFsPath

[Eric Fahlgren]

On Tue, Oct 9, 2018 at 3:16 AM Ivan Levkivskyi <levkivskyi at gmail.com> wrote:

> class PathLike(Protocol[AnyStr]):
>

I had been working on this same problem intermittently for several months,
so thanks, but...

    error: Invariant type variable 'AnyStr' used in protocol where
covariant one is expected

is called out on the class  by mypy 0.630 (Python 3.6.6).  Do I just need
to wait for 0.640?  Or should I define a new TypeVar for AnyStr_co and use
that?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/python-ideas/attachments/20181009/9cdaaa04/attachment.html>