jepler/wwvbpy
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

testwwvb: Allow redundant cast for pyrefly

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

Signed-off-by: Jeff Epler <jepler@gmail.com>
This commit is contained in:
Jeff Epler 2025-08-26 21:46:30 -05:00
parent af3defa722
commit 7e7294fc23
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
test/testwwvb.py
View file

@ -51,6 +51,7 @@ class WWVBTestCase(unittest.TestCase):
if o.startswith("--channel="): if o.startswith("--channel="):
value = o[10:] value = o[10:]
if value in {"both", "amplitude", "phase"}: if value in {"both", "amplitude", "phase"}:
# pyrefly: ignore # redundant-cast
channel = typing.cast("WWVBChannel", value) channel = typing.cast("WWVBChannel", value)
else: else:
raise ValueError(f"Unknown channel {o!r}") raise ValueError(f"Unknown channel {o!r}")