4 Commits

Author	SHA1	Message	Date
Shunsuke Shibayama	de1f8177be	[ty] Improve protocol member type checking and relation handling (#18847) ... Co-authored-by: Alex Waygood <alex.waygood@gmail.com>	2025-06-29 10:46:33 +00:00
Alex Waygood	5a8cdab771	[ty] Only consider a type `T` a subtype of a protocol `P` if all of `P`'s members are fully bound on `T` (#18466) ... ## Summary Fixes https://github.com/astral-sh/ty/issues/578 ## Test Plan mdtests	2025-06-04 19:39:14 +00:00
Alex Waygood	5bf5f3682a	[ty] Add tests for `else` branches of `hasattr()` narrowing (#18067) ... ## Summary This addresses @sharkdp's post-merge review in https://github.com/astral-sh/ruff/pull/18053#discussion_r2086190617 ## Test Plan `cargo test -p ty_python_semantic`	2025-05-13 09:57:53 -04:00
Alex Waygood	c7b6108cb8	[ty] Narrowing for `hasattr()` (#18053)	2025-05-12 18:58:14 -04:00