ruff

[red-knot] Display definition range in trace logs

#14955

Merged