Add support for generic slice type arguments in a slice expression

[erictraut]

The typeshed definition for slice was recently updated to support generics. Pyright doesn't currently supply type arguments for the start, end, and step types when evaluating the type of a literal slice expression.

See this mypy issue for details.

[erictraut]

@Dr-Irv, this will be included in pyright 1.1.390, which should be released tomorrow.

[Dr-Irv]

@Dr-Irv, this will be included in pyright 1.1.390, which should be released tomorrow.

Thanks. For our CI purposes, we may have to pin down to 1.1.389, unless you have ideas on how we can support mypy 1.13.0 and pyright 1.1.390 at the same time when doing assert_type(). See my question here: python/mypy#18225 (comment)

[jorenham]

@Dr-Irv this should also work with the earlier pyright versions if you download the latest typeshed and use it with pyright --typeshedpath <DIRECTORY>

[jorenham]

oh nevermind, judging by b0cd5f1 this also required a change in pyright itself

[erictraut]

This is addressed in pyright 1.1.390.