Confusing error message for property with @overloaded function

The following does not seem to work:

from typing import overload


class Example:

	@overload
	def fun(self, p: int) -> int: ...
	@overload
	def fun(self, p: str) -> str: ...

	def fun(self, p=1):
		if isinstance(p, int):
			return 'foo'
		else:
			return 'bar'

	prop = property(fun)

Argument 1 to "property" has incompatible type overloaded function; expected "Optional[Callable[[Any], Any]]"

Is this a bug or expected?
Also, fun(0) returns a string instead of an int as specified in the stub, but mypy doesn't seem to catch this. Again, bug or expected?

まず、提供された Python の例を再現し、オーバーロードされたメソッドを property に渡す場合と、その実装の戻り値の型をチェックする場合の診断を追跡します。期待される動作が確立され、結果として得られる診断またはチェック動作が回帰テストでカバーされれば完了です。