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.

Empieza reproduciendo el ejemplo mostrado de dict.get en mypy e inspecciona cómo se infieren las expresiones de colecciones vacías cuando no se pueden recuperar argumentos de tipo. La tarea estará terminada cuando las colecciones vacías en esta situación se especialicen en Any en lugar de unknown, y el comportamiento siga estando cubierto por pruebas relevantes de comprobación de tipos.