ruff

80b3e2b0 - [red-knot] Completely hide unreachable symbols