René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Incorrect type reported by type checker for async properties","articleBody":"When trying to access an async property of an interface, both **mypy** and **pyright** report the wrong type. In this example, I'd expect `access_point.ssid` to report type `bytes`, but it doesn't. Also, if I call `get_async()` directly it reports a different type for pyright.\r\n\r\n```py\r\nimport sdbus\r\nimport sdbus_async.networkmanager as nm\r\nfrom typing import reveal_type\r\n\r\nsystem_bus = sdbus.sd_bus_open_system()\r\n\r\nasync def get_wifi_connections(wifi_device: nm.NetworkDeviceWireless):\r\n    for path in await wifi_device.get_all_access_points():\r\n        access_point = nm.AccessPoint(path, system_bus)\r\n        ssid = await access_point.ssid\r\n        reveal_type(ssid)\r\n        ssid = await access_point.ssid.get_async()\r\n  reveal_type(ssid)\r\n```\r\n\r\nmypy output:\r\n\r\n```\r\n$ mypy type_test_async.py\r\ntype_test_async.py:10: error: Need type annotation for \"ssid\"  [var-annotated]\r\ntype_test_async.py:11: note: Revealed type is \"Any\"\r\ntype_test_async.py:13: note: Revealed type is \"Any\"\r\nFound 1 error in 1 file (checked 1 source file)\r\n```\r\n\r\npyright output:\r\n\r\n ```\r\n$ pyright type_test_async.py\r\n./type_test_async.py\r\n  ./type_test_async.py:11:21 - information: Type of \"ssid\" is \"T@__await__\"\r\n  ./type_test_async.py:13:21 - information: Type of \"ssid\" is \"Unknown\"\r\n0 errors, 0 warnings, 2 informations \r\n ```\r\n\r\n\r\nIn both cases, I would expect for the revealed type to be `bytes`. At runtime, my code works and `reveal_type` prints `Runtime type is 'bytes'`, so I guess the problem has to do with the type hints. Also, the blocking API doesn't have this problem and correctly report `bytes`.\r\n\r\n```py\r\nimport sdbus\r\nimport sdbus_block.networkmanager as nm_block\r\nfrom typing import reveal_type\r\n\r\nsystem_bus = sdbus.sd_bus_open_system()\r\n\r\ndef get_wifi_block_connections(wifi_device: nm_block.NetworkDeviceWireless):\r\n    for path in wifi_device.access_points:\r\n        access_point = nm_block.AccessPoint(path, system_bus)\r\n        ssid = access_point.ssid\r\n        reveal_type(ssid)  # Both mypy and pyright report `bytes`\r\n```\r\n\r\nI'm using:\r\n- mypy 1.8.0\r\n- pyright 1.1.350\r\n- python 3.11.7\r\n","author":{"url":"https://github.com/ValdezFOmar","@type":"Person","name":"ValdezFOmar"},"datePublished":"2024-02-15T09:25:33.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":6},"url":"https://github.com/63/python-sdbus-networkmanager/issues/63"}