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?

stdlib/collections/init.pyi の 258 行目付近から始め、リンクされている Pyright の議論を読んでください。pyright と mypy が現在の type-ignore コメントおよび deque と Sequence の関係をどのように扱っているかを比較してください。関連する checker の挙動を考慮したうえで、slicing の制限を表現する typeshed 互換の方法を特定し、合意できれば完了です。