Mypy does not detect automatic init generation for fieldless dataclass inheriting from abstract base

Bug Report
It appears that mypy ignores that the __init__ of dataclasses is automatically generated even when they have no fields.

To Reproduce

Consider the following abstract_dataclass.py MWE:

from abc import ABC, abstractmethod
from dataclasses import dataclass

class Foo(ABC):
	@abstractmethod
	def __init__(self) -> None: ...

	def __post_init__(self) -> None:
		print(f"Created '{self.__class__.__name__}' instance.")

@dataclass
class Bar(Foo): ...

@dataclass
class Baz(Foo):
	a: int

Bar()    # error: Cannot instantiate abstract class "Bar" with abstract attribute "__init__" [abstract]
Baz(a=3) # No error.

Running it, however:

python abstract_dataclass.py
Created 'Bar' instance.
Created 'Baz' instance.

Expected Behavior

No error should be identified.

Your Environment

• Mypy version used: 1.3.0
• Mypy command-line flags: None
• Mypy configuration options from mypy.ini (and other config files): None
• Python version used: 3.10.8

提供された abstract_dataclass.py の例と、リポジトリの通常の mypy テストコマンドを使って問題を再現します。dataclass の処理と抽象クラスのチェックを調べ、フィールドを持たない dataclass で生成された init が見落とされている箇所を特定します。Bar() で抽象 init エラーが報告されなくなり、Baz(a=3) は引き続き型チェックを通過すれば完了です。