Introduce an Intersection

This question has already been discussed in #18 long time ago, but now I stumble on this in a practical question: How to annotate something that subclasses two ABC's. Currently, a workaround is to introduce a "mix" class:

from typing import Iterable, Container

class IterableContainer(Iterable[int], Container[int]):
    ...

def f(x: IterableContainer) -> None: ...

class Test(IterableContainer):
    def __iter__(self): ...
    def __contains__(self, item: int) -> bool: ...

f(Test())

but mypy complains about this

error: Argument 1 of "__contains__" incompatible with supertype "Container"

But then I have found this code snippet in #18

def assertIn(item: T, thing: Intersection[Iterable[T], Container[T]]) -> None:
    if item not in thing:
        # Debug output
        for it in thing:
            print(it)

Which is exactly what I want, and it is also much cleaner than introducing an auxiliary "mix" class. Maybe then introducing Intersection is a good idea, @JukkaL is it easy to implement it in mypy?

Bắt đầu bằng cách đọc thảo luận trước đó trong issue #18 và các ví dụ trong issue này, sau đó xem lại phần thảo luận chưa được giải quyết ở đây. Issue không nêu tên tệp, bài kiểm thử hoặc điểm vào nào; để hoàn tất sẽ cần có thiết kế được thống nhất và triển khai Intersection hỗ trợ trường hợp sử dụng được minh họa.