def _verify_property(stub: nodes.Decorator, runtime: Any) -> Iterator[str]:
    assert stub.func.is_property
    if isinstance(runtime, property):
        return
    if inspect.isdatadescriptor(runtime):
        return
    runtime_type = get_mypy_type_of_runtime_value(runtime)
    func_type = (stub.func.type.ret_type if isinstance(stub.func.type, mypy.types.CallableType) else None)
    if ((runtime_type is not None) and (func_type is not None) and is_subtype_helper(runtime_type, func_type)):
        return
    (yield 'is inconsistent, cannot reconcile @property on stub with runtime object')
def _verify_property(stub: nodes.Decorator, runtime: Any) -> Iterator[str]:
    assert stub.func.is_property
    if isinstance(runtime, property):
        return
    if inspect.isdatadescriptor(runtime):
        return
    runtime_type = get_mypy_type_of_runtime_value(runtime)
    func_type = (stub.func.type.ret_type if isinstance(stub.func.type, mypy.types.CallableType) else None)
    if ((runtime_type is not None) and (func_type is not None) and is_subtype_helper(runtime_type, func_type)):
        return
    (yield 'is inconsistent, cannot reconcile @property on stub with runtime object')