ruff

[red-knot] Type narrowing for assertions (take 2)

#17345

Merged