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?

Commencez par reproduire l’exemple Python fourni et par suivre les diagnostics lors du passage d’une méthode surchargée à property et de la vérification du type de retour de son implémentation. Le travail est terminé lorsque le comportement attendu est établi et que les diagnostics résultants ou le comportement de vérification sont couverts par un test de régression.