Validity of `collections.deque` as `typing.Sequence`

Hi

Based on this discussion on pyright: https://github.com/microsoft/pyright/discussions/7989#discussioncomment-9548709

A collections.deque is a valid typing.Sequence. However, typing.Sequence allows being sliceable, while a collections.deque does not support slicing. This makes room to make errors that is not caught by static type checkers like pyright and mypy.

It seems like this normally would be reported, but the errors are suppressed by type-ignore comments found here.

Is there any other way of handling this so that trying to slice a deque would result in a type-error?

Inizia da stdlib/collections/init.pyi intorno alla riga 258 e leggi la discussione collegata di Pyright. Confronta il modo in cui pyright e mypy gestiscono gli attuali commenti type-ignore e la relazione tra deque e Sequence. Il lavoro è completato quando è stato identificato e concordato un modo compatibile con typeshed per rappresentare la limitazione dello slicing, tenendo conto del comportamento rilevante dei checker.