(args: list[str])
| 37 | |
| 38 | |
| 39 | def run_mypy(args: list[str]) -> None: |
| 40 | __tracebackhide__ = True |
| 41 | # We must enable site packages even though they could cause problems, |
| 42 | # since stubs for typing_extensions live there. |
| 43 | outval, errval, status = api.run(args + ["--show-traceback", "--no-silence-site-packages"]) |
| 44 | if status != 0: |
| 45 | sys.stdout.write(outval) |
| 46 | sys.stderr.write(errval) |
| 47 | pytest.fail(reason="Sample check failed", pytrace=False) |
| 48 | |
| 49 | |
| 50 | def diff_ranges( |