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?

Inizia riproducendo l'esempio Python fornito e seguendo i diagnostici quando si passa un metodo sovraccarico a property e quando si controlla il tipo restituito dalla sua implementazione. Il lavoro è completato quando il comportamento previsto è stato stabilito e i diagnostici risultanti o il comportamento di controllo sono coperti da un test di regressione.