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

..

conditionals

Revert "[ty] Better control flow for boolean expressions that are inside if (#18010)" (#18150)

2025-05-17 08:27:32 -04:00

assert.md

Rename Red Knot (#17820)

2025-05-03 19:49:15 +02:00

bool-call.md

Rename Red Knot (#17820)

2025-05-03 19:49:15 +02:00

boolean.md

Rename Red Knot (#17820)

2025-05-03 19:49:15 +02:00

hasattr.md

[ty] Only consider a type T a subtype of a protocol P if all of P's members are fully bound on T (#18466)

2025-06-04 19:39:14 +00:00

isinstance.md

Rename Red Knot (#17820)

2025-05-03 19:49:15 +02:00

issubclass.md

Update class literal display to use <class 'Foo'> style (#17889)

2025-05-06 20:11:25 -04:00

match.md

[ty] Understand classes that inherit from subscripted Protocol[] as generic (#17832)

2025-05-09 17:39:15 +01:00

post_if_statement.md

Rename Red Knot (#17820)

2025-05-03 19:49:15 +02:00

truthiness.md

Update class literal display to use <class 'Foo'> style (#17889)

2025-05-06 20:11:25 -04:00

type.md

Update class literal display to use <class 'Foo'> style (#17889)

2025-05-06 20:11:25 -04:00

while.md

Rename Red Knot (#17820)

2025-05-03 19:49:15 +02:00