Specialize empty collections to Any as a fallback

Context

I have a pending PR for typeshed which fixes overparameterized dict.get and dict.pop methods: python/typeshed#10294. The PR causes a lot of failures in various GitHub projects due to how mypy treats empty collections. Specifically, if dict.get is annotated as

class dict(Generic[KT, VT]):
    def get(self, key: KT, default: T) -> T | VT: ...

mypy infers the type of v in

def test(d: dict[str, Any]):
    v = d.get("foo", {})

to be Any | dict[<unknown>, <unknown>], instead of Any | dict[Any, Any].

Feature

Specialize empty collections to Any if no other information is available to recover type arguments.

Pitch

Using <unknown> instead of Any requires users to cast or add type annotations where they otherwise will not be necessary. See comments in the PR for a few examples from real projects.

Bắt đầu bằng cách tái hiện ví dụ dict.get được hiển thị trong mypy và kiểm tra cách các biểu thức collection rỗng được suy luận khi không thể khôi phục đối số kiểu nào. Hoàn thành khi các collection rỗng trong tình huống này được chuyên biệt hóa thành Any thay vì unknown, đồng thời hành vi vẫn được bao phủ bởi các bài kiểm tra type-checking liên quan.