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?

Beginne damit, das bereitgestellte Python-Beispiel zu reproduzieren und die Diagnosen für das Übergeben einer überladenen Methode an property sowie für die Überprüfung des Rückgabetyps ihrer Implementierung nachzuverfolgen. Erledigt ist die Aufgabe, wenn das erwartete Verhalten festgestellt und die daraus resultierenden Diagnosen oder das Prüfverhalten durch einen Regressionstest abgedeckt sind.