I thought type checking would be added to ruff because it's developed in the ruff repo, but I just compiled it this morning (2 minutes on my machine), and for now, they have a separate red-knot executable. This is confirmed by Waygood: bsky.app/profile/alexwa…