ruff

[red-knot] Use line/column for server diagnostics if available

#12881

Merged