Inconsistent behavior w.r.t missing builtins

Issue

Some of the builtins fixtures are sparse to the point that they're missing even the declaration of dict, list, tuple etc. types. The austerity is justified by improved tests performance, and it's understood that specific tests can specify a broader fixture without slowing down other tests.

However, some core features rely on the presence of those types, e.g.

• functions' **kwargs
• modules' __annotations__
• namedtuple's attributes like _field_types

I've observed 3 different strategies used to handle the types absence:

• crash (example: **kwargs handling)
• give up (example: __annotations__ not being added)
• fallback to object (example: NamedTuple attributes)

I think we should recommend and, ideally, consolidate on one strategy.

Motivation

Case in point: Recently while implementing #14526, I had to "play" a whack-a-mole with unrelated tests breaking. I've used **kw which required me to add dict to a number of builtins fixtures, which in turn caused __annotations__ to materialize where they didn't before, and failed some other tests.

I think ideally we shouldn't have this whack-a-mole, and tests should be less brittle.

Recommendation

Which strategy to adopt? While it's good practice to structure code to be more testable, I think it's normally discouraged to have code paths that are only due to testing. Since those builtins should universally exist in "production", I think crash should be our strategy.

Since code typically relies only on the presence of those classes (not their methods), we can put in place a rule (validated by tests) that any builtins fixture must define a baseline of types, even if empty. This shouldn't affect performance greatly, and provide a comfortable baseline.

Inizia confrontando la gestione dei builtins mancanti in mypy/types.py, mypy/semanal.py e mypy/semanal_namedtuple.py, insieme alle fixture e ai test dei builtins interessati. Determina una strategia coerente per le dichiarazioni dei builtins richieste e aggiorna i test pertinenti in modo che il comportamento delle fixture sia stabile per **kwargs, annotations e la gestione di NamedTuple.