From d76daad2f184a0c9ec4dc8e80e4ca20ea9e39d7c Mon Sep 17 00:00:00 2001 From: Ned Batchelder Date: Tue, 7 Mar 2023 11:00:59 -0500 Subject: build: run mypy by default, and fix "unused" errors from updated mypy --- coverage/execfile.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'coverage/execfile.py') diff --git a/coverage/execfile.py b/coverage/execfile.py index 66cf931c..ef0277d6 100644 --- a/coverage/execfile.py +++ b/coverage/execfile.py @@ -294,7 +294,7 @@ def make_code_from_py(filename: str) -> CodeType: except (OSError, NoSource) as exc: raise NoSource(f"No file to run: '{filename}'") from exc - return compile(source, filename, "exec", dont_inherit=True) # type: ignore[no-any-return] + return compile(source, filename, "exec", dont_inherit=True) def make_code_from_pyc(filename: str) -> CodeType: -- cgit v1.2.1