False negative with property and decorator

Relates to #5858 (fixed in #15926)

from typing import Callable

class something_callable:
    def __init__(self, fn):
        self.fn = fn
    def __call__(self, decorated_self, extra1, extra2, extra3) -> str:
        return self.fn(decorated_self)
    # def __call__(self) is also bad

def decorator(fn: Callable[..., int]) -> something_callable:
    return something_callable(fn)

class A:
    @property
    @decorator
    def f(self) -> int:
        return 42

Start by running the supplied Python example through mypy and record the diagnostics for the property and decorator combination. Trace how mypy handles the callable decorator and property, then add or update a regression test so the false-negative behavior is covered and the intended diagnostic is produced.