`.get(key)` should narrow final TypedDicts

in keyword narrowing was implemented for TypedDicts, but not .get(). I understand that it may be hard to implement for arbitrary default arguments of .get(key, default), but the .get(key) variable, without a default value, can be useful as well.

Bug Report

To Reproduce

import typing


@typing.final
class Node(typing.TypedDict):
    name: str
    children: list[typing.Union['Node', 'Leaf']]


@typing.final
class Leaf(typing.TypedDict):
    name: str


x: Node | Leaf


### INCORRECT ERROR
if x.get('children'):
    x['children']  # error: TypedDict "Leaf" has no key "children"


### CORRECT
if 'children' in x:
    x['children']

Expected Behavior

No error

Actual Behavior

error: TypedDict "Leaf" has no key "children"  [typeddict-item]

Your Environment

• Mypy version used: 1.9.0
• Mypy command-line flags: non
• Mypy configuration options from mypy.ini (and other config files):

warn_redundant_casts = True
warn_unused_ignores = True
warn_no_return = False
warn_return_any = True
disallow_untyped_defs = True
disallow_any_generics = True

• Python version used:
  Python 3.12.1

Beginnen Sie damit, die Python-Reproduktion auszuführen und das bestehende TypedDict-Narrowing-Verhalten für den in-Operator zu lokalisieren. Im Bericht wird keine Quelldatei und kein Test genannt; abgeschlossen ist die Aufgabe, wenn die Prüfung mit .get('children') x so eingrenzt, dass der anschließende Zugriff auf x['children'] keinen Fehler erzeugt, während der Fall mit dem Standardargument weiterhin separat behandelt wird.