From 7e7294fc2335a6539e177ff7223bf7d1a87e4662 Mon Sep 17 00:00:00 2001
From: Jeff Epler <jepler@gmail.com>
Date: Tue, 26 Aug 2025 21:46:30 -0500
Subject: [PATCH] testwwvb: Allow redundant cast for pyrefly

mypy requires this cast, and pyright at least doesn't object.

Signed-off-by: Jeff Epler <jepler@gmail.com>
---
 test/testwwvb.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/test/testwwvb.py b/test/testwwvb.py
index 3111952..e171bff 100755
--- a/test/testwwvb.py
+++ b/test/testwwvb.py
@@ -51,6 +51,7 @@ class WWVBTestCase(unittest.TestCase):
                     if o.startswith("--channel="):
                         value = o[10:]
                         if value in {"both", "amplitude", "phase"}:
+                            # pyrefly: ignore  # redundant-cast
                             channel = typing.cast("WWVBChannel", value)
                         else:
                             raise ValueError(f"Unknown channel {o!r}")