[ntBre]

Summary

PEP 728 introduced two new keyword arguments for TypedDicts: the boolean closed argument and
extra_items, which allows specifying the type for any additional entries in the TypedDict. See
this example from the PEP:

class Movie(TypedDict, extra_items=bool):
    name: str

a: Movie = {"name": "Blade Runner", "novel_adaptation": True}  # OK
b: Movie = {
    "name": "Blade Runner",
    "year": 1982,  # Not OK. 'int' is not assignable to 'bool'
}

Like some of my previous 3.15 PRs, this PR adds support for visiting the value of the extra_items
keyword argument as a type expression, again using F401 to demonstrate that such quoted
expressions mark their corresponding imports as used. This requires a little bit of special handling
when visiting class statements, which can also be deferred in stub files, but overall wasn't too bad
I think. closed doesn't need any special handling in the semantic model since it's just a flag,
not a type expression.

This PR also updates convert-typed-dict-functional-to-class (UP013) to recognize the new
keywords and carry them along in its fix.

The first commit contains the visitor changes, and the second contains the UP013 update.

Once again, my Codex reviewers found an existing bug that this exposes in a new way. We could
sidestep this, and substantially simplify the code at the same time, by dropping the recursive base
class traversal, but it seemed more useful to me to keep the recursive traversal and fix the other
bug later if needed. Either unhandled case (multiple levels of inheritance in one file, or
inheritance + shadowing + unrelated class with extra_items) seems quite niche, though.

`any_base_class` bug

Ancestor lookup can misclassify an ordinary class as a TypedDict — The lookup resolves ancestor
names in the current scope, so an unrelated definition can shadow the actual base:

from typing import TypedDict

class Base:
    def __init_subclass__(cls, **kwargs): pass

class Middle(Base): pass

class Namespace:
    class Base(TypedDict): pass
    class Record(Middle, extra_items="not a type"): pass

This valid code now produces a false F722. Middle inherits the module-level Base, but the lookup
finds Namespace.Base. The inheritance walk should use each base expression’s original binding.

Test Plan

New mdtests

[astral-sh-bot]

ruff-ecosystem results

Linter (stable)

✅ ecosystem check detected no linter changes.

Linter (preview)

✅ ecosystem check detected no linter changes.

[MichaReiser]

Thank you.

It seems that the functional TypedDict(...) visitor visits every expression as a type/annotation expression, including total and closed. Again, this is a pre-existing issue, but it would be great if the behavior is consistent with class based TypedDicts (an allowlist for type expressions or a deny list for value expressions)