[ty] Support property tests for BoundSuper#18066

cake-monotone wants to merge 2 commits intoastral-sh:mainastral-sh/ruff:mainfrom

cake-monotone:cake/property-test-for-bound-supercake-monotone/ruff:cake/property-test-for-bound-superCopy head branch name to clipboard