Charlie Marsh dc4df9c701 [ty] Fix TypeGuard and TypeIs narrowing for unbound method calls (#24612) ...

## Summary

If a `TypeGuard` is being used to narrow a method, we assume that the
guard applies to the first argument of the call (e.g., `x` in `f(x)`).
But if the call is an unbound method, it needs to be applied to the
_second_ argument, as in `C.f(C(), x)`, since the first argument is the
receiver.

2026-04-13 23:33:12 +00:00

..

src

[ty] Fix TypeGuard and TypeIs narrowing for unbound method calls (#24612)

2026-04-13 23:33:12 +00:00

Cargo.toml

[ty] Break the semantic index out into its own crate (#24471)

2026-04-13 12:39:17 +01:00