ruff

[red-knot] support for typing.reveal_type

#13384

Merged