Since pyright reuses the same comments to ignore types, one can get into
unsatisfiable situations, where one type checker accepts something but the other
doesn't. At this point we only have three instances of type ignore hints anyway,
sol et's relax our mypy settings somewhat, so that we can shut up pyright, when
necessary.
# Apparently openmandriva hasn't yet completed its usrmerge so we use lib here instead of usr/lib.
with os.scandir(root / "lib/modules") as d:
for kver in d:
- if not (kver.is_dir() and os.path.isfile(os.path.join(kver, "modules.dep"))):
+ if not (kver.is_dir() and os.path.isfile(os.path.join(kver, "modules.dep"))): # type: ignore
continue
prefix = "/boot" if args.xbootldr_partno is not None else "/efi"
check_untyped_defs = True
no_implicit_optional = True
warn_redundant_casts = True
-warn_unused_ignores = True
+warn_unused_ignores = False
warn_return_any = True
no_implicit_reexport = True
# extra options not in --strict