ruff

93a16bd0 - [ty] Introduce fast path for protocol non-assignability (#23952)

[ty] Introduce fast path for protocol non-assignability (#23952) ## Summary This PR adds a fast path to first verify that every required protocol member is definitely present. Closes https://github.com/astral-sh/ty/issues/3026.