This is an MVCE for a bug in Pydantic's mypy plugin in which a false positive is generated for warn_required_dynamic_aliases on properties & validators when alias_generator set.

To use this MVCE, install hatch and run hatch run typing:check.

The bug report is at pydantic/pydantic#8008.